PHD Theses and Habilitations

From LRDE

Revision as of 11:51, 18 September 2013 by Cd (talk | contribs) (Created page with "{{#ask: Category:Publications Publication type::phdthesis | ?Has author = Authors | ?Has title = Title | ?Published in | ?News date#MEDIAWIKI=Date | order = descending...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
 AuthorsTitlePublished inDate
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