Classification automatique de données déséquilibrées et bruitées : application aux exercices de manuels scolaires.
Proceedings of the Actes de CORIA-TALN 2023. Actes de la 30e Conférence sur le Traitement Automatique des Langues Naturelles, TALN 2023, 2023
Noisy and Unbalanced Multimodal Document Classification: Textbook Exercises as a Use Case.
Proceedings of the 20th International Conference on Content-based Multimedia Indexing, 2023
Layout and Activity-based Textbook Modeling for Automatic PDF Textbook Extraction.
Proceedings of the Fifth International Workshop on Intelligent Textbooks 2023 co-located with the 24th International Conference on Artificial Intelligence in Education (AIED 2023), 2023
Danse-doigts, a Fine Motor Game.
CoRR, 2019
Automated Certified Proofs with CiME3.
Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011
Improved Matrix Interpretation.
Proceedings of the SOFSEM 2010: Theory and Practice of Computer Science, 2010
A3PAT, an approach for certified automated termination proofs.
Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2010
Certification of Automated Termination Proofs.
Proceedings of the Frontiers of Combining Systems, 6th International Symposium, 2007
De l'importance des synonymes pour la sélection de passages en question-réponse.
Proceedings of the COnférence en Recherche d'Infomations et Applications, 2005
Type Isomorphisms and Proof Reuse in Dependent Type Theory.
Proceedings of the Foundations of Software Science and Computation Structures, 2001
Generalization in Type Theory Based Proof Assistants.
Proceedings of the Types for Proofs and Programs, International Workshop, 2000