Semantic search
No value
- The MIT Lincoln Laboratory 2016 Speaker Recognition System (News year 2016, Has title The MIT Lincoln Laboratory 2016 Speaker Recognition System, Published in NIST Speaker Recognition Evaluation 2016)
- From text detection to text segmentation: a unified evaluation scheme (News year 2016, Has title From text detection to text segmentation: a unified evaluation scheme, Published in Proceedings of the 2nd International Workshop on Robust Reading Conference (IWRR-ECCV))
- Morphology-Based Hierarchical Representation with Application to Text Segmentation in Natural Images (News year 2016, Has title Morphology-Based Hierarchical Representation with Application to Text Segmentation in Natural Images, Published in Proceedings of the 23st International Conference on Pattern Recognition (ICPR))
- Derived-term Automata for Extended Weighted Rational Expressions (News year 2016, Has title Derived-term Automata for Extended Weighted Rational Expressions, Published in Proceedings of the Thirteenth International Colloquium on Theoretical Aspects of Computing (ICTAC))
- Spot 2.0 — a framework for LTL and ω-automata manipulation (News year 2016, Has title Spot 2.0 — a framework for LTL and ω-automata manipulation, Published in Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16))
- Heuristics for Checking Liveness Properties with Partial Order Reductions (News year 2016, Has title Heuristics for Checking Liveness Properties with Partial Order Reductions, Published in Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16))
- Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection (News year 2016, Has title Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection, Published in Pattern Recognition Letters)
- A Challenging Issue: Detection of White Matter Hyperintensities in Neonatal Brain MRI (News year 2016, Has title A Challenging Issue: Detection of White Matter Hyperintensities in Neonatal Brain MRI, Published in Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society)
- Derived-Term Automata of Multitape Rational Expressions (News year 2016, Has title Derived-Term Automata of Multitape Rational Expressions, Published in Proceedings of Implementation and Application of Automata21st International Conference (CIAA'16))
- Region-Based Classification of Remote Sensing Images with the Morphological Tree of Shapes (News year 2016, Has title Region-Based Classification of Remote Sensing Images with the Morphological Tree of Shapes, Published in Proceedings of the IEEE International Geoscience and Remote Sensing Symposium (IGARSS))
- Hierarchical Segmentation Using Tree-Based Shape Spaces (News year 2016, Has title Hierarchical Segmentation Using Tree-Based Shape Spaces, Published in IEEE Transactions on Pattern Analysis and Machine Intelligence)
- Type-Checking of Heterogeneous Sequences in Common Lisp (News year 2016, Has title Type-Checking of Heterogeneous Sequences in Common Lisp, Published in European Lisp Symposium)
- TextCatcher: A method to detect curved and challenging text in natural scenes (News year 2016, Has title TextCatcher: A method to detect curved and challenging text in natural scenes, Published in International Journal on Document Analysis and Recognition)
- Efficient Dynamic Type Checking of Heterogeneous Sequences (News year 2016, Has title Efficient Dynamic Type Checking of Heterogeneous Sequences)
- What is a good evaluation protocol for text localization systems? Concerns, arguments, comparisons and solutions (News year 2016, Has title What is a good evaluation protocol for text localization systems? Concerns, arguments, comparisons and solutions, Published in Image and Vision Computing)
- Towards the rectification of highly distorted texts (News year 2016, Has title Towards the rectification of highly distorted texts, Published in Proceedings of the 11th International Conference on Computer Vision Theory and Applications (VISAPP))
- SAT-based Minimization of Deterministic ω-Automata (News year 2015, Has title SAT-based Minimization of Deterministic ω-Automata, Published in Proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'15))
- Variations on Parallel Explicit Model Checking for Generalized Büchi Automata (News year 2015, Has title Variations on Parallel Explicit Model Checking for Generalized Büchi Automata, Published in International Journal on Software Tools for Technology Transfer (STTT))
- A Tree of Shapes for Multivariate Images (News year 2015, Has title A Tree of Shapes for Multivariate Images)
- Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms (News year 2015, Has title Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms)
- Connected Filtering on Tree-Based Shape-Spaces (News year 2015, Has title Connected Filtering on Tree-Based Shape-Spaces, Published in IEEE Transactions on Pattern Analysis and Machine Intelligence)
- Context-Oriented Image Processing (News year 2015, Has title Context-Oriented Image Processing, Published in Context-Oriented Programming Workshop)
- Using histogram representation and Earth Mover's Distance as an evaluation tool for text detection (News year 2015, Has title Using histogram representation and Earth Mover's Distance as an evaluation tool for text detection, Published in Proceedings of the 13th IAPR International Conference on Document Analysis and Recognition (ICDAR))
- Une approche morphologique de segmentation interactive avec l'arbre des formes couleur (News year 2015, Has title Une approche morphologique de segmentation interactive avec l'arbre des formes couleur, Published in Actes du 15e Colloque GRETSI)
- Morphological Object Picking Based on the Color Tree of Shapes (News year 2015, Has title Morphological Object Picking Based on the Color Tree of Shapes, Published in Proceedings of 5th International Conference on Image Processing Theory, Tools and Applications (IPTA'15))
- Practical Stutter-Invariance Checks for ω-Regular Languages (News year 2015, Has title Practical Stutter-Invariance Checks for ω-Regular Languages, Published in Proceedings of the 22th International SPIN Symposium on Model Checking of Software (SPIN'15))
- On Refinement of Büchi Automata for Explicit Model Checking (News year 2015, Has title On Refinement of Büchi Automata for Explicit Model Checking, Published in Proceedings of the 22th International SPIN Symposium on Model Checking of Software (SPIN'15))
- Extending Testing Automata to All LTL (News year 2015, Has title Extending Testing Automata to All LTL, Published in Proceedings of the 35th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'15))
- Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata (News year 2015, Has title Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata, Published in Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD'15))
- How to Make nD Images Well-Composed Without Interpolation (News year 2015, Has title How to Make nD Images Well-Composed Without Interpolation, Published in Proceedings of the IEEE International Conference on Image Processing (ICIP))
- The Hanoi Omega-Automata Format (News year 2015, Has title The Hanoi Omega-Automata Format, Published in Proceedings of the 27th International Conference on Computer Aided Verification (CAV'15))
- MToS: A Tree of Shapes for Multivariate Images (News year 2015, Has title MToS: A Tree of Shapes for Multivariate Images, Published in IEEE Transactions on Image Processing)
- Efficient Computation of Attributes and Saliency Maps on Tree-Based Image Representations (News year 2015, Has title Efficient Computation of Attributes and Saliency Maps on Tree-Based Image Representations, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM))
- Self-Duality and Digital Topology: Links Between the Morphological Tree of Shapes and Well-Composed Gray-Level Images (News year 2015, Has title Self-Duality and Digital Topology: Links Between the Morphological Tree of Shapes and Well-Composed Gray-Level Images, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM))
- A Color Tree of Shapes with Illustrations on FilteringSimplification, and Segmentation (News year 2015, Has title A Color Tree of Shapes with Illustrations on FilteringSimplification, and Segmentation, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM))
- How to Make nD Functions Digitally Well-Composed in a Self-Dual Way (News year 2015, Has title How to Make nD Functions Digitally Well-Composed in a Self-Dual Way, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM))
- Parallel Explicit Model Checking for Generalized Büchi Automata (News year 2015, Has title Parallel Explicit Model Checking for Generalized Büchi Automata, Published in Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'15))
- TextTrail: A Robust Text Tracking Algorithm In Wild Environments (News year 2015, Has title TextTrail: A Robust Text Tracking Algorithm In Wild Environments, Published in Proceedings of the 10th International Conference on Computer Vision Theory and Applications (VISAPP))
- A Self-Adaptive Likelihood Function for Tracking with Particle Filter (News year 2015, Has title A Self-Adaptive Likelihood Function for Tracking with Particle Filter, Published in Proceedings of the 10th International Conference on Computer Vision Theory and Applications (VISAPP))
- Single-pass Testing Automata for LTL Model Checking (News year 2015, Has title Single-pass Testing Automata for LTL Model Checking, Published in Proceedings of the 9th International Conference on Language and Automata Theory and Applications (LATA'15))
- A Morphological Method for Music Score Staff Removal (News year 2014, Has title A Morphological Method for Music Score Staff Removal, Published in Proceedings of the 21st International Conference on Image Processing (ICIP))
- Speckle Spot Detection in Ultrasound Images: Application to Speckle Reduction and Speckle Tracking (News year 2014, Has title Speckle Spot Detection in Ultrasound Images: Application to Speckle Reduction and Speckle Tracking, Published in Proceedings of the IEEE International Ultrasonics Symposium (IUS))
- Practical Genericity: Writing Image Processing Algorithms Both Reusable and Efficient (News year 2014, Has title Practical Genericity: Writing Image Processing Algorithms Both Reusable and Efficient, Published in Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications – Proceedings of the 19th Iberoamerican Congress on Pattern Recognition (CIARP))
- Improving the Model Checking of Stutter-Invariant LTL Properties (News year 2014, Has title Improving the Model Checking of Stutter-Invariant LTL Properties)
- Mechanizing the Minimization of Deterministic Generalized Büchi Automata (News year 2014, Has title Mechanizing the Minimization of Deterministic Generalized Büchi Automata, Published in Proceedings of the 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'14))
- Contribution aux tests de vacuité pour le model checking explicite (News year 2014, Has title Contribution aux tests de vacuité pour le model checking explicite)
- Espaces des formes basés sur des arbres : définition et applications en traitement d'images et vision par ordinateur (News year 2014, Has title Espaces des formes basés sur des arbres : définition et applications en traitement d'images et vision par ordinateur, Published in Actes du 19ème Congrès National sur Reconnaissance des Formes et l'Intelligence Artificielle (RFIA))
- Tree-Based Morse Regions: A Topological Approach to Local Feature Detection (News year 2014, Has title Tree-Based Morse Regions: A Topological Approach to Local Feature Detection, Published in IEEE Transactions on Image Processing)
- On Making nD Images Well-Composed by a Self-Dual Local Interpolation (News year 2014, Has title On Making nD Images Well-Composed by a Self-Dual Local Interpolation, Published in Proceedings of the 18th International Conference on Discrete Geometry for Computer Imagery (DGCI))
- A Comparative Review of Component Tree Computation Algorithms (News year 2014, Has title A Comparative Review of Component Tree Computation Algorithms, Published in IEEE Transactions on Image Processing)
- GMM Weights Adaptation Based on Subspace Approaches for Speaker Verification (News year 2014, Has title GMM Weights Adaptation Based on Subspace Approaches for Speaker Verification, Published in Odyssey 2014, The Speaker and Language Recognition Workshop)
- Is There a Best Büchi Automaton for Explicit Model Checking? (News year 2014, Has title Is There a Best Büchi Automaton for Explicit Model Checking?, Published in Proceedings of the 21th International SPIN Symposium on Model Checking of Software (SPIN'14))
- Meaningful disjoint level lines selection (News year 2014, Has title Meaningful disjoint level lines selection, Published in Proceedings of the 21st International Conference on Image Processing (ICIP))
- A precise skew estimation algorithm for document images using KNN clustering and Fourier transform (News year 2014, Has title A precise skew estimation algorithm for document images using KNN clustering and Fourier transform, Published in Proceedings of the 21st International Conference on Image Processing (ICIP))
- A Type System for Weighted Automata and Rational Expressions (News year 2014, Has title A Type System for Weighted Automata and Rational Expressions, Published in Proceedings of Implementation and Application of Automata19th International Conference (CIAA'14))
- A Morphological Tree of Shapes for Color Images (News year 2014, Has title A Morphological Tree of Shapes for Color Images, Published in Proceedings of the 22nd International Conference on Pattern Recognition (ICPR))
- LTL Translation Improvements in Spot 1.0 (News year 2014, Has title LTL Translation Improvements in Spot 1.0, Published in International Journal on Critical Computer-Based Systems)
- A First Parallel Algorithm to Compute the Morphological Tree of Shapes of nD Images (News year 2014, Has title A First Parallel Algorithm to Compute the Morphological Tree of Shapes of nD Images, Published in Proceedings of the 21st International Conference on Image Processing (ICIP))
- Getting a morphological Tree of Shapes for Multivariate Images: Paths, Traps and Pitfalls (News year 2014, Has title Getting a morphological Tree of Shapes for Multivariate Images: Paths, Traps and Pitfalls, Published in Proceedings of the 21st International Conference on Image Processing (ICIP))
- Symbolic Model Checking of Stutter Invariant Properties Using Generalized Testing Automata (News year 2014, Has title Symbolic Model Checking of Stutter Invariant Properties Using Generalized Testing Automata, Published in Proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'14))
- TiCL: the Prototype (Star TeX: the Next GenerationSeason 2) (News year 2013, Has title TiCL: the Prototype (Star TeX: the Next GenerationSeason 2), Published in TUGboat)
- The incredible tale of the author who didn't want to do the publisher's job (News year 2013, Has title The incredible tale of the author who didn't want to do the publisher's job, Published in TUGboat)
- Three SCC-based Emptiness Checks for Generalized Büchi Automata (News year 2013, Has title Three SCC-based Emptiness Checks for Generalized Büchi Automata, Published in Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'13))
- Tree-based shape spaces: Definition and applications in image processing and computer vision (News year 2013, Has title Tree-based shape spaces: Definition and applications in image processing and computer vision)
- Resources for the DAS 2014 submission (News year 2013, Has title Planting, Growing and Pruning Trees: Connected Filters Applied to Document Image Analysis, Published in Proceedings of the 11th IAPR International Workshop on Document Analysis Systems (DAS))
- A comparison of many max-tree computation algorithms (News year 2013, Has title A comparison of many max-tree computation algorithms, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM))
- Compositional Approach to Suspension and Other Improvements to LTL Translation (News year 2013, Has title Compositional Approach to Suspension and Other Improvements to LTL Translation, Published in Proceedings of the 20th International SPIN Symposium on Model Checking of Software (SPIN'13))
- Unsupervised Methods for Speaker Diarization: An Integrated and Iterative Approach (News year 2013, Has title Unsupervised Methods for Speaker Diarization: An Integrated and Iterative Approach, Published in IEEE Transactions on Audio, Speech, and Language Processing)
- Salient Level Lines Selection Using the Mumford-Shah Functional (News year 2013, Has title Salient Level Lines Selection Using the Mumford-Shah Functional, Published in Proceedings of the 20th International Conference on Image Processing (ICIP))
- Two applications of shape-based morphology: blood vessels segmentation and a generalization of constrained connectivity (News year 2013, Has title Two applications of shape-based morphology: blood vessels segmentation and a generalization of constrained connectivity, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM))
- Discrete set-valued continuity and interpolation (News year 2013, Has title Discrete set-valued continuity and interpolation, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM))
- A Quasi-Linear Algorithm to Compute the Tree of Shapes of n-D Images (News year 2013, Has title A Quasi-Linear Algorithm to Compute the Tree of Shapes of n-D Images, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM))
- LTL Model Checking with Neco (News year 2013, Has title LTL Model Checking with Neco, Published in Proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13))
- Text detection in street level image (News year 2013, Has title Text detection in street level image, Published in Pattern Analysis and Applications)
- Manipulating LTL formulas using Spot 1.0 (News year 2013, Has title Manipulating LTL formulas using Spot 1.0, Published in Proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13))
- Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking (News year 2013, Has title Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking, Published in Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'13))
- Efficient Multiscale Sauvola's Binarization (News year 2013, Has title Efficient Multiscale Sauvola's Binarization, Published in International Journal of Document Analysis and Recognition (IJDAR))
- Implementation Concepts in Vaucanson 2 (News year 2013, Has title Implementation Concepts in Vaucanson 2, Published in Proceedings of Implementation and Application of Automata18th International Conference (CIAA'13))
- JSPP: Morphing C++ into JavaScript (News year 2012, Has title JSPP: Morphing C++ into JavaScript)
- MITLL 2012 Speaker Recognition Evaluation System Description (News year 2012, Has title MITLL 2012 Speaker Recognition Evaluation System Description, Published in NIST Speaker Recognition Evaluation)
- Model Checking using Generalized Testing Automata (News year 2012, Has title Model Checking using Generalized Testing Automata, Published in Transactions on Petri Nets and Other Models of Concurrency (ToPNoC VI))
- Star TeX : the Next Generation (News year 2012, Has title Star TeX : the Next Generation, Published in TUGboat)
- Extensible languages: blurring the distinction between DSLs and GPLs (News year 2012, Has title Extensible languages: blurring the distinction between DSLs and GPLs, Published in Formal and Practical Aspects of Domain-Specific Languages: Recent Developments)
- First Attempt at Boltzmann Machines for Speaker Recognition (News year 2012, Has title First Attempt at Boltzmann Machines for Speaker Recognition, Published in Odyssey Speaker and Language Recognition Workshop)
- Outil logiciel pour le traitement d'images: Bibliothèque, paradigmes, types et algorithmes (News year 2012, Has title Outil logiciel pour le traitement d'images: Bibliothèque, paradigmes, types et algorithmes)
- Motion compensation based on Tangent Distance prediction for video compression (News year 2012, Has title Motion compensation based on Tangent Distance prediction for video compression, Published in Signal Processing: Image Communication)
- Morphological Filtering in Shape Spaces : Applications using Tree-Based Image Representations (News year 2012, Has title Morphological Filtering in Shape Spaces : Applications using Tree-Based Image Representations, Published in Proceedings of the 21st International Conference on Pattern Recognition (ICPR))
- Context-Based Energy Estimator: Application to Object Segmentation on the Tree of Shapes (News year 2012, Has title Context-Based Energy Estimator: Application to Object Segmentation on the Tree of Shapes, Published in Proceedings of the 19th International Conference on Image Processing (ICIP))
- Generic Image Processing with Climb (News year 2012, Has title Generic Image Processing with Climb, Published in European Lisp Symposium)
- Writing Reusable Digital Topology Algorithms in a Generic Image Processing Framework (News year 2012, Has title Writing Reusable Digital Topology Algorithms in a Generic Image Processing Framework, Published in WADGMM 2010)
- Writing Reusable Digital Geometry Algorithms in a Generic Image Processing Framework (News year 2012, Has title Writing Reusable Digital Geometry Algorithms in a Generic Image Processing Framework, Published in Proceedings of the Workshop on Applications of Digital Geometry and Mathematical Morphology (WADGMM))
- Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them (News year 2011, Has title Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them, Published in Onward! 2011)
- A Channel-Blind System for Speaker Verification (News year 2011, Has title A Channel-Blind System for Speaker Verification, Published in International Conference on Acoustics, Speech and Signal Processing (ICASSP))
- Front-End Factor Analysis For Speaker Verification (News year 2011, Has title Front-End Factor Analysis For Speaker Verification, Published in IEEE Transactions on Audio, Speech, and Language Processing)
- Language Recognition via I-Vectors and Dimensionality Reduction (News year 2011, Has title Language Recognition via I-Vectors and Dimensionality Reduction, Published in INTERSPEECH 2011)
- Generalized Büchi Automata versus Testing Automata for Model Checking (News year 2011, Has title Generalized Büchi Automata versus Testing Automata for Model Checking, Published in Proceedings of the second International Workshop on Scalable and Usable Model Checking for Petri Net and other models of Concurrency (SUMO'11))
- Towards a Software Architecture for Generic Image Processing (News year 2011, Has title Towards a Software Architecture for Generic Image Processing)
- Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking (News year 2011, Has title Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking)
- Towards LaTeX Coding Standards (News year 2011, Has title Towards LaTeX Coding Standards, Published in TUGboat)
- Une approche générique du logiciel pour le traitement d'images préservant les performances (News year 2011, Has title Une approche générique du logiciel pour le traitement d'images préservant les performances, Published in Proceedings of the 23rd Symposium on Signal and Image Processing (GRETSI))