Special

Semantic search

Title Authors Published in Date
baarir.15.lpar SAT-based Minimization of Deterministic ω-Automata Souheib Baarir, Alexandre Duret-Lutz Proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'15) 1 September 2015
calarasanu.15.icdar Using histogram representation and Earth Mover's Distance as an evaluation tool for text detection Stefania Calarasanu, Jonathan Fabrizio, Séverine Dubuisson Proceedings of the 13th IAPR International Conference on Document Analysis and Recognition (ICDAR) 1 August 2015
carlinet.15.ipta Morphological Object Picking Based on the Color Tree of Shapes Edwin Carlinet, Thierry Géraud Proceedings of 5th International Conference on Image Processing Theory, Tools and Applications (IPTA'15) 29 June 2015
carlinet.15.gretsi Une approche morphologique de segmentation interactive avec l'arbre des formes couleur Edwin Carlinet, Thierry Géraud Actes du 15e Colloque GRETSI 16 June 2015
blahoudek.15.spin On Refinement of Büchi Automata for Explicit Model Checking František Blahoudek, Alexandre Duret-Lutz, Vojtčech Rujbr, Jan Strejček Proceedings of the 22th International SPIN Symposium on Model Checking of Software (SPIN'15) 15 June 2015
michaud.15.spin Practical Stutter-Invariance Checks for ω-Regular Languages Thibaud Michaud, Alexandre Duret-Lutz Proceedings of the 22th International SPIN Symposium on Model Checking of Software (SPIN'15) 15 June 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
bensalem.15.forte Extending Testing Automata to All LTL Ala Eddine Ben Salem Proceedings of the 35th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'15) 19 May 2015
bensalem.15.acsd Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata Ala Eddine Ben Salem, Mohamed Graiet Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD'15) 19 May 2015
boutry.15.icip How to Make nD Images Well-Composed Without Interpolation Nicolas Boutry, Thierry Géraud, Laurent Najman Proceedings of the IEEE International Conference on Image Processing (ICIP) 14 May 2015
babiak.15.cav The Hanoi Omega-Automata Format Tomáš Babiak, František Blahoudek, Alexandre Duret-Lutz, Joachim Klein, Jan Kv retínský, David Müller, David Parker, Jan Strejček Proceedings of the 27th International Conference on Computer Aided Verification (CAV'15) 27 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
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
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
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
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
renault.14.phd Contribution aux tests de vacuité pour le model checking explicite Etienne Renault 5 December 2014
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
bensalem.14.phd Improving the Model Checking of Stutter-Invariant LTL Properties Ala Eddine Ben Salem 25 September 2014
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
carlinet.14.itip A Comparative Review of Component Tree Computation Algorithms Edwin Carlinet, Thierry Géraud IEEE Transactions on Image Processing 16 June 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
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
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
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
duret.14.ijccbs LTL Translation Improvements in Spot 1.0 Alexandre Duret-Lutz International Journal on Critical Computer-Based Systems 6 March 2014
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
verna.10.tug Classes, Styles, Conflicts: the Biological Realm of LaTeX Didier Verna TUGboat 9 March 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
verna.10.jucs Revisiting the Visitor: the Just Do It Pattern Didier Verna Journal of Universal Computer Science 1 January 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
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.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.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.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