olivier pons

25
Documents
Identifiants chercheurs

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
7
7
6
6
6
6
5
5
4
4
4
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
1
14
5
2
2
1
1
15
5
2

Publications

Image document

Danse-doigts, a Fine Motor Game

Jean-Ferdy Susini , Olivier Pons , Nolwenn Guedin , Catherine Thevenot
Modelling, measurement and control C, 2016
Article dans une revue hal-02320660 v1

Setoids in type theory

Gilles Barthe , Venanzio Capretta , Olivier Pons
Journal of Functional and Logic Programming, 2003, 13, pp.261-293
Article dans une revue hal-01124972 v1
Image document

Projet ANR MALIN : MAnuels scoLaires INclusifs

Olivier Pons , Isabelle Barbet , Jérôme Dupire , Valérie Grembi , Camille Guinaudeau et al.
CORIA-TALN 2023 30e Conférence sur le Traitement Automatique des Langues Naturelles (TALN), Jun 2023, Paris, France. pp.30-31
Communication dans un congrès hal-04208594 v1
Image document

Layout- and Activity-based Textbook Modeling for Automatic PDF Textbook Extraction

Elise Lincker , Olivier Pons , Camille Guinaudeau , Isabelle Barbet , Jérôme Dupire et al.
Intelligent Textbooks 2023, Jul 2023, Tokyo, Japan. pp.37-53
Communication dans un congrès hal-04184895 v1
Image document

Textbook's accessibility for children with dyspraxia and visual disability

Léa Pacini , Jérôme Dupire , Isabelle Barbet , Olivier Pons , Camille Guinaudeau et al.
17th 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-04410340 v1
Image document

Classification automatique de données déséquilibrées et bruitées : application aux exercices de manuels scolaires

Elise Lincker , Camille Guinaudeau , Olivier Pons , Isabelle Barbet , Jérôme Dupire et al.
CORIA-TALN 2023 30e Conférence sur le Traitement Automatique des Langues Naturelles (TALN), Servan, Christophe; Vilnat, Anne, Jun 2023, Paris, France. pp.121-130
Communication dans un congrès hal-04130220 v1
Image document

Noisy and Unbalanced Multimodal Document Classification: Textbook Exercises as a Use Case

Élise Lincker , Camille Guinaudeau , Olivier Pons , Jérôme Dupire , Céline Hudelot et al.
20th International Conference on Content-based Multimedia Indexing (CBMI 2023), Sep 2023, Orléans, France. pp.71 - 78, ⟨10.1145/3617233.3617239⟩
Communication dans un congrès hal-04221023 v1
Image document

Danse-doigts, jeu de motricité fine

Jean-Ferdy Susini , Olivier Pons , Nolwenn Guedin , Catherine Thevenot
Handicap 2016. La recherche au service de la qualité de vie et de l’autonomie, Jun 2016, paris, France
Communication dans un congrès hal-02321088 v1

Automated Certified Proofs with CiME3

Evelyne Contejean , Pierre Courtieu , Julien Forest , Olivier Pons , Xavier Urbain
RTA - 22nd International Conference on Rewriting Techniques and Applications, 2011, Novi Sad, Serbia
Communication dans un congrès hal-00777669 v1

Improved Matrix Interpretation

Pierre Courtieu , Gladys Gbedo , Olivier Pons
SOFSEM'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-01125706 v1
Image document

A3PAT, an Approach for Certified Automated Termination Proofs

Evelyne Contejean , Pierre Courtieu , Julien Forest , Andrei Paskevich , Olivier Pons et al.
2010 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-00535655 v1

Matrix interpretations revisited

Pierre Courtieu , Gladys Gbedo , Olivier Pons
Extended 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-01125629 v1

Certification of automated termination proofs

Evelyne Contejean , Pierre Courtieu , Julien Forest , Olivier Pons , Xavier Urbain
6th Int. Symp. on Frontiers of Combining Systems, Liverpool, Royaume-Uni, Jan 2007, X, France. pp.148-162
Communication dans un congrès hal-01125312 v1
Image document

FRASQUES, le système du groupe LIR

Brigitte Grau , Gabriel Illouz , Laura Monceaux , Patrick Paroubek , Olivier Pons et al.
Atelier EQueR, TALN 05, 2005, Dourdan, France. pp.N/P
Communication dans un congrès hal-00456754 v1
Image document

De l'importance des synonymes pour la sélection de passages en question-réponse

Brigitte Grau , Anne-Laure Ligozat , Isabelle Robba , Anne Vilnat , Faïza El Kateb et al.
CORIA'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-01125013 v1

L'atelier Focal

Catherine Dubois , Mathieu Jaume , Olivier Pons , Virgile Prévosto
AFADL, session outils, Jan 2004, X, France
Communication dans un congrès hal-01125052 v1

Generalization in Type Theory Based Proof Assistants

Olivier Pons
TYPE 00, Jan 2002, X, France. pp.217-232
Communication dans un congrès hal-01125131 v1
Image document

MALIN : MAnuels scoLaires INclusifs

Elise Lincker , Léa Pacini , Olivier Pons , Camille Guinaudeau , Jérôme Dupire et al.
Colloque Handiversité 2023 - L'innovation pour le partage, Apr 2023, Gif-sur-Yvette, France
Poster de conférence hal-04410349 v1