|
Title
|
Authors
|
Published in
|
Date
|
lazzara.13.ijdar
|
Efficient Multiscale Sauvola's Binarization
|
Guillaume Lazzara, Thierry Géraud
|
International Journal of Document Analysis and Recognition (IJDAR)
|
25 April 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
|
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
|
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
|
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
|
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
|
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
|
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.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
|
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
|
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
|
verna.11.tug
|
Towards LaTeX Coding Standards
|
Didier Verna
|
TUGboat
|
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.tug
|
Classes, Styles, Conflicts: the Biological Realm of LaTeX
|
Didier Verna
|
TUGboat
|
9 March 2010
|
verna.10.els
|
CLoX: Common Lisp objects for XEmacs
|
Didier Verna
|
Proceedings of the 3rd European Lisp Symposium
|
9 March 2010
|
dehak.10.nist
|
LRDE Speaker Recognition System for NIST-SRE 2010
|
Réda Dehak, Najim Dehak
|
NIST 2010 Speaker Recognition Evaluation
|
1 January 2010
|
verna.10.jucs
|
Revisiting the Visitor: the Just Do It Pattern
|
Didier Verna
|
Journal of Universal Computer Science
|
1 January 2010
|
dehak.10.odyssey
|
Cosine Similarity Scoring without Score Normalization Techniques
|
Najim Dehak, Réda Dehak, J Glass, D Reynolds, P Kenny
|
Odyssey The Speaker and Language Recognition
|
1 January 2010
|
dehak.10.odyssey2
|
Unsupervised Speaker Adaptation based on the Cosine Similarity for Text-Independent Speaker Verification
|
S Shum, Najim Dehak, Réda Dehak, J Glass
|
Odyssey The Speaker and Language Recognition
|
1 January 2010
|
hamez.09.phd
|
Génération efficace de grands espaces d'états
|
Alexandre Hamez
|
|
1 December 2009
|
linard.09.phd
|
Sémantique paramétrable des Diagrammes de Décision : une démarche vers l'unification
|
Alban Linard
|
|
1 November 2009
|
dehak.09.interspeech
|
Support Vector Machines versus Fast Scoring in the Low-Dimensional Total Variability Space for Speaker Verification
|
Najim Dehak, Réda Dehak, Patrick Kenny, Niko Brummer, Pierre Ouellet, Pierre Dumouchel
|
Interspeech
|
22 June 2009
|
dehak.09.interspeechb
|
Cepstral and Long-Term Features for Emotion Recognition
|
Pierre Dumouchel, Najim Dehak, Yazid Attabi, Réda Dehak, Narjès Boufaden
|
Interspeech
|
22 June 2009
|
dehak.09.icassp
|
Support Vector Machines and Joint Factor Analysis for Speaker Verification
|
Najim Dehak, Patrick Kenny, Réda Dehak, Ondrej Glember, Pierre Dumouchel, Lukas Burget, Valiantsina Hubeika, Fabio Castaldo
|
IEEE-ICASSP
|
19 April 2009
|