# Semantic search

Title | Authors | Published in | Date | |
---|---|---|---|---|

blahoudek.17.lpar | Seminator: A Tool for Semi-Determinization of Omega-Automata | František Blahoudek, Alexandre Duret-Lutz, Mikuláš Klokočka, Mojmír Křetínský, Jan Strejček | Proceedings of the 21th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-21) | 3 April 2017 |

carlinet.17.orasis | La pseudo-distance du dahu | Edwin Carlinet, Yongchao Xu, Nicolas Boutry, Thierry Géraud | Actes d'ORASIS | 21 March 2017 |

menouer.17.pdp | Parallel Satisfiability Solver Based on Hybrid Partitioning Method | Tarek Menouer, Souheib Baarir | Proceedings of the 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP) | 1 March 2017 |

geraud.17.ismm | Introducing the Dahu Pseudo-Distance | Thierry Géraud, Yongchao Xu, Edwin Carlinet, Nicolas Boutry | Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM) | 23 February 2017 |

puybareau.17.ismm | Morphological Analysis of Brownian Motion for Physical Measurements | Élodie Puybareau, Hugues Talbot, Noha Gaber, Tarik Bourouina | Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM) | 23 February 2017 |

huynh.17.ismm | Morphological Hierarchical Image Decomposition Based on Laplacian 0-Crossings | Lê Duy Huỳnh, Yongchao Xu, Thierry Géraud | Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM) | 23 February 2017 |

puybareau.17.isbi | Periodic Area-of-Motion characterization for Bio-Medical applications | Élodie Puybareau, Hugues Talbot, Laurent Najman | Proceedings of the IEEE International Symposium on Bio-Medical Imaging (ISBI) | 20 February 2017 |

newton.17.els | Programmatic Manipulation of Common Lisp Type Specifiers | Jim Newton, Didier Verna, Maximilien Colange | European Lisp Symposium | 6 February 2017 |

dehak.16.nistsre | The MIT Lincoln Laboratory 2016 speaker recognition system | Pedro A Torres-Carrasquillo, Frederick Richardson, Shahan Nercessian, Douglas Sturim, William Campbell, Youngjune Gwon, Swaroop Vattam, Réda Dehak, Harish Mallidi, Phani Sankar Nidadavolu, Ruizhi Li, Raghavendra Reddy Pappagari, Nanxin Chen, Najim Dehak, Ruben Zazo | NIST Speaker Recognition Evaluation 2016 | 12 December 2016 |

drumetz.17.lva-ica | Estimating the Number of Endmembers to Use in Spectral Unmixing of Hyperspectral Data with Collaborative Sparsity | Lucas Drumetz, Guillaume Tochon, Jocelyn Chanussot, Christian Jutten | Proceedings of the 13th International Conference on Latent Variable Analysis and Signal Separation (LVA-ICA) | 22 November 2016 |

calarasanu.16.iwrr | From text detection to text segmentation: a unified evaluation scheme | Stefania Calarasanu, Jonathan Fabrizio, Séverine Dubuisson | Proceedings of the 2nd International Workshop on Robust Reading Conference (IWRR-ECCV) | 1 October 2016 |

huynh.16.icpr | Morphology-Based Hierarchical Representation with Application to Text Segmentation in Natural Images | Lê Duy Huỳnh, Yongchao Xu, Thierry Géraud | Proceedings of the 23st International Conference on Pattern Recognition (ICPR) | 13 July 2016 |

demaille.16.ictac | Derived-term Automata for Extended Weighted Rational Expressions | Akim Demaille | Proceedings of the Thirteenth International Colloquium on Theoretical Aspects of Computing (ICTAC) | 6 July 2016 |

duret.16.atva2 | Spot 2.0 — a framework for LTL and ω-automata manipulation | Alexandre Duret-Lutz, Alexandre Lewkowicz, Amaury Fauchille, Thibaud Michaud, Etienne Renault, Laurent Xu | Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16) | 17 June 2016 |

duret.16.atva | Heuristics for Checking Liveness Properties with Partial Order Reductions | Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud, Etienne Renault | Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16) | 17 June 2016 |

morel.16.embc | A Challenging Issue: Detection of White Matter Hyperintensities in Neonatal Brain MRI | Baptiste Morel, Yongchao Xu, Alessio Virzi, Thierry Géraud, Catherine Adamsbaum, Isabelle Bloch | Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society | 20 May 2016 |

demaille.16.ciaa | Derived-Term Automata of Multitape Rational Expressions | Akim Demaille | Proceedings of Implementation and Application of Automata21st International Conference (CIAA'16) | 26 April 2016 |

cavallaro.16.igarss | Region-Based Classification of Remote Sensing Images with the Morphological Tree of Shapes | Gabriele Cavallaro, Mauro Dalla Mura, Edwin Carlinet, Thierry Géraud, Nicola Falco, Jón Atli Benediktsson | Proceedings of the IEEE International Geoscience and Remote Sensing Symposium (IGARSS) | 12 April 2016 |

newton.16.els | Type-Checking of Heterogeneous Sequences in Common Lisp | Jim Newton, Akim Demaille, Didier Verna | European Lisp Symposium | 25 March 2016 |

calarasanu.16.visapp | Towards the rectification of highly distorted texts | Stefania Calarasanu, Séverine Dubuisson, Jonathan Fabrizio | Proceedings of the 11th International Conference on Computer Vision Theory and Applications (VISAPP) | 1 February 2016 |

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 |

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 |

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 | 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 |

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 |

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 |

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 |

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 |

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 |

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 |

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 |