Author of the publication

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

, , , , , , , and . iTextbooks@AIED, volume 3444 of CEUR Workshop Proceedings, page 37-53. CEUR-WS.org, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Danse-doigts, a Fine Motor Game., , , and . CoRR, (2019)Classification automatique de données déséquilibrées et bruitées : application aux exercices de manuels scolaires., , , , , , , and . CORIA-TALN (4), page 121-130. ATALA, (2023)A3PAT, an approach for certified automated termination proofs., , , , , and . PEPM, page 63-72. ACM, (2010)Noisy and Unbalanced Multimodal Document Classification: Textbook Exercises as a Use Case., , , , , , , and . CBMI, page 71-78. ACM, (2023)Improved Matrix Interpretation., , and . SOFSEM, volume 5901 of Lecture Notes in Computer Science, page 283-295. Springer, (2010)Layout and Activity-based Textbook Modeling for Automatic PDF Textbook Extraction., , , , , , , and . iTextbooks@AIED, volume 3444 of CEUR Workshop Proceedings, page 37-53. CEUR-WS.org, (2023)Setoids in type theory., , and . J. Funct. Program., 13 (2): 261-293 (2003)Certification of Automated Termination Proofs., , , , and . FroCoS, volume 4720 of Lecture Notes in Computer Science, page 148-162. Springer, (2007)De l'importance des synonymes pour la sélection de passages en question-réponse., , , , , , , , and . CORIA, page 71-84. (2005)Type Isomorphisms and Proof Reuse in Dependent Type Theory., and . FoSSaCS, volume 2030 of Lecture Notes in Computer Science, page 57-71. Springer, (2001)