,"Bibtex id",Authors,Title,"Published in",Date
Publications/blahoudek.17.lpar,blahoudek.17.lpar,"František Blahoudek,Alexandre Duret-Lutz,Mikuláš Klokočka,Mojmír Křetínský,Jan Strejček","Seminator: A Tool for Semi-Determinization of Omega-Automata","Proceedings of the 21th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-21)","3 April 2017"
Publications/carlinet.17.orasis,carlinet.17.orasis,"Edwin Carlinet,Yongchao Xu,Nicolas Boutry,Thierry Géraud","La pseudo-distance du dahu","Actes d'ORASIS","21 March 2017"
Publications/menouer.17.pdp,menouer.17.pdp,"Tarek Menouer,Souheib Baarir","Parallel Satisfiability Solver Based on Hybrid Partitioning Method","Proceedings of the 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP)","1 March 2017"
Publications/geraud.17.ismm,geraud.17.ismm,"Thierry Géraud,Yongchao Xu,Edwin Carlinet,Nicolas Boutry","Introducing the Dahu Pseudo-Distance","Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM)","23 February 2017"
Publications/puybareau.17.ismm,puybareau.17.ismm,"Élodie Puybareau,Hugues Talbot,Noha Gaber,Tarik Bourouina","Morphological Analysis of Brownian Motion for Physical Measurements","Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM)","23 February 2017"
Publications/huynh.17.ismm,huynh.17.ismm,"Lê Duy Huỳnh,Yongchao Xu,Thierry Géraud","Morphological Hierarchical Image Decomposition Based on Laplacian 0-Crossings","Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM)","23 February 2017"
Publications/puybareau.17.isbi,puybareau.17.isbi,"Élodie Puybareau,Hugues Talbot,Laurent Najman","Periodic Area-of-Motion characterization for Bio-Medical applications","Proceedings of the IEEE International Symposium on Bio-Medical Imaging (ISBI)","20 February 2017"
Publications/newton.17.els,newton.17.els,"Jim Newton,Didier Verna,Maximilien Colange","Programmatic Manipulation of Common Lisp Type Specifiers","European Lisp Symposium","6 February 2017"
Publications/dehak.16.nistsre,dehak.16.nistsre,"Pedro A Torres-Carrasquillo,Frederick Richardson,Shahan Nercessian,Douglas Sturim,William Campbell,Youngjune Gwon,Swaroop Vattam,Reda Dehak,Harish Mallidi,Phani Sankar Nidadavolu,Ruizhi Li,Raghavendra Reddy Pappagari,Nanxin Chen,Najim Dehak,Ruben Zazo","The MIT Lincoln Laboratory 2016 speaker recognition system","NIST Speaker Recognition Evaluation 2016","12 December 2016"
Publications/drumetz.17.lva-ica,drumetz.17.lva-ica,"Lucas Drumetz,Guillaume Tochon,Jocelyn Chanussot,Christian Jutten","Estimating the Number of Endmembers to Use in Spectral Unmixing of Hyperspectral Data with Collaborative Sparsity","Proceedings of the 13th International Conference on Latent Variable Analysis and Signal Separation (LVA-ICA)","22 November 2016"
Publications/calarasanu.16.iwrr,calarasanu.16.iwrr,"Stefania Calarasanu,Jonathan Fabrizio,Séverine Dubuisson","From text detection to text segmentation: a unified evaluation scheme","Proceedings of the 2nd International Workshop on Robust Reading Conference (IWRR-ECCV)","1 October 2016"
Publications/huynh.16.icpr,huynh.16.icpr,"Lê Duy Huỳnh,Yongchao Xu,Thierry Géraud","Morphology-Based Hierarchical Representation with Application to Text Segmentation in Natural Images","Proceedings of the 23st International Conference on Pattern Recognition (ICPR)","13 July 2016"
Publications/demaille.16.ictac,demaille.16.ictac,"Akim Demaille","Derived-term Automata for Extended Weighted Rational Expressions","Proceedings of the Thirteenth International Colloquium on Theoretical Aspects of Computing (ICTAC)","6 July 2016"
Publications/duret.16.atva,duret.16.atva,"Alexandre Duret-Lutz,Fabrice Kordon,Denis Poitrenaud,Etienne Renault","Heuristics for Checking Liveness Properties with Partial Order Reductions","Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16)","17 June 2016"
Publications/duret.16.atva2,duret.16.atva2,"Alexandre Duret-Lutz,Alexandre Lewkowicz,Amaury Fauchille,Thibaud Michaud,Etienne Renault,Laurent Xu","Spot 2.0 — a framework for LTL and ω-automata manipulation","Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16)","17 June 2016"
Publications/morel.16.embc,morel.16.embc,"Baptiste Morel,Yongchao Xu,Alessio Virzi,Thierry Géraud,Catherine Adamsbaum,Isabelle Bloch","A Challenging Issue: Detection of White Matter Hyperintensities in Neonatal Brain MRI","Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society","20 May 2016"
Publications/demaille.16.ciaa,demaille.16.ciaa,"Akim Demaille","Derived-Term Automata of Multitape Rational Expressions","Proceedings of Implementation and Application of Automata21st International Conference (CIAA'16)","26 April 2016"
Publications/cavallaro.16.igarss,cavallaro.16.igarss,"Gabriele Cavallaro,Mauro Dalla Mura,Edwin Carlinet,Thierry Géraud,Nicola Falco,Jón Atli Benediktsson","Region-Based Classification of Remote Sensing Images with the Morphological Tree of Shapes","Proceedings of the IEEE International Geoscience and Remote Sensing Symposium (IGARSS)","12 April 2016"
Publications/newton.16.els,newton.16.els,"Jim Newton,Akim Demaille,Didier Verna","Type-Checking of Heterogeneous Sequences in Common Lisp","European Lisp Symposium","25 March 2016"
Publications/calarasanu.16.visapp,calarasanu.16.visapp,"Stefania Calarasanu,Séverine Dubuisson,Jonathan Fabrizio","Towards the rectification of highly distorted texts","Proceedings of the 11th International Conference on Computer Vision Theory and Applications (VISAPP)","1 February 2016"
Publications/baarir.15.lpar,baarir.15.lpar,"Souheib Baarir,Alexandre Duret-Lutz","SAT-based Minimization of Deterministic ω-Automata","Proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'15)","1 September 2015"
Publications/calarasanu.15.icdar,calarasanu.15.icdar,"Stefania Calarasanu,Jonathan Fabrizio,Séverine Dubuisson","Using histogram representation and Earth Mover's Distance as an evaluation tool for text detection","Proceedings of the 13th IAPR International Conference on Document Analysis and Recognition (ICDAR)","1 August 2015"
Publications/carlinet.15.ipta,carlinet.15.ipta,"Edwin Carlinet,Thierry Géraud","Morphological Object Picking Based on the Color Tree of Shapes","Proceedings of 5th International Conference on Image Processing Theory, Tools and Applications (IPTA'15)","29 June 2015"
Publications/carlinet.15.gretsi,carlinet.15.gretsi,"Edwin Carlinet,Thierry Géraud","Une approche morphologique de segmentation interactive avec l'arbre des formes couleur","Actes du 15e Colloque GRETSI","16 June 2015"
Publications/blahoudek.15.spin,blahoudek.15.spin,"František Blahoudek,Alexandre Duret-Lutz,Vojtčech Rujbr,Jan Strejček","On Refinement of Büchi Automata for Explicit Model Checking","Proceedings of the 22th International SPIN Symposium on Model Checking of Software (SPIN'15)","15 June 2015"
Publications/michaud.15.spin,michaud.15.spin,"Thibaud Michaud,Alexandre Duret-Lutz","Practical Stutter-Invariance Checks for ω-Regular Languages","Proceedings of the 22th International SPIN Symposium on Model Checking of Software (SPIN'15)","15 June 2015"
Publications/bensalem.15.acsd,bensalem.15.acsd,"Ala Eddine Ben Salem,Mohamed Graiet","Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata","Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD'15)","19 May 2015"
Publications/bensalem.15.forte,bensalem.15.forte,"Ala Eddine Ben Salem","Extending Testing Automata to All LTL","Proceedings of the 35th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'15)","19 May 2015"
Publications/boutry.15.icip,boutry.15.icip,"Nicolas Boutry,Thierry Géraud,Laurent Najman","How to Make nD Images Well-Composed Without Interpolation","Proceedings of the IEEE International Conference on Image Processing (ICIP)","14 May 2015"
Publications/babiak.15.cav,babiak.15.cav,"Tomáš Babiak,František Blahoudek,Alexandre Duret-Lutz,Joachim Klein,Jan Kv retínský,David Müller,David Parker,Jan Strejček","The Hanoi Omega-Automata Format","Proceedings of the 27th International Conference on Computer Aided Verification (CAV'15)","27 April 2015"
Publications/boutry.15.ismm,boutry.15.ismm,"Nicolas Boutry,Thierry Géraud,Laurent Najman","How to Make nD Functions Digitally Well-Composed in a Self-Dual Way","Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM)","7 April 2015"
Publications/carlinet.15.ismm,carlinet.15.ismm,"Edwin Carlinet,Thierry Géraud","A Color Tree of Shapes with Illustrations on FilteringSimplification, and Segmentation","Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM)","7 April 2015"
Publications/geraud.15.ismm,geraud.15.ismm,"Thierry Géraud,Edwin Carlinet,Sébastien Crozet","Self-Duality and Digital Topology: Links Between the Morphological Tree of Shapes and Well-Composed Gray-Level Images","Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM)","7 April 2015"
Publications/xu.15.ismm,xu.15.ismm,"Yongchao Xu,Edwin Carlinet,Thierry Géraud,Laurent Najman","Efficient Computation of Attributes and Saliency Maps on Tree-Based Image Representations","Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM)","7 April 2015"
Publications/bensalem.15.lata,bensalem.15.lata,"Ala Eddine Ben Salem","Single-pass Testing Automata for LTL Model Checking","Proceedings of the 9th International Conference on Language and Automata Theory and Applications (LATA'15)","1 March 2015"
Publications/dubuisson.15.visapp,dubuisson.15.visapp,"Séverine Dubuisson,Myriam Robert-Seidowsky,Jonathan Fabrizio","A self-adaptive likelihood function for tracking with particle filter","Proceedings of the 10th International Conference on Computer Vision Theory and Applications (VISAPP)","1 March 2015"
Publications/robert-seidowsky.15.visapp,robert-seidowsky.15.visapp,"Myriam Robert-Seidowsky,Jonathan Fabrizio,Séverine Dubuisson","TextTrail: A Robust Text Tracking Algorithm In Wild Environments","Proceedings of the 10th International Conference on Computer Vision Theory and Applications (VISAPP)","1 March 2015"
Publications/renault.15.tacas,renault.15.tacas,"Etienne Renault,Alexandre Duret-Lutz,Fabrice Kordon,Denis Poitrenaud","Parallel Explicit Model Checking for Generalized Büchi Automata","Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'15)","13 January 2015"
Publications/verna.15.cop,verna.15.cop,"Didier Verna,François Ripault","Context-Oriented Image Processing","Context-Oriented Programming Workshop","1 January 2015"
Publications/levillain.14.ciarp,levillain.14.ciarp,"Roland Levillain,Thierry Géraud,Laurent Najman,Edwin Carlinet","Practical Genericity: Writing Image Processing Algorithms Both Reusable and Efficient","Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications – Proceedings of the 19th Iberoamerican Congress on Pattern Recognition (CIARP)","10 September 2014"
Publications/widynski.14.ius,widynski.14.ius,"Nicolas Widynski,Thierry Géraud,Damien Garcia","Speckle Spot Detection in Ultrasound Images: Application to Speckle Reduction and Speckle Tracking","Proceedings of the IEEE International Ultrasonics Symposium (IUS)","10 September 2014"
Publications/xu.14.rfia,xu.14.rfia,"Yongchao Xu,Thierry Géraud,Laurent Najman","Espaces des formes basés sur des arbres : définition et applications en traitement d'images et vision par ordinateur","Actes du 19ème Congrès National sur Reconnaissance des Formes et l'Intelligence Artificielle (RFIA)","1 July 2014"
Publications/blahoudek.14.spin,blahoudek.14.spin,"František Blahoudek,Alexandre Duret-Lutz,Mojmír Křetínský,Jan Strejček","Is There a Best Büchi Automaton for Explicit Model Checking?","Proceedings of the 21th International SPIN Symposium on Model Checking of Software (SPIN'14)","16 June 2014"
Publications/dehak.14.odyssey,dehak.14.odyssey,"Najim Dehak,O Plchot,M H Bahari,L Burget,H Van hamme,Réda Dehak","GMM Weights Adaptation Based on Subspace Approaches for Speaker Verification","Odyssey 2014, The Speaker and Language Recognition Workshop","16 June 2014"
Publications/geraud.14.icip,geraud.14.icip,"Thierry Géraud","A Morphological Method for Music Score Staff Removal","Proceedings of the 21st International Conference on Image Processing (ICIP)","3 June 2014"
Publications/boutry.14.dgci,boutry.14.dgci,"Nicolas Boutry,Thierry Géraud,Laurent Najman","On Making nD Images Well-Composed by a Self-Dual Local Interpolation","Proceedings of the 18th International Conference on Discrete Geometry for Computer Imagery (DGCI)","28 May 2014"
Publications/crozet.14.icip,crozet.14.icip,"Sébastien Crozet,Thierry Géraud","A First Parallel Algorithm to Compute the Morphological Tree of Shapes of nD Images","Proceedings of the 21st International Conference on Image Processing (ICIP)","26 May 2014"
Publications/xu.14.icip,xu.14.icip,"Yongchao Xu,Edwin Carlinet,Thierry Géraud,Laurent Najman","Meaningful disjoint level lines selection","Proceedings of the 21st International Conference on Image Processing (ICIP)","26 May 2014"
Publications/carlinet.14.icip,carlinet.14.icip,"Edwin Carlinet,Thierry Géraud","Getting a morphological Tree of Shapes for Multivariate Images: Paths, Traps and Pitfalls","Proceedings of the 21st International Conference on Image Processing (ICIP)","26 May 2014"
Publications/fabrizio.14.icip,fabrizio.14.icip,"Jonathan Fabrizio","A precise skew estimation algorithm for document images using KNN clustering and Fourier transform","Proceedings of the 21st International Conference on Image Processing (ICIP)","26 May 2014"