|
Title
|
Authors
|
Published in
|
Date
|
carlinet.15.ismm
|
A Color Tree of Shapes with Illustrations on FilteringSimplification, and Segmentation
|
Edwin Carlinet, Thierry Géraud
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM)
|
7 April 2015
|
geraud.15.ismm
|
Self-Duality and Digital Topology: Links Between the Morphological Tree of Shapes and Well-Composed Gray-Level Images
|
Thierry Géraud, Edwin Carlinet, Sébastien Crozet
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM)
|
7 April 2015
|
xu.15.ismm
|
Efficient Computation of Attributes and Saliency Maps on Tree-Based Image Representations
|
Yongchao Xu, Edwin Carlinet, Thierry Géraud, Laurent Najman
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM)
|
7 April 2015
|
boutry.15.ismm
|
How to Make nD Functions Digitally Well-Composed in a Self-Dual Way
|
Nicolas Boutry, Thierry Géraud, Laurent Najman
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM)
|
7 April 2015
|
dubuisson.15.visapp
|
A Self-Adaptive Likelihood Function for Tracking with Particle Filter
|
Séverine Dubuisson, Myriam Robert-Seidowsky, Jonathan Fabrizio
|
Proceedings of the 10th International Conference on Computer Vision Theory and Applications (VISAPP)
|
1 March 2015
|
robert-seidowsky.15.visapp
|
TextTrail: A Robust Text Tracking Algorithm In Wild Environments
|
Myriam Robert-Seidowsky, Jonathan Fabrizio, Séverine Dubuisson
|
Proceedings of the 10th International Conference on Computer Vision Theory and Applications (VISAPP)
|
1 March 2015
|
bensalem.15.lata
|
Single-pass Testing Automata for LTL Model Checking
|
Ala Eddine Ben Salem
|
Proceedings of the 9th International Conference on Language and Automata Theory and Applications (LATA'15)
|
1 March 2015
|
renault.15.tacas
|
Parallel Explicit Model Checking for Generalized Büchi Automata
|
Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud
|
Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'15)
|
13 January 2015
|
verna.15.cop
|
Context-Oriented Image Processing
|
Didier Verna, François Ripault
|
Context-Oriented Programming Workshop
|
1 January 2015
|
levillain.14.ciarp
|
Practical Genericity: Writing Image Processing Algorithms Both Reusable and Efficient
|
Roland Levillain, Thierry Géraud, Laurent Najman, Edwin Carlinet
|
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications – Proceedings of the 19th Iberoamerican Congress on Pattern Recognition (CIARP)
|
10 September 2014
|
widynski.14.ius
|
Speckle Spot Detection in Ultrasound Images: Application to Speckle Reduction and Speckle Tracking
|
Nicolas Widynski, Thierry Géraud, Damien Garcia
|
Proceedings of the IEEE International Ultrasonics Symposium (IUS)
|
10 September 2014
|
xu.14.rfia
|
Espaces des formes basés sur des arbres : définition et applications en traitement d'images et vision par ordinateur
|
Yongchao Xu, Thierry Géraud, Laurent Najman
|
Actes du 19ème Congrès National sur Reconnaissance des Formes et l'Intelligence Artificielle (RFIA)
|
1 July 2014
|
blahoudek.14.spin
|
Is There a Best Büchi Automaton for Explicit Model Checking?
|
František Blahoudek, Alexandre Duret-Lutz, Mojmír Křetínský, Jan Strejček
|
Proceedings of the 21th International SPIN Symposium on Model Checking of Software (SPIN'14)
|
16 June 2014
|
dehak.14.odyssey
|
GMM Weights Adaptation Based on Subspace Approaches for Speaker Verification
|
Najim Dehak, O Plchot, M H Bahari, L Burget, H Van hamme, Réda Dehak
|
Odyssey 2014, The Speaker and Language Recognition Workshop
|
16 June 2014
|
geraud.14.icip
|
A Morphological Method for Music Score Staff Removal
|
Thierry Géraud
|
Proceedings of the 21st International Conference on Image Processing (ICIP)
|
3 June 2014
|
boutry.14.dgci
|
On Making nD Images Well-Composed by a Self-Dual Local Interpolation
|
Nicolas Boutry, Thierry Géraud, Laurent Najman
|
Proceedings of the 18th International Conference on Discrete Geometry for Computer Imagery (DGCI)
|
28 May 2014
|
crozet.14.icip
|
A First Parallel Algorithm to Compute the Morphological Tree of Shapes of nD Images
|
Sébastien Crozet, Thierry Géraud
|
Proceedings of the 21st International Conference on Image Processing (ICIP)
|
26 May 2014
|
fabrizio.14.icip
|
A precise skew estimation algorithm for document images using KNN clustering and Fourier transform
|
Jonathan Fabrizio
|
Proceedings of the 21st International Conference on Image Processing (ICIP)
|
26 May 2014
|
xu.14.icip
|
Meaningful disjoint level lines selection
|
Yongchao Xu, Edwin Carlinet, Thierry Géraud, Laurent Najman
|
Proceedings of the 21st International Conference on Image Processing (ICIP)
|
26 May 2014
|
carlinet.14.icip
|
Getting a morphological Tree of Shapes for Multivariate Images: Paths, Traps and Pitfalls
|
Edwin Carlinet, Thierry Géraud
|
Proceedings of the 21st International Conference on Image Processing (ICIP)
|
26 May 2014
|
demaille.14.ciaa
|
A Type System for Weighted Automata and Rational Expressions
|
Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Luca Saiu, Jacques Sakarovitch
|
Proceedings of Implementation and Application of Automata19th International Conference (CIAA'14)
|
20 May 2014
|
carlinet.14.icpr
|
A Morphological Tree of Shapes for Color Images
|
Edwin Carlinet, Thierry Géraud
|
Proceedings of the 22nd International Conference on Pattern Recognition (ICPR)
|
2 April 2014
|
bensalem.14.tacas
|
Symbolic Model Checking of Stutter Invariant Properties Using Generalized Testing Automata
|
Ala Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon, Yann Thierry-Mieg
|
Proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'14)
|
1 April 2014
|
baarir.14.forte
|
Mechanizing the Minimization of Deterministic Generalized Büchi Automata
|
Souheib Baarir, Alexandre Duret-Lutz
|
Proceedings of the 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'14)
|
21 March 2014
|
lazzara.14.das
|
Planting, Growing and Pruning Trees: Connected Filters Applied to Document Image Analysis
|
Guillaume Lazzara, Thierry Géraud, Roland Levillain
|
Proceedings of the 11th IAPR International Workshop on Document Analysis Systems (DAS)
|
10 December 2013
|
renault.13.lpar
|
Three SCC-based Emptiness Checks for Generalized Büchi Automata
|
Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud
|
Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'13)
|
9 October 2013
|
fronc.13.atva
|
LTL Model Checking with Neco
|
Łukasz Fronc, Alexandre Duret-Lutz
|
Proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13)
|
15 June 2013
|
duret.13.atva
|
Manipulating LTL formulas using Spot 1.0
|
Alexandre Duret-Lutz
|
Proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13)
|
15 June 2013
|
xu.13.icip
|
Salient Level Lines Selection Using the Mumford-Shah Functional
|
Yongchao Xu, Thierry Géraud, Laurent Najman
|
Proceedings of the 20th International Conference on Image Processing (ICIP)
|
27 May 2013
|
demaille.13.ciaa
|
Implementation Concepts in Vaucanson 2
|
Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Jacques Sakarovitch
|
Proceedings of Implementation and Application of Automata18th International Conference (CIAA'13)
|
2 May 2013
|
babiak.13.spin
|
Compositional Approach to Suspension and Other Improvements to LTL Translation
|
Tomáš Babiak, Thomas Badie, Alexandre Duret-Lutz, Mojmír Křetínský, Jan Strejček
|
Proceedings of the 20th International SPIN Symposium on Model Checking of Software (SPIN'13)
|
28 April 2013
|
geraud.13.ismm
|
A Quasi-Linear Algorithm to Compute the Tree of Shapes of n-D Images
|
Thierry Géraud, Edwin Carlinet, Sébastien Crozet, Laurent Najman
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM)
|
14 March 2013
|
najman.13.ismm
|
Discrete set-valued continuity and interpolation
|
Laurent Najman, Thierry Géraud
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM)
|
14 March 2013
|
xu.13.ismm
|
Two applications of shape-based morphology: blood vessels segmentation and a generalization of constrained connectivity
|
Yongchao Xu, Thierry Géraud, Laurent Najman
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM)
|
14 March 2013
|
carlinet.13.ismm
|
A comparison of many max-tree computation algorithms
|
Edwin Carlinet, Thierry Géraud
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM)
|
14 March 2013
|
renault.13.tacas
|
Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking
|
Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud
|
Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'13)
|
8 January 2013
|
verna.13.tug-1
|
The incredible tale of the author who didn't want to do the publisher's job
|
Didier Verna
|
TUGboat
|
1 January 2013
|
verna.13.tug-2
|
TiCL: the Prototype (Star TeX: the Next GenerationSeason 2)
|
Didier Verna
|
TUGboat
|
1 January 2013
|
borgstrom.12.nistsre
|
MITLL 2012 Speaker Recognition Evaluation System Description
|
Jonas Borgstrom, William Campbell, Najim Dehak, Réda Dehak, Daniel Garcia-Romero, Kara Greenfieldand Alan McCree, Doug Reynold, Fred Richardsony, Elliot Singery, Douglas Sturim, Pedro A Torres-Carrasquillo
|
NIST Speaker Recognition Evaluation
|
1 December 2012
|
levillain.12.wadgmm-lncs
|
Writing Reusable Digital Topology Algorithms in a Generic Image Processing Framework
|
Roland Levillain, Thierry Géraud, Laurent Najman
|
WADGMM 2010
|
8 August 2012
|
levillain.10.wadgmm
|
Writing Reusable Digital Geometry Algorithms in a Generic Image Processing Framework
|
Roland Levillain, Thierry Géraud, Laurent Najman
|
Proceedings of the Workshop on Applications of Digital Geometry and Mathematical Morphology (WADGMM)
|
30 July 2012
|
xu.12.icpr
|
Morphological Filtering in Shape Spaces : Applications using Tree-Based Image Representations
|
Yongchao Xu, Thierry Géraud, Laurent Najman
|
Proceedings of the 21st International Conference on Pattern Recognition (ICPR)
|
16 June 2012
|
sennoussaoui.12.odyssey
|
First Attempt at Boltzmann Machines for Speaker Recognition
|
M Sennoussaoui, Najim Dehak, P Kenny, Réda Dehak, P Dumouchel
|
Odyssey Speaker and Language Recognition Workshop
|
1 June 2012
|
senta.12.els
|
Generic Image Processing with Climb
|
Laurent Senta, Christopher Chedeau, Didier Verna
|
European Lisp Symposium
|
1 May 2012
|
xu.12.icip
|
Context-Based Energy Estimator: Application to Object Segmentation on the Tree of Shapes
|
Yongchao Xu, Thierry Géraud, Laurent Najman
|
Proceedings of the 19th International Conference on Image Processing (ICIP)
|
17 April 2012
|
verna.12.tug
|
Star TeX : the Next Generation
|
Didier Verna
|
TUGboat
|
1 January 2012
|
dehak.11.interspeech
|
Language Recognition via I-Vectors and Dimensionality Reduction
|
Najim Dehak, Pedro A Torres-Carrasquillo, Douglas Reynolds, Réda Dehak
|
INTERSPEECH 2011
|
1 August 2011
|
duret.11.vecos
|
LTL Translation Improvements in Spot
|
Alexandre Duret-Lutz
|
Proceedings of the 5th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS'11)
|
25 July 2011
|
duret.11.atva
|
Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking
|
Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg
|
Proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis (ATVA'11)
|
23 June 2011
|
lazzara.11.icdar
|
The SCRIBO Module of the Olena Platform: a Free Software Framework for Document Image Analysis
|
Guillaume Lazzara, Roland Levillain, Thierry Géraud, Yann Jacquelet, Julien Marquegnies, Arthur Crépin-Leblond
|
Proceedings of the 11th International Conference on Document Analysis and Recognition (ICDAR)
|
1 June 2011
|