Search - Université Paris-Saclay Access content directly

Filter your results

6 Results
authIdHal_s : olivier-pons
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⟩
Conference papers hal-01125013v1
Image document

Projet ANR MALIN : MAnuels scoLaires INclusifs

Olivier Pons , Isabelle Barbet , Jérôme Dupire , Valérie Grembi , Camille Guinaudeau , et al.
18e 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
Conference papers hal-04208594v1

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
Conference papers hal-00777669v1
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⟩
Conference papers inria-00535655v1
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
Conference papers hal-04184895v1
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.
18e 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
Conference papers hal-04130220v1