PHD Theses and Habilitations
From LRDE
Revision as of 10:53, 18 September 2013 by Clément Démoulins (talk | contribs)
Authors | Title | Date | |
---|---|---|---|
Modern vectorization and alignement of historical maps: An application to Paris atlas (1789-1950) | Yizi Chen | Modern vectorization and alignement of historical maps: An application to Paris atlas (1789-1950) | 22 March 2023 |
Non-iterative methods for image improvement in digital holography of the retina | Julie Rivet | Non-iterative methods for image improvement in digital holography of the retina | 17 July 2020 |
(Dynamic (Programming Paradigms)) ;; Performance and Expressivity | Didier Verna | (Dynamic (Programming Paradigms)) ;; Performance and Expressivity | 10 July 2020 |
Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms | Minh Ôn Vũ Ngoc | Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms | 18 February 2020 |
Towards more efficient parallel SAT solving | Ludovic Le Frioux | Towards more efficient parallel SAT solving | 3 July 2019 |
Taking into account inclusion and adjacency information in morphological hierarchical representations, with application to the extraction of text in natural images and videos. | Lê Duy Huỳnh | Taking into account inclusion and adjacency information in morphological hierarchical representations, with application to the extraction of text in natural images and videos. | 1 December 2018 |
Representing and Computing with Types in Dynamically Typed Languages | Jim Newton | Representing and Computing with Types in Dynamically Typed Languages | 1 November 2018 |
Contributions to LTL and ω-Automata for Model Checking | Alexandre Duret-Lutz | Contributions to LTL and ω-Automata for Model Checking | 1 February 2017 |
A Study of Well-Composedness in n-D | Nicolas Boutry | A Study of Well-Composedness in n-D | 1 December 2016 |
Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms | Stefania Calarasanu | Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms | 1 December 2015 |
A Tree of Shapes for Multivariate Images | Edwin Carlinet | A Tree of Shapes for Multivariate Images | 1 November 2015 |
Contribution aux tests de vacuité pour le model checking explicite | Etienne Renault | Contribution aux tests de vacuité pour le model checking explicite | 5 December 2014 |
Improving the Model Checking of Stutter-Invariant LTL Properties | Ala Eddine Ben Salem | Improving the Model Checking of Stutter-Invariant LTL Properties | 25 September 2014 |
Tree-based shape spaces: Definition and applications in image processing and computer vision | Yongchao Xu | Tree-based shape spaces: Definition and applications in image processing and computer vision | 12 December 2013 |
Outil logiciel pour le traitement d'images: Bibliothèque, paradigmes, types et algorithmes | Thierry Géraud | Outil logiciel pour le traitement d'images: Bibliothèque, paradigmes, types et algorithmes | 1 June 2012 |
Towards a Software Architecture for Generic Image Processing | Roland Levillain | Towards a Software Architecture for Generic Image Processing | 1 November 2011 |
Génération efficace de grands espaces d'états | Alexandre Hamez | Génération efficace de grands espaces d'états | 1 December 2009 |
Sémantique paramétrable des Diagrammes de Décision : une démarche vers l'unification | Alban Linard | Sémantique paramétrable des Diagrammes de Décision : une démarche vers l'unification | 1 November 2009 |
Composants logiciels et algorithmes de minimisation exacte d'énergies dédidées au traitement d'images | Jérôme Darbon | Composants logiciels et algorithmes de minimisation exacte d'énergies dédidées au traitement d'images | 1 October 2005 |