|
|
Title
|
Authors
|
Published in
|
Date
|
| chen.23.phd
|
Modern vectorization and alignement of historical maps: An application to Paris atlas (1789-1950)
|
Yizi Chen
|
|
22 March 2023
|
| rivet.20.phd
|
Non-iterative methods for image improvement in digital holography of the retina
|
Julie Rivet
|
|
17 July 2020
|
| verna.20.hdr
|
(Dynamic (Programming Paradigms)) ;; Performance and Expressivity
|
Didier Verna
|
|
10 July 2020
|
| movn.20.phd
|
Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms
|
Minh Ôn Vũ Ngoc
|
|
18 February 2020
|
| le-frioux.19.phd
|
Towards more efficient parallel SAT solving
|
Ludovic Le Frioux
|
|
3 July 2019
|
| huynh.18.phd
|
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
|
|
1 December 2018
|
| newton.18.phd
|
Representing and Computing with Types in Dynamically Typed Languages
|
Jim Newton
|
|
1 November 2018
|
| duret.17.hdr
|
Contributions to LTL and ω-Automata for Model Checking
|
Alexandre Duret-Lutz
|
|
1 February 2017
|
| boutry.16.phd
|
A Study of Well-Composedness in n-D
|
Nicolas Boutry
|
|
1 December 2016
|
| calarasanu.15.phd
|
Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms
|
Stefania Calarasanu
|
|
1 December 2015
|
| carlinet.15.phd
|
A Tree of Shapes for Multivariate Images
|
Edwin Carlinet
|
|
1 November 2015
|
| renault.14.phd
|
Contribution aux tests de vacuité pour le model checking explicite
|
Etienne Renault
|
|
5 December 2014
|
| bensalem.14.phd
|
Improving the Model Checking of Stutter-Invariant LTL Properties
|
Ala Eddine Ben Salem
|
|
25 September 2014
|
| xu.13.phd
|
Tree-based shape spaces: Definition and applications in image processing and computer vision
|
Yongchao Xu
|
|
12 December 2013
|
| geraud.12.hdr
|
Outil logiciel pour le traitement d'images: Bibliothèque, paradigmes, types et algorithmes
|
Thierry Géraud
|
|
1 June 2012
|
| levillain.11.phd
|
Towards a Software Architecture for Generic Image Processing
|
Roland Levillain
|
|
1 November 2011
|
| hamez.09.phd
|
Génération efficace de grands espaces d'états
|
Alexandre Hamez
|
|
1 December 2009
|
| linard.09.phd
|
Sémantique paramétrable des Diagrammes de Décision : une démarche vers l'unification
|
Alban Linard
|
|
1 November 2009
|
| darbon.05.phd
|
Composants logiciels et algorithmes de minimisation exacte d'énergies dédidées au traitement d'images
|
Jérôme Darbon
|
|
1 October 2005
|
