Filter your results
- 5
- 1
- 6
- 6
- 1
- 3
- 1
- 1
- 1
- 3
- 3
- 6
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 6
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
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⟩
Conference papers
hal-01125013v1
|
||
|
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
Conference papers
hal-04208594v1
|
||
Automated Certified Proofs with CiME3RTA - 22nd International Conference on Rewriting Techniques and Applications, 2011, Novi Sad, Serbia
Conference papers
hal-00777669v1
|
|||
|
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⟩
Conference papers
inria-00535655v1
|
||
|
Layout- and Activity-based Textbook Modeling for Automatic PDF Textbook ExtractionIntelligent Textbooks 2023, Jul 2023, Tokyo, Japan. pp.37-53
Conference papers
hal-04184895v1
|
||
|
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
Conference papers
hal-04130220v1
|