L
Loïc Pottier
Researcher at French Institute for Research in Computer Science and Automation
Publications - 39
Citations - 650
Loïc Pottier is an academic researcher from French Institute for Research in Computer Science and Automation. The author has contributed to research in topics: Computer science & Cache. The author has an hindex of 14, co-authored 30 publications receiving 586 citations. Previous affiliations of Loïc Pottier include University of Nice Sophia Antipolis.
Papers
More filters
Book ChapterDOI
Minimal solutions of linear diophantine systems: bounds and algorithms
TL;DR: New bounds and algorithms for minimal solutions of linear diophantine systems are given that are simply exponential, while previous known bounds were, at least until recently, doubly exponential.
Proceedings ArticleDOI
Mathematical formula recognition using graph grammar
Stéphane Lavirotte,Loïc Pottier +1 more
TL;DR: Ofr, a system for extracting and understanding mathematical expressions in documents, is described and graph grammar and graph rewriting is investigated as a solution to recognize 2D mathematical notations.
Proceedings ArticleDOI
On-line handwritten formula recognition using hidden Markov models and context dependent graph grammars
TL;DR: This paper uses a graph grammar approach for the structure recognition, also used in off-line recognition process, resulting in a general tree-structure of the underlying input-expression, which can be translated to any desired syntax.
Proceedings ArticleDOI
Optical formula recognition
Stéphane Lavirotte,Loïc Pottier +1 more
TL;DR: This approach clearly separate OCR step, geometrical treatments and syntactic analysis, and defines a class of context sensitive graph grammars for mathematical formulas, and shows how to remove their ambiguities to define efficient parsing.
Optimal Time and Minimum Space-Time Product for Reversing a Certain Class of Programs
TL;DR: This report concerns time/space trade-offs for the reverse mode of automatic differentiation on the straight-line programs with nested loops class of programs and presents an optimal strategy on nested loops with the objective of taking care of the program structure.