- 12
- 5
- 2
- 2
- 1
- 1
olivier pons
23
Documents
Identifiants chercheurs
- olivier-pons
- 0000-0001-6423-8630
- IdRef : 183634497
Présentation
Publications
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 15
- 4
- 2
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 4
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Danse-doigts, a Fine Motor GameModelling, measurement and control C, 2016
Article dans une revue
hal-02320660v1
|
Setoids in type theoryJournal of Functional and Logic Programming, 2003, 13, pp.261-293
Article dans une revue
hal-01124972v1
|
|
Projet ANR MALIN : MAnuels scoLaires INclusifs18e Conférence en Recherche d'Information et Applications, 16e Rencontres Jeunes Chercheurs en RI, 30e Conférence sur le Traitement Automatique des Langues Naturelles, 25e Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues, 2023, Paris, France. pp.30-31
Communication dans un congrès
hal-04208594v1
|
|
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. ⟨10.1145/3617233.3617239⟩
Communication dans un congrès
hal-04221023v1
|
|
Layout- and Activity-based Textbook Modeling for Automatic PDF Textbook ExtractionIntelligent Textbooks 2023, Jul 2023, Tokyo, Japan. pp.37-53
Communication dans un congrès
hal-04184895v1
|
|
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
Communication dans un congrès
hal-04410340v1
|
|
Classification automatique de données déséquilibrées et bruitées : application aux exercices de manuels scolaires18e Conférence en Recherche d'Information et Applications -- 16e Rencontres Jeunes Chercheurs en RI -- 30e Conférence sur le Traitement Automatique des Langues Naturelles -- 25e Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues, Servan, Christophe; Vilnat, Anne, Jun 2023, Paris, France. pp.121-130
Communication dans un congrès
hal-04130220v1
|
|
Danse-doigts, jeu de motricité fineHandicap 2016. La recherche au service de la qualité de vie et de l’autonomie, Jun 2016, paris, France
Communication dans un congrès
hal-02321088v1
|
Automated Certified Proofs with CiME3RTA - 22nd International Conference on Rewriting Techniques and Applications, 2011, Novi Sad, Serbia
Communication dans un congrès
hal-00777669v1
|
|
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
Communication dans un congrès
hal-01125706v1
|
|
|
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⟩
Communication dans un congrès
inria-00535655v1
|
Matrix interpretations revisitedExtended Abstracts of the 10th International Workshop on Termination, WST'09, Leipzig, Germany, Ju, Jan 2009, X, France. pp.4
Communication dans un congrès
hal-01125629v1
|
|
Certification of automated termination proofs6th Int. Symp. on Frontiers of Combining Systems, Liverpool, Royaume-Uni, Jan 2007, X, France. pp.148-162
Communication dans un congrès
hal-01125312v1
|
|
|
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⟩
Communication dans un congrès
hal-01125013v1
|
|
FRASQUES, le système du groupe LIRAtelier EQueR, TALN 05, 2005, Dourdan, France. pp.N/P
Communication dans un congrès
hal-00456754v1
|
L'atelier FocalAFADL, session outils, Jan 2004, X, France
Communication dans un congrès
hal-01125052v1
|
|
Generalization in Type Theory Based Proof AssistantsTYPE 00, Jan 2002, X, France. pp.217-232
Communication dans un congrès
hal-01125131v1
|
|
MALIN : MAnuels scoLaires INclusifsColloque Handiversité 2023 - L'innovation pour le partage, Apr 2023, Gif-sur-Yvette, France
Poster de conférence
hal-04410349v1
|
|
Futur d'une infrastructure de correction automatisée : CodeGradX2016
Pré-publication, Document de travail
hal-01481937v1
|
A Distribution and System Compiler for Handling Heterogeneous Computer Site[Research Report] CEDRIC-08-1549, CEDRIC Lab/CNAM. 2008
Rapport
hal-01125543v1
|
|
A service oriented compiler for operating systems[Research Report] CEDRIC-08-1551, CEDRIC Lab/CNAM. 2008
Rapport
hal-01125544v1
|
|
Certification of automated termination proofs[Research Report] CEDRIC-07-1185, CEDRIC Lab/CNAM. 2007
Rapport
hal-01125298v1
|
|
|
Graphes de dépendance pour les démonstrateurs de théorèmes intéractifsRR-4052, INRIA. 2000
Rapport
inria-00072585v1
|