Special

Semantic search

 AuthorsTitlePublished inDate
Derived-Term Automata of Multitape Expressions with CompositionAkim DemailleDerived-Term Automata of Multitape Expressions with CompositionScientific Annals of Computer Science29 December 2017
A Tutorial on Well-ComposednessNicolas Boutry
Thierry Géraud
Laurent Najman
A Tutorial on Well-ComposednessJournal of Mathematical Imaging and Vision12 October 2017
Augmented Songbook: an Augmented Reality Educational Application for Raising Music AwarenessMarçal Rusiñol
Joseph Chazalon
Katerine Diaz-Chito
Augmented Songbook: an Augmented Reality Educational Application for Raising Music AwarenessMultimedia Tools and Applications29 June 2017
Object tracking by hierarchical decomposition of hyperspectral video sequences: Application to chemical gas plume trackingGuillaume Tochon
Jocelyn Chanussot
Mauro Dalla Mura
Andrea Bertozzi
Object tracking by hierarchical decomposition of hyperspectral video sequences: Application to chemical gas plume trackingIEEE Transactions on Geoscience and Remote Sensing20 April 2017
Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selectionYongchao Xu
Thierry Géraud
Laurent Najman
Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selectionPattern Recognition Letters20 May 2016
Hierarchical Segmentation Using Tree-Based Shape SpacesYongchao Xu
Edwin Carlinet
Thierry Géraud
Laurent Najman
Hierarchical Segmentation Using Tree-Based Shape SpacesIEEE Transactions on Pattern Analysis and Machine Intelligence11 April 2016
TextCatcher: A method to detect curved and challenging text in natural scenesJonathan Fabrizio
Myriam Robert-Seidowsky
Séverine Dubuisson
Stefania Calarasanu
Raphaël Boissel
TextCatcher: A method to detect curved and challenging text in natural scenesInternational Journal on Document Analysis and Recognition8 April 2016
What is a good evaluation protocol for text localization systems? Concerns, arguments, comparisons and solutionsStefania Calarasanu
Jonathan Fabrizio
Séverine Dubuisson
What is a good evaluation protocol for text localization systems? Concerns, arguments, comparisons and solutionsImage and Vision Computing1 February 2016
Variations on Parallel Explicit Model Checking for Generalized Büchi AutomataEtienne Renault
Alexandre Duret-Lutz
Fabrice Kordon
Denis Poitrenaud
Variations on Parallel Explicit Model Checking for Generalized Büchi AutomataInternational Journal on Software Tools for Technology Transfer (STTT)26 October 2015
MToS: A Tree of Shapes for Multivariate ImagesEdwin Carlinet
Thierry Géraud
MToS: A Tree of Shapes for Multivariate ImagesIEEE Transactions on Image Processing26 October 2015
Connected Filtering on Tree-Based Shape-SpacesYongchao Xu
Thierry Géraud
Laurent Najman
Connected Filtering on Tree-Based Shape-SpacesIEEE Transactions on Pattern Analysis and Machine Intelligence5 June 2015
Tree-Based Morse Regions: A Topological Approach to Local Feature DetectionYongchao Xu
Thierry Géraud
Pascal Monasse
Laurent Najman
Tree-Based Morse Regions: A Topological Approach to Local Feature DetectionIEEE Transactions on Image Processing3 October 2014
A Comparative Review of Component Tree Computation AlgorithmsEdwin Carlinet
Thierry Géraud
A Comparative Review of Component Tree Computation AlgorithmsIEEE Transactions on Image Processing16 June 2014
LTL Translation Improvements in Spot 1.0Alexandre Duret-LutzLTL Translation Improvements in Spot 1.0International Journal on Critical Computer-Based Systems6 March 2014
Text detection in street level imageJonathan Fabrizio
Beatriz Marcotegui
Matthieu Cord
Text detection in street level imagePattern Analysis and Applications5 November 2013
Unsupervised Methods for Speaker Diarization: An Integrated and Iterative ApproachS Shum
Najim Dehak
Réda Dehak
J Glass
Unsupervised Methods for Speaker Diarization: An Integrated and Iterative ApproachIEEE Transactions on Audio, Speech, and Language Processing7 June 2013
Efficient Multiscale Sauvola's BinarizationGuillaume Lazzara
Thierry Géraud
Efficient Multiscale Sauvola's BinarizationInternational Journal of Document Analysis and Recognition (IJDAR)25 April 2013
Motion compensation based on Tangent Distance prediction for video compressionJonathan Fabrizio
Séverine Dubuisson
Dominique Béréziat
Motion compensation based on Tangent Distance prediction for video compressionSignal Processing: Image Communication9 February 2012
Model Checking using Generalized Testing AutomataAla Eddine Ben Salem
Alexandre Duret-Lutz
Fabrice Kordon
Model Checking using Generalized Testing AutomataTransactions on Petri Nets and Other Models of Concurrency (ToPNoC VI)1 January 2012
Front-End Factor Analysis For Speaker VerificationNajim Dehak
P Kenny
Réda Dehak
P Dumouchel
P Ouellet
Front-End Factor Analysis For Speaker VerificationIEEE Transactions on Audio, Speech, and Language Processing1 May 2011
NixOS: A purely functional Linux distributionEelco Dolstra
Andres Löh
Nicolas Pierron
NixOS: A purely functional Linux distributionJournal of Functional Programming15 October 2010
Revisiting the Visitor: the Just Do It PatternDidier VernaRevisiting the Visitor: the Just Do It PatternJournal of Universal Computer Science1 January 2010
Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic SaturationAlexandre Hamez
Yann Thierry-Mieg
Fabrice Kordon
Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic SaturationFundamenta Informaticae1 January 2009
Binary Methods Programming: the CLOS Perspective (extended version)Didier VernaBinary Methods Programming: the CLOS Perspective (extended version)Journal of Universal Computer Science1 January 2008
How to make Lisp go faster than CDidier VernaHow to make Lisp go faster than CIAENG International Journal of Computer Science1 December 2006
Shape-based hand recognitionErdem Yörük
Ender Konukoglu
Bülent Sankur
Jérôme Darbon
Shape-based hand recognitionIEEE Transactions on Image Processing1 July 2006
Image restoration with discrete constrained Total Variation—Part I: Fast and exact optimizationJérôme Darbon
Marc Sigelle
Image restoration with discrete constrained Total Variation—Part I: Fast and exact optimizationJournal of Mathematical Imaging and Vision24 March 2006
Image restoration with discrete constrained Total Variation—Part II: Levelable functions, convex priors and non-convex caseJérôme Darbon
Marc Sigelle
Image restoration with discrete constrained Total Variation—Part II: Levelable functions, convex priors and non-convex caseJournal of Mathematical Imaging and Vision24 March 2006
Probabilistic abstraction for model checking: an approach based on property testingSophie Laplante
Richard Lassaigne
Frédéric Magniez
Sylvain Peyronnet
Michel de Rougemont
Probabilistic abstraction for model checking: an approach based on property testingACM Transactions on Computational Logic21 November 2005
C-Transformers — A Framework to Write C Program TransformationsAlexandre Borghi
Valentin David
Akim Demaille
C-Transformers — A Framework to Write C Program TransformationsACM Crossroads16 October 2005
Spatial reasoning with relative incomplete information on relative positioningRéda Dehak
Isabelle Bloch
Henri Maître
Spatial reasoning with relative incomplete information on relative positioningIEEE Transactions on Pattern Analysis and Machine Intelligence1 September 2005
Introducing VaucansonSylvain Lombardy
Yann Régis-Gianas
Jacques Sakarovitch
Introducing VaucansonTheoretical Computer Science1 November 2004
Fast road network extraction in satellite images using mathematical morphology and Markov random fieldsThierry Géraud
Jean-Baptiste Mouret
Fast road network extraction in satellite images using mathematical morphology and Markov random fieldsEURASIP Journal on Applied Signal Processing5 September 2004
Fusion of spatial relationships for guiding recognitionexample of brain structure recognition in 3D MRIIsabelle Bloch
Olivier Colliot
Oscar Camara
Thierry Géraud
Fusion of spatial relationships for guiding recognitionexample of brain structure recognition in 3D MRIPattern Recognition Letters9 July 2004
Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition—application to 3D brain imagingIsabelle Bloch
Thierry Géraud
Henri Maître
Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition—application to 3D brain imagingArtificial Intelligence1 August 2003