Olivier Pons

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 4

Top Topics

Topic Extraction

Classification Algorithm

Cooperative Game

Document Classification

Top Venues

iTextbooks@AIED

Publications

Élise Lincker, Camille Guinaudeau, Olivier Pons, Jérôme Dupire, Isabelle Barbet, Céline Hudelot, Vincent Mousseau, Caroline Huron
Classification automatique de données déséquilibrées et bruitées : application aux exercices de manuels scolaires. CORIA-TALN (4) (2023)
Élise Lincker, Olivier Pons, Camille Guinaudeau, Isabelle Barbet, Jérôme Dupire, Céline Hudelot, Vincent Mousseau, Caroline Huron
Layout and Activity-based Textbook Modeling for Automatic PDF Textbook Extraction. iTextbooks@AIED (2023)
Élise Lincker, Camille Guinaudeau, Olivier Pons, Jérôme Dupire, Céline Hudelot, Vincent Mousseau, Isabelle Barbet, Caroline Huron
Noisy and Unbalanced Multimodal Document Classification: Textbook Exercises as a Use Case. CBMI (2023)
Jean-Ferdy Susini, Olivier Pons, Nolwenn Guedin, Catherine Thevenot
Danse-doigts, a Fine Motor Game. CoRR (2019)
Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain
Automated Certified Proofs with CiME3. RTA (2011)
Pierre Courtieu, Gladys Gbedo, Olivier Pons
Improved Matrix Interpretation. SOFSEM (2010)
Evelyne Contejean, Andrey Paskevich, Xavier Urbain, Pierre Courtieu, Olivier Pons, Julien Forest
A3PAT, an approach for certified automated termination proofs. PEPM (2010)
Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain
Certification of Automated Termination Proofs. FroCoS (2007)
Brigitte Grau, Anne-Laure Ligozat, Isabelle Robba, Anne Vilnat, Faïza El Kateb, Gabriel Illouz, Laura Monceaux, Patrick Paroubek, Olivier Pons
De l'importance des synonymes pour la sélection de passages en question-réponse. CORIA (2005)
Gilles Barthe, Venanzio Capretta, Olivier Pons
Setoids in type theory. J. Funct. Program. 13 (2) (2003)
Gilles Barthe, Olivier Pons
Type Isomorphisms and Proof Reuse in Dependent Type Theory. FoSSaCS (2001)
Olivier Pons
Generalization in Type Theory Based Proof Assistants. TYPES (2000)