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