olivier pons
Présentation
Publications
Publications
Disability and competence: Insights from French teachersEuropean Journal of Special Needs Education, 2025, pp.1-14. ⟨10.1080/08856257.2025.2607050⟩ |
|
|
|
Danse-doigts, a Fine Motor GameModelling, measurement and control C, 2016 |
Setoids in type theoryJournal of Functional and Logic Programming, 2003, 13, pp.261-293 |
|
|
MALIN : MAnuels scoLaires INclusifs20e Conférence en Recherche d’Information et Applications (CORIA), 32ème Conférence sur le Traitement Automatique des Langues Naturelles (TALN), 27ème Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues (RECITAL), 18e Rencontres Jeunes Chercheurs en RI (RJCRI), Jun 2025, Marseille, France. pp.79-82 |
|
|
Extracting and Structuring Textbooks for Inclusive Education: A Computer Vision ApproachThe 25th IEEE International Conference on Advanced Learning Technologies (ICALT 2025), IEEE Technical Community on Learning Technology (TCLT), Jul 2025, Changhua, Taiwan. pp.199-203, ⟨10.1109/ICALT64023.2025.00062⟩ |
|
|
Modeling transcription process of educational documents for visually impaired studentsAAATE2025, Sep 2025, Nicosia, Cyprus |
|
|
De l'image à la représentation structurée : analyse et modélisation des manuels scolairesINFORSID 2025 (INFormatique des ORganisations et Systèmes d'Information et de Décision), Jun 2025, Pau, France |
|
|
État des lieux de la mise en place de l'accessibilité dans les studios de jeux vidéo françaisColloque Jeunes Chercheuses Jeunes Chercheurs, IFRATH, Jun 2025, Paris, France |
|
|
How platforms structure unequal access to employment opportunities in paid domestic work. A comparison of two online marketplaces in France and BrazilInternational Colloquium on Care, Rights and Inequalities, Apr 2025, São Paulo, France |
|
|
Layout- and Activity-based Textbook Modeling for Automatic PDF Textbook ExtractionIntelligent Textbooks 2023, Jul 2023, Tokyo, Japan. pp.37-53 |
|
|
Projet ANR MALIN : MAnuels scoLaires INclusifsCORIA-TALN 2023 30e Conférence sur le Traitement Automatique des Langues Naturelles (TALN), Jun 2023, Paris, France. pp.30-31 |
|
|
Textbook's accessibility for children with dyspraxia and visual disability17th International Conference of the Association for the Advancement of Assistive Technology in Europe, AAATE 2023, Association for the Advancement of Assistive Technology in Europe, Aug 2023, Paris, France |
|
|
Classification automatique de données déséquilibrées et bruitées : application aux exercices de manuels scolairesCORIA-TALN 2023 30e Conférence sur le Traitement Automatique des Langues Naturelles (TALN), Servan, Christophe; Vilnat, Anne, Jun 2023, Paris, France. pp.121-130 |
|
|
Noisy and Unbalanced Multimodal Document Classification: Textbook Exercises as a Use Case20th International Conference on Content-based Multimedia Indexing (CBMI 2023), Sep 2023, Orléans, France. pp.71 - 78, ⟨10.1145/3617233.3617239⟩ |
|
|
Danse-doigts, jeu de motricité fineHandicap 2016. La recherche au service de la qualité de vie et de l’autonomie, Jun 2016, paris, France |
Automated Certified Proofs with CiME3RTA - 22nd International Conference on Rewriting Techniques and Applications, 2011, Novi Sad, Serbia |
|
|
|
A3PAT, an Approach for Certified Automated Termination Proofs2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, ACM, Jan 2010, Madrid, Spain. pp.63-72, ⟨10.1145/1706356.1706370⟩ |
Improved Matrix InterpretationSOFSEM'10, Int. Conf. on Current Trends in Theory and Practice of Computer Science,, Jan 2010, Spindleruv Ml{\'y}n, Czech Republic. pp.12 |
|
Matrix interpretations revisitedExtended Abstracts of the 10th International Workshop on Termination, WST'09, Leipzig, Germany, Ju, Jan 2009, X, France. pp.4 |
|
Certification of automated termination proofs6th Int. Symp. on Frontiers of Combining Systems, Liverpool, Royaume-Uni, Jan 2007, X, France. pp.148-162 |
|
|
|
FRASQUES, le système du groupe LIRAtelier EQueR, TALN 05, 2005, Dourdan, France. pp.N/P |
|
|
De l'importance des synonymes pour la sélection de passages en question-réponseCORIA'05 Conférence en Recherche d'Informations et Applications, Mar 2005, Grenoble, France. pp.71-84, ⟨10.24348/coria.2005.7⟩ |
L'atelier FocalAFADL, session outils, Jan 2004, X, France |
|
Generalization in Type Theory Based Proof AssistantsTYPE 00, Jan 2002, X, France. pp.217-232 |
|
|
MALIN : MAnuels scoLaires INclusifsColloque Handiversité 2023 - L'innovation pour le partage, Apr 2023, Gif-sur-Yvette, France |
|
|
Futur d'une infrastructure de correction automatisée : CodeGradX2016 |
A service oriented compiler for operating systems[Research Report] CEDRIC-08-1551, CEDRIC Lab/CNAM. 2008 |
|
A Distribution and System Compiler for Handling Heterogeneous Computer Site[Research Report] CEDRIC-08-1549, CEDRIC Lab/CNAM. 2008 |
|
Certification of automated termination proofs[Research Report] CEDRIC-07-1185, CEDRIC Lab/CNAM. 2007 |
|
|
|
Proof engineeringCnam. 2000 |
|
|
Graphes de dépendance pour les démonstrateurs de théorèmes intéractifsRR-4052, INRIA. 2000 |