|
Title
|
Authors
|
Published in
|
Date
|
xu.13.phd
|
Tree-based shape spaces: Definition and applications in image processing and computer vision
|
Yongchao Xu
|
|
12 December 2013
|
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
|
fabrizio.13.paa
|
Text detection in street level image
|
Jonathan Fabrizio, Beatriz Marcotegui, Matthieu Cord
|
Pattern Analysis and Applications
|
5 November 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
|
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
|
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
|
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
|
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
|
lazzara.13.ijdar
|
Efficient Multiscale Sauvola's Binarization
|
Guillaume Lazzara, Thierry Géraud
|
International Journal of Document Analysis and Recognition (IJDAR)
|
25 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
|
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
|
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
|
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-2
|
TiCL: the Prototype (Star TeX: the Next GenerationSeason 2)
|
Didier Verna
|
TUGboat
|
1 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
|
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
|
verna.12.dsl
|
Extensible languages: blurring the distinction between DSLs and GPLs
|
Didier Verna
|
Formal and Practical Aspects of Domain-Specific Languages: Recent Developments
|
1 September 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
|
geraud.12.hdr
|
Outil logiciel pour le traitement d'images: Bibliothèque, paradigmes, types et algorithmes
|
Thierry Géraud
|
|
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
|
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
|
chedeau.12.tr
|
JSPP: Morphing C++ into JavaScript
|
Christopher Chedeau, Didier Verna
|
|
1 January 2012
|
verna.12.tug
|
Star TeX : the Next Generation
|
Didier Verna
|
TUGboat
|
1 January 2012
|
levillain.11.phd
|
Towards a Software Architecture for Generic Image Processing
|
Roland Levillain
|
|
1 November 2011
|
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
|
duret.11.arxiv
|
Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking
|
Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg
|
|
1 June 2011
|
bensalem.11.sumo
|
Generalized Büchi Automata versus Testing Automata for Model Checking
|
Ala Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon
|
Proceedings of the second International Workshop on Scalable and Usable Model Checking for Petri Net and other models of Concurrency (SUMO'11)
|
25 May 2011
|
levillain.11.gretsi
|
Une approche générique du logiciel pour le traitement d'images préservant les performances
|
Roland Levillain, Thierry Géraud, Laurent Najman
|
Proceedings of the 23rd Symposium on Signal and Image Processing (GRETSI)
|
13 May 2011
|
dehak.11.icassp
|
A Channel-Blind System for Speaker Verification
|
Najim Dehak, Z Karam, D Reynolds, Réda Dehak, W Campbell, J Glass
|
International Conference on Acoustics, Speech and Signal Processing (ICASSP)
|
1 May 2011
|
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
|
verna.11.tug
|
Towards LaTeX Coding Standards
|
Didier Verna
|
TUGboat
|
1 January 2011
|
verna.11.onward
|
Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them
|
Didier Verna
|
Onward! 2011
|
1 January 2011
|
minetto.10.icip
|
SnooperText: A Multiresolution System for Text Detection in Complex Visual Scenes
|
Rodrigo Minetto, Nicolas Thome, Matthieu Cord, Jonathan Fabrizio, Beatriz Marcotegui
|
Proceedings of the IEEE International Conference on Image Processing (ICIP)
|
31 December 2010
|
dolstra.10.jfp
|
NixOS: A purely functional Linux distribution
|
Eelco Dolstra, Andres Löh, Nicolas Pierron
|
Journal of Functional Programming
|
15 October 2010
|
geraud.10.livre
|
Morphologie et algorithmes
|
Thierry Géraud, Hugues Talbot, Marc Van Droogenbroeck
|
Morphologie mathématique 2 : estimation, choix et mise en œuvre
|
1 September 2010
|
geraud.10.book
|
Algorithms for Mathematical Morphology
|
Thierry Géraud, Hugues Talbot, Marc Van Droogenbroeck
|
Mathematical Morphology—From Theory to Applications
|
1 July 2010
|
linard.10.acsd
|
polyDD: Towards a Framework Generalizing Decision Diagrams
|
Alban Linard, Emmanuel Paviot-Adet, Fabrice Kordon, Didier Buchs, Samuel Charron
|
Proceedings of the 10th International Conference on Application of Concurrency to System Design (ACSD)
|
1 June 2010
|
levillain.10.icip
|
Why and How to Design a Generic and Efficient Image Processing Framework: The Case of the Milena Library
|
Roland Levillain, Thierry Géraud, Laurent Najman
|
Proceedings of the IEEE International Conference on Image Processing (ICIP)
|
26 May 2010
|
verna.10.els
|
CLoX: Common Lisp objects for XEmacs
|
Didier Verna
|
Proceedings of the 3rd European Lisp Symposium
|
9 March 2010
|