Search Results

Building and Modelling Multilingual Subjective Corpora

by Saad, Motaz, Langlois, David, Smaïli, Kamel
Published 2014

Enumeration reducibility in closure spaces with applications to logic and algebra

by Jeandel, Emmanuel
Published 2017

Social Media and Linguistic Affirmation in Central Africa.

by Rivron, Vassili
Published 2014

Social Media and Linguistic Affirmation in Central Africa.

by Rivron, Vassili
Published 2014

Fast evaluation and root finding for polynomials with floating-point coefficients

by Imbach, Rémi, Moroz, Guillaume
Published 2023

Fast evaluation and root finding for polynomials with floating-point coefficients

by Imbach, Rémi, Moroz, Guillaume
Published 2023

On the extension of computable real functions

by Hoyrup, Mathieu, Gomaa, Walid
Published 2017

Enumeration reducibility in closure spaces with applications to logic and algebra

by Jeandel, Emmanuel
Published 2017

A fine-grained hierarchy of hard problems in the separated fragment

by Voigt, Marco
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Gröbner Bases for Boolean Function Minimization

by Faroß, Nicolas, Schwarz, Simon
Published 1481

Gröbner Bases for Boolean Function Minimization

by Faroß, Nicolas, Schwarz, Simon
Published 2024

Mapping the Lexique des Verbes du Français (Lexicon of French Verbs) to a NLP Lexicon using Examples

by Guillaume, Bruno, Fort, Karen, Perrier, Guy, Bedaride, Paul
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)

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

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

A fine-grained hierarchy of hard problems in the separated fragment

by Voigt, Marco
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

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)

Mapping the Lexique des Verbes du Français (Lexicon of French Verbs) to a NLP Lexicon using Examples

by Guillaume, Bruno, Fort, Karen, Perrier, Guy, Bedaride, Paul
Published 2014

Mapping the Lexique des Verbes du Français (Lexicon of French Verbs) to a NLP Lexicon using Examples

by Guillaume, Bruno, Fort, Karen, Perrier, Guy, Bedaride, Paul
Published 2014

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