|
Title
|
Authors
|
Published in
|
Date
|
demaille.17.sacs
|
Derived-Term Automata of Multitape Expressions with Composition
|
Akim Demaille
|
Scientific Annals of Computer Science
|
29 December 2017
|
boutry.17.jmiv
|
A Tutorial on Well-Composedness
|
Nicolas Boutry, Thierry Géraud, Laurent Najman
|
Journal of Mathematical Imaging and Vision
|
12 October 2017
|
rusinol.17.mtap
|
Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness
|
Marçal Rusiñol, Joseph Chazalon, Katerine Diaz-Chito
|
Multimedia Tools and Applications
|
29 June 2017
|
tochon.17.tgrs
|
Object tracking by hierarchical decomposition of hyperspectral video sequences: Application to chemical gas plume tracking
|
Guillaume Tochon, Jocelyn Chanussot, Mauro Dalla Mura, Andrea Bertozzi
|
IEEE Transactions on Geoscience and Remote Sensing
|
20 April 2017
|
xu.16.prl
|
Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection
|
Yongchao Xu, Thierry Géraud, Laurent Najman
|
Pattern Recognition Letters
|
20 May 2016
|
xu.16.pami
|
Hierarchical Segmentation Using Tree-Based Shape Spaces
|
Yongchao Xu, Edwin Carlinet, Thierry Géraud, Laurent Najman
|
IEEE Transactions on Pattern Analysis and Machine Intelligence
|
11 April 2016
|
fabrizio.16.ijdar
|
TextCatcher: A method to detect curved and challenging text in natural scenes
|
Jonathan Fabrizio, Myriam Robert-Seidowsky, Séverine Dubuisson, Stefania Calarasanu, Raphaël Boissel
|
International Journal on Document Analysis and Recognition
|
8 April 2016
|
calarasanu.16.ivc
|
What is a good evaluation protocol for text localization systems? Concerns, arguments, comparisons and solutions
|
Stefania Calarasanu, Jonathan Fabrizio, Séverine Dubuisson
|
Image and Vision Computing
|
1 February 2016
|
renault.16.sttt
|
Variations on Parallel Explicit Model Checking for Generalized Büchi Automata
|
Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud
|
International Journal on Software Tools for Technology Transfer (STTT)
|
26 October 2015
|
carlinet.15.itip
|
MToS: A Tree of Shapes for Multivariate Images
|
Edwin Carlinet, Thierry Géraud
|
IEEE Transactions on Image Processing
|
26 October 2015
|
xu.15.pami
|
Connected Filtering on Tree-Based Shape-Spaces
|
Yongchao Xu, Thierry Géraud, Laurent Najman
|
IEEE Transactions on Pattern Analysis and Machine Intelligence
|
5 June 2015
|
xu.14.itip
|
Tree-Based Morse Regions: A Topological Approach to Local Feature Detection
|
Yongchao Xu, Thierry Géraud, Pascal Monasse, Laurent Najman
|
IEEE Transactions on Image Processing
|
3 October 2014
|
carlinet.14.itip
|
A Comparative Review of Component Tree Computation Algorithms
|
Edwin Carlinet, Thierry Géraud
|
IEEE Transactions on Image Processing
|
16 June 2014
|
duret.14.ijccbs
|
LTL Translation Improvements in Spot 1.0
|
Alexandre Duret-Lutz
|
International Journal on Critical Computer-Based Systems
|
6 March 2014
|
fabrizio.13.paa
|
Text detection in street level image
|
Jonathan Fabrizio, Beatriz Marcotegui, Matthieu Cord
|
Pattern Analysis and Applications
|
5 November 2013
|
shum.13.taslp
|
Unsupervised Methods for Speaker Diarization: An Integrated and Iterative Approach
|
S Shum, Najim Dehak, Réda Dehak, J Glass
|
IEEE Transactions on Audio, Speech, and Language Processing
|
7 June 2013
|
lazzara.13.ijdar
|
Efficient Multiscale Sauvola's Binarization
|
Guillaume Lazzara, Thierry Géraud
|
International Journal of Document Analysis and Recognition (IJDAR)
|
25 April 2013
|
fabrizio.12.spic
|
Motion compensation based on Tangent Distance prediction for video compression
|
Jonathan Fabrizio, Séverine Dubuisson, Dominique Béréziat
|
Signal Processing: Image Communication
|
9 February 2012
|
bensalem.12.topnoc
|
Model Checking using Generalized Testing Automata
|
Ala Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon
|
Transactions on Petri Nets and Other Models of Concurrency (ToPNoC VI)
|
1 January 2012
|
dehak.11.taslp
|
Front-End Factor Analysis For Speaker Verification
|
Najim Dehak, P Kenny, Réda Dehak, P Dumouchel, P Ouellet
|
IEEE Transactions on Audio, Speech, and Language Processing
|
1 May 2011
|
dolstra.10.jfp
|
NixOS: A purely functional Linux distribution
|
Eelco Dolstra, Andres Löh, Nicolas Pierron
|
Journal of Functional Programming
|
15 October 2010
|
verna.10.jucs
|
Revisiting the Visitor: the Just Do It Pattern
|
Didier Verna
|
Journal of Universal Computer Science
|
1 January 2010
|
hamez.09.fi
|
Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation
|
Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon
|
Fundamenta Informaticae
|
1 January 2009
|
verna.08.jucs
|
Binary Methods Programming: the CLOS Perspective (extended version)
|
Didier Verna
|
Journal of Universal Computer Science
|
1 January 2008
|
verna.06.ijcs
|
How to make Lisp go faster than C
|
Didier Verna
|
IAENG International Journal of Computer Science
|
1 December 2006
|
yoruk.06.itip
|
Shape-based hand recognition
|
Erdem Yörük, Ender Konukoglu, Bülent Sankur, Jérôme Darbon
|
IEEE Transactions on Image Processing
|
1 July 2006
|
darbon.06.jmivb
|
Image restoration with discrete constrained Total Variation—Part II: Levelable functions, convex priors and non-convex case
|
Jérôme Darbon, Marc Sigelle
|
Journal of Mathematical Imaging and Vision
|
24 March 2006
|
darbon.06.jmiv
|
Image restoration with discrete constrained Total Variation—Part I: Fast and exact optimization
|
Jérôme Darbon, Marc Sigelle
|
Journal of Mathematical Imaging and Vision
|
24 March 2006
|
laplante.07.tocl
|
Probabilistic abstraction for model checking: an approach based on property testing
|
Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont
|
ACM Transactions on Computational Logic
|
21 November 2005
|
borghi.06.crossroads
|
C-Transformers — A Framework to Write C Program Transformations
|
Alexandre Borghi, Valentin David, Akim Demaille
|
ACM Crossroads
|
16 October 2005
|
dehak.05.pami
|
Spatial reasoning with relative incomplete information on relative positioning
|
Réda Dehak, Isabelle Bloch, Henri Maître
|
IEEE Transactions on Pattern Analysis and Machine Intelligence
|
1 September 2005
|
lombardy.04.tcs
|
Introducing Vaucanson
|
Sylvain Lombardy, Yann Régis-Gianas, Jacques Sakarovitch
|
Theoretical Computer Science
|
1 November 2004
|
geraud.04.jasp
|
Fast road network extraction in satellite images using mathematical morphology and Markov random fields
|
Thierry Géraud, Jean-Baptiste Mouret
|
EURASIP Journal on Applied Signal Processing
|
5 September 2004
|
bloch.05.prl
|
Fusion of spatial relationships for guiding recognitionexample of brain structure recognition in 3D MRI
|
Isabelle Bloch, Olivier Colliot, Oscar Camara, Thierry Géraud
|
Pattern Recognition Letters
|
9 July 2004
|
bloch.03.ai
|
Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition—application to 3D brain imaging
|
Isabelle Bloch, Thierry Géraud, Henri Maître
|
Artificial Intelligence
|
1 August 2003
|