|
|
Title
|
Authors
|
Published in
|
Date
|
| 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.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
|
| 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
|
| 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
|
