Search Results

Designing a Bilingual Speech Corpus for French and German Language Learners: a Two-Step Process

by Fauth, Camille, Bonneau, Anne, Zimmerer, Frank, Trouvain, Jürgen, Andreeva, Bistra, Colotte, Vincent, Fohr, Dominique, Jouvet, Denis, Jügler, Jeanin, Laprie, Yves, Mella, Odile, Möbius, Bernd
Published 2014

Foundational nonuniform (Co)datatypes for higher-order logic

by Blanchette, Jasmin Christian, Meier, Fabian, Popescu, Andrei, Traytel, Dmitriy
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Propa-L: a Semantic Filtering Service from a Lexical Network Created using Games With A Purpose

by Lafourcade, Mathieu, Fort, Karen
Published 2014

Propa-L: a Semantic Filtering Service from a Lexical Network Created using Games With A Purpose

by Lafourcade, Mathieu, Fort, Karen
Published 2014

Speech Cine SSFP with optical microphone synchronization and motion compensated reconstruction

by Vuissoz, Pierre-André, Odille, Freddy, Laprie, Yves, Vincent, Emmanuel, Hossu, Gabriela, Felblinger, Jacques
Published 2014

Speech Cine SSFP with optical microphone synchronization and motion compensated reconstruction

by Vuissoz, Pierre-André, Odille, Freddy, Laprie, Yves, Vincent, Emmanuel, Hossu, Gabriela, Felblinger, Jacques
Published 2014

Propa-L: a Semantic Filtering Service from a Lexical Network Created using Games With A Purpose

by Lafourcade, Mathieu, Fort, Karen
Published 2014

Propa-L: a Semantic Filtering Service from a Lexical Network Created using Games With A Purpose

by Lafourcade, Mathieu, Fort, Karen
Published 2014

Propa-L: a Semantic Filtering Service from a Lexical Network Created using Games With A Purpose

by Lafourcade, Mathieu, Fort, Karen
Published 2014

Propa-L: a Semantic Filtering Service from a Lexical Network Created using Games With A Purpose

by Lafourcade, Mathieu, Fort, Karen
Published 2014

Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines

by Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Polesiuk, Piotr, Pous, Damien, Schmitt, Alan
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines

by Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Polesiuk, Piotr, Pous, Damien, Schmitt, Alan
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines

by Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Polesiuk, Piotr, Pous, Damien, Schmitt, Alan
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines

by Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Polesiuk, Piotr, Pous, Damien, Schmitt, Alan
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines

by Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Polesiuk, Piotr, Pous, Damien, Schmitt, Alan
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines

by Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Polesiuk, Piotr, Pous, Damien, Schmitt, Alan
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Evaluating Corpora Documentation with regards to the Ethics and Big Data Charter

by Couillault, Alain, Fort, Karen, Adda, Gilles, de Mazancourt, Hugues
Published 2014

Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines

by Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Polesiuk, Piotr, Pous, Damien, Schmitt, Alan
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Evaluating Corpora Documentation with regards to the Ethics and Big Data Charter

by Couillault, Alain, Fort, Karen, Adda, Gilles, De Mazancourt, Hugues
Published 2014

Evaluating Corpora Documentation with regards to the Ethics and Big Data Charter

by Couillault, Alain, Fort, Karen, Adda, Gilles, de Mazancourt, Hugues
Published 2014