Semantic search
No value
- A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams (News year 2018, Has title A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams, Published in ACM Transactions on Computational Logic)
- Weakly Well-Composed Cell Complexes over nD Pictures (News year 2018, Has title Weakly Well-Composed Cell Complexes over nD Pictures, Published in Information Sciences)
- Improving Parallel State-Space Exploration Using Genetic Algorithms (News year 2018, Has title Improving Parallel State-Space Exploration Using Genetic Algorithms, Published in Proceedings of the 12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECOS'18))
- Reactive Synthesis from LTL Specification with Spot (News year 2018, Has title Reactive Synthesis from LTL Specification with Spot, Published in Proceedings of the 7th Workshop on Synthesis, SYNT@CAV 2018)
- A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers (News year 2018, Has title A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers, Published in 25th IEEE Symposium on Computer Arithmetic)
- The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm (News year 2018, Has title The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm, Published in Proceedings of the 24th IEEE International Conference on Image Processing (ICIP))
- Real-Time Document Detection in Smartphone Videos (News year 2018, Has title Real-Time Document Detection in Smartphone Videos, Published in Proceedings of the 24th IEEE International Conference on Image Processing (ICIP))
- Un algorithme de complexité linéaire pour le calcul de l'arbre des formes (News year 2018, Has title Un algorithme de complexité linéaire pour le calcul de l'arbre des formes, Published in Actes du congrès Reconnaissance des Formes, ImageApprentissage et Perception (RFIAP))
- Segmentation des hyperintensités de la matière blanche en quelques secondes à l'aide d'un réseau de neurones convolutif et de transfert d'apprentissage (News year 2018, Has title Segmentation des hyperintensités de la matière blanche en quelques secondes à l'aide d'un réseau de neurones convolutif et de transfert d'apprentissage, Published in Actes du congrès Reconnaissance des Formes, ImageApprentissage et Perception (RFIAP), session spéciale “Deep Learning, deep in France”)
- Parallel Model Checking Algorithms for Linear-Time Temporal Logic (News year 2018, Has title Parallel Model Checking Algorithms for Linear-Time Temporal Logic, Published in Handbook of Parallel Constraint Reasoning)
- Approaches in Typecase Optimization (News year 2018, Has title Approaches in Typecase Optimization, Published in European Lisp Symposium)
- Parallel Computation of Component Trees on Distributed Memory Machines (News year 2018, Has title Parallel Computation of Component Trees on Distributed Memory Machines, Published in IEEE Transactions on Parallel and Distributed Systems)
- Method Combinators (News year 2018, Has title Method Combinators, Published in 11th European Lisp Symposium)
- The Challenge of Cerebral Magnetic Resonance Imaging in Neonates: A New Method using Mathematical Morphology for the Segmentation of Structures Including Diffuse Excessive High Signal Intensities (News year 2018, Has title The Challenge of Cerebral Magnetic Resonance Imaging in Neonates: A New Method using Mathematical Morphology for the Segmentation of Structures Including Diffuse Excessive High Signal Intensities, Published in Medical Image Analysis)
- White Matter Hyperintensities Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning (News year 2018, Has title White Matter Hyperintensities Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning, Published in Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries— 3rd International WorkshopBrainLes 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14 2017, Revised Selected Papers)
- Lisp, Jazz, Aikido (News year 2018, Has title Lisp, Jazz, Aikido, Published in The Art, Science and Engineering of Programming Journal)
- Saliency-Based Detection of Identity Documents Captured by Smartphones (News year 2018, Has title Saliency-Based Detection of Identity Documents Captured by Smartphones, Published in Proceedings of the IAPR International Workshop on Document Analysis Systems (DAS))
- A first step toward a fair comparison of evaluation protocols for text detection algorithms (News year 2018, Has title A first step toward a fair comparison of evaluation protocols for text detection algorithms, Published in Proceedings of the IAPR International Workshop on Document Analysis Systems (DAS))
- CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving (News year 2018, Has title CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving, Published in Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'18))
- Derived-Term Automata of Multitape Expressions with Composition (News year 2017, Has title Derived-Term Automata of Multitape Expressions with Composition, Published in Scientific Annals of Computer Science)
- Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis (News year 2017, Has title Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis, Published in Comprehensive Remote Sensing, 1st Edition)
- Extraction of Ancient Map Contents Using Trees of Connected Components (News year 2017, Has title Extraction of Ancient Map Contents Using Trees of Connected Components, Published in Proceedings of the 12th IAPR International Workshop on Graphics Recognition (GREC))
- A Tutorial on Well-Composedness (News year 2017, Has title A Tutorial on Well-Composedness, Published in Journal of Mathematical Imaging and Vision)
- SmartDoc 2017 Video Capture: Mobile Document Acquisition in Video Mode (News year 2017, Has title SmartDoc 2017 Video Capture: Mobile Document Acquisition in Video Mode, Published in Proceedings of the 1st International Workshop on Open Services and Tools for Document Analysis (ICDAR-OST))
- Derived-Term Automata of Weighted Rational Expressions with Quotient Operators (News year 2017, Has title Derived-Term Automata of Weighted Rational Expressions with Quotient Operators, Published in Proceedings of the Thirteenth International Colloquium on Theoretical Aspects of Computing (ICTAC))
- Benchmarking Keypoint Filtering Approaches for Document Image Matching (News year 2017, Has title Benchmarking Keypoint Filtering Approaches for Document Image Matching, Published in Proceedings of the 14th International Conference on Document Analysis and Recognition (ICDAR))
- The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results (News year 2017, Has title The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results, Published in Proceedings Sixth Workshop on Synthesis)
- PaInleSS: a Framework for Parallel SAT Solving (News year 2017, Has title PaInleSS: a Framework for Parallel SAT Solving, Published in Proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing (SAT'17))
- Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness (News year 2017, Has title Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness, Published in Multimedia Tools and Applications)
- Caractérisation des zones de mouvement périodiques pour applications bio-médicales (News year 2017, Has title Caractérisation des zones de mouvement périodiques pour applications bio-médicales, Published in Actes du 26e Colloque GRETSI)
- Segmentation d'IRM de cerveaux de nouveau-nés en quelques secondes à l'aide d'un réseau de neurones convolutif pseudo-3D et de transfert d'apprentissage (News year 2017, Has title Segmentation d'IRM de cerveaux de nouveau-nés en quelques secondes à l'aide d'un réseau de neurones convolutif pseudo-3D et de transfert d'apprentissage, Published in Actes du 26e Colloque GRETSI)
- From Neonatal to Adult Brain MR Image Segmentation in a Few Seconds Using 3D-Like Fully Convolutional Network and Transfer Learning (News year 2017, Has title From Neonatal to Adult Brain MR Image Segmentation in a Few Seconds Using 3D-Like Fully Convolutional Network and Transfer Learning, Published in Proceedings of the 23rd IEEE International Conference on Image Processing (ICIP))
- Parallel Learning Portfolio-Based Solvers (News year 2017, Has title Parallel Learning Portfolio-Based Solvers, Published in Proceedings of the International Conference on Computational Science (ICCS))
- Well-Composedness in Alexandrov spaces implies Digital Well-Composedness in Z^n (News year 2017, Has title Well-Composedness in Alexandrov spaces implies Digital Well-Composedness in Z^n, Published in Discrete Geometry for Computer Imagery – Proceedings of the 20th IAPR International Conference on Discrete Geometry for Computer Imagery (DGCI))
- Explicit State Model Checking with Generalized Büchi and Rabin Automata (News year 2017, Has title Explicit State Model Checking with Generalized Büchi and Rabin Automata, Published in Proceedings of the 24th International SPIN Symposium on Model Checking of Software (SPIN'17))
- Object tracking by hierarchical decomposition of hyperspectral video sequences: Application to chemical gas plume tracking (News year 2017, Has title Object tracking by hierarchical decomposition of hyperspectral video sequences: Application to chemical gas plume tracking, Published in IEEE Transactions on Geoscience and Remote Sensing)
- Seminator: A Tool for Semi-Determinization of Omega-Automata (News year 2017, Has title Seminator: A Tool for Semi-Determinization of Omega-Automata, Published in Proceedings of the 21th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'17))
- La pseudo-distance du dahu (News year 2017, Has title La pseudo-distance du dahu, Published in Actes d'ORASIS)
- Parallel Satisfiability Solver Based on Hybrid Partitioning Method (News year 2017, Has title Parallel Satisfiability Solver Based on Hybrid Partitioning Method, Published in Proceedings of the 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP))
- Introducing the Dahu Pseudo-Distance (News year 2017, Has title Introducing the Dahu Pseudo-Distance, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM))
- Morphological Hierarchical Image Decomposition Based on Laplacian 0-Crossings (News year 2017, Has title Morphological Hierarchical Image Decomposition Based on Laplacian 0-Crossings, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM))
- Morphological Analysis of Brownian Motion for Physical Measurements (News year 2017, Has title Morphological Analysis of Brownian Motion for Physical Measurements, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM))
- Periodic Area-of-Motion characterization for Bio-Medical applications (News year 2017, Has title Periodic Area-of-Motion characterization for Bio-Medical applications, Published in Proceedings of the IEEE International Symposium on Bio-Medical Imaging (ISBI))
- Programmatic Manipulation of Common Lisp Type Specifiers (News year 2017, Has title Programmatic Manipulation of Common Lisp Type Specifiers, Published in European Lisp Symposium)
- Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set (News year 2017, Has title Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set)
- Contributions to LTL and ω-Automata for Model Checking (News year 2017, Has title Contributions to LTL and ω-Automata for Model Checking)
- 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)
- A Study of Well-Composedness in n-D (News year 2016, Has title A Study of Well-Composedness in n-D)
- Estimating the Number of Endmembers to Use in Spectral Unmixing of Hyperspectral Data with Collaborative Sparsity (News year 2016, Has title Estimating the Number of Endmembers to Use in Spectral Unmixing of Hyperspectral Data with Collaborative Sparsity, Published in Proceedings of the 13th International Conference on Latent Variable Analysis and Signal Separation (LVA-ICA))
- Monads in Common Lisp (News year 2016, Has title Monads in Common Lisp)
- Finding Maximal Common Joins in a DAG (News year 2016, Has title Finding Maximal Common Joins in a DAG)
- 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))
- 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))
- 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))
- 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)
- 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)
- 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)
- 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)
- 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)
- 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))
- 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)
- A Tree of Shapes for Multivariate Images (News year 2015, Has title A Tree of Shapes for Multivariate Images)
- 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))
- 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)
- 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))
- 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))
- 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))
- 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)
- 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))
- 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))
- 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)
- 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))
- 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))
- 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))
- 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))
- 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))
- 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))
- 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))
- 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 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))
- 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))
- 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))
- Context-Oriented Image Processing (News year 2015, Has title Context-Oriented Image Processing, Published in Context-Oriented Programming Workshop)
- 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)
- 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)
- Improving the Model Checking of Stutter-Invariant LTL Properties (News year 2014, Has title Improving the Model Checking of Stutter-Invariant LTL Properties)
- 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))
- 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))
- 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))
- 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)
- 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))
- 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)
- 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))