PHD Theses and Habilitations

From LRDE

Revision as of 10:53, 18 September 2013 by Clément Démoulins (talk | contribs)
 AuthorsTitleDate
Modern vectorization and alignement of historical maps: An application to Paris atlas (1789-1950)Yizi ChenModern 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 retinaJulie RivetNon-iterative methods for image improvement in digital holography of the retina17 July 2020
(Dynamic (Programming Paradigms)) ;; Performance and ExpressivityDidier Verna(Dynamic (Programming Paradigms)) ;; Performance and Expressivity10 July 2020
Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithmsMinh Ôn Vũ NgocImprovement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms18 February 2020
Towards more efficient parallel SAT solvingLudovic Le FriouxTowards more efficient parallel SAT solving3 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ỳnhTaking 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 LanguagesJim NewtonRepresenting and Computing with Types in Dynamically Typed Languages1 November 2018
Contributions to LTL and ω-Automata for Model CheckingAlexandre Duret-LutzContributions to LTL and ω-Automata for Model Checking1 February 2017
A Study of Well-Composedness in n-DNicolas BoutryA Study of Well-Composedness in n-D1 December 2016
Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithmsStefania CalarasanuImprovement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms1 December 2015
A Tree of Shapes for Multivariate ImagesEdwin CarlinetA Tree of Shapes for Multivariate Images1 November 2015
Contribution aux tests de vacuité pour le model checking expliciteEtienne RenaultContribution aux tests de vacuité pour le model checking explicite5 December 2014
Improving the Model Checking of Stutter-Invariant LTL PropertiesAla Eddine Ben SalemImproving the Model Checking of Stutter-Invariant LTL Properties25 September 2014
Tree-based shape spaces: Definition and applications in image processing and computer visionYongchao XuTree-based shape spaces: Definition and applications in image processing and computer vision12 December 2013
Outil logiciel pour le traitement d'images: Bibliothèque, paradigmes, types et algorithmesThierry GéraudOutil logiciel pour le traitement d'images: Bibliothèque, paradigmes, types et algorithmes1 June 2012
Towards a Software Architecture for Generic Image ProcessingRoland LevillainTowards a Software Architecture for Generic Image Processing1 November 2011
Génération efficace de grands espaces d'étatsAlexandre HamezGénération efficace de grands espaces d'états1 December 2009
Sémantique paramétrable des Diagrammes de Décision : une démarche vers l'unificationAlban LinardSémantique paramétrable des Diagrammes de Décision : une démarche vers l'unification1 November 2009
Composants logiciels et algorithmes de minimisation exacte d'énergies dédidées au traitement d'imagesJérôme DarbonComposants logiciels et algorithmes de minimisation exacte d'énergies dédidées au traitement d'images1 October 2005