Semantic search
No value
- An Efficient Algorithm for Connected Attribute Thinnings and Thickenings (News year 2006, Has title An Efficient Algorithm for Connected Attribute Thinnings and Thickenings)
- An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1D (News year 2019, Has title An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1D)
- An Equivalence Relation between Morphological Dynamics and Persistent Homology in n-D (News year 2021, Has title An Equivalence Relation between Morphological Dynamics and Persistent Homology in n-D)
- An Experience Report on the Optimization of the Product Configuration System of Renault (News year 2023, Has title An Experience Report on the Optimization of the Product Configuration System of Renault)
- An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming (News year 2018, Has title An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming)
- An Innovative and Decentralized Identity Framework Based on Blockchain Technology (News year 2021, Has title An Innovative and Decentralized Identity Framework Based on Blockchain Technology)
- An XML format proposal for the description of weighted automata, transducers, and regular expressions (News year 2008, Has title An XML format proposal for the description of weighted automata, transducers, and regular expressions)
- An asynchronous architecture to manage communicationdisplay, and user interaction in distributed virtual environments (News year 2000, Has title An asynchronous architecture to manage communicationdisplay, and user interaction in distributed virtual environments)
- An efficient algorithm for attribute openings and closings (News year 2005, Has title An efficient algorithm for attribute openings and closings)
- 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)
- Anomaly Detection on Static and Dynamic Graphs using Graph Convolutional Neural Networks (News year 2022, Has title Anomaly Detection on Static and Dynamic Graphs using Graph Convolutional Neural Networks)
- Applying generic programming to image processing (News year 2001, Has title Applying generic programming to image processing)
- Approaches in Typecase Optimization (News year 2018, Has title Approaches in Typecase Optimization)
- Approximate Nash Equilibria for Multi-Player Games (News year 2008, Has title Approximate Nash Equilibria for Multi-Player Games)
- Approximate Probabilistic Model Checking for Programs (News year 2006, Has title Approximate Probabilistic Model Checking for Programs)
- Atlas-guided recognition of cerebral structures in MRI using fusion of fuzzy structural information (News year 1999, Has title Atlas-guided recognition of cerebral structures in MRI using fusion of fuzzy structural information)
- Attribute Grammars for Modular Disambiguation (News year 2006, Has title Attribute Grammars for Modular Disambiguation)
- 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)
- Automatically Guided Selection of a Set of Underwater Calibration Images (News year 2022, Has title Automatically Guided Selection of a Set of Underwater Calibration Images)
- Automation of Binary Analysis: From Open Source Collection to Threat Intelligence (News year 2021, Has title Automation of Binary Analysis: From Open Source Collection to Threat Intelligence)
- Beating C in Scientific Computing Applications (News year 2006, Has title Beating C in Scientific Computing Applications)
- Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge (News year 2019, Has title Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge)
- Benchmarking Keypoint Filtering Approaches for Document Image Matching (News year 2017, Has title Benchmarking Keypoint Filtering Approaches for Document Image Matching)
- Binary Methods Programming: the CLOS Perspective (News year 2009, Has title Binary Methods Programming: the CLOS Perspective)
- Binary Methods Programming: the CLOS Perspective (extended version) (News year 2008, Has title Binary Methods Programming: the CLOS Perspective (extended version))
- 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)
- Blockchain-Based Solution for Detecting and Preventing Fake Check Scams (News year 2021, Has title Blockchain-Based Solution for Detecting and Preventing Fake Check Scams)
- Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images (News year 2019, Has title Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images)
- Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation (News year 2009, Has title Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation)
- C-Transformers — A Framework to Write C Program Transformations (News year 2005, Has title C-Transformers — A Framework to Write C Program Transformations)
- CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving (News year 2018, Has title CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving)
- CLOS Efficiency: Instantiation (News year 2009, Has title CLOS Efficiency: Instantiation)
- CLOS solutions to binary methods (News year 2007, Has title CLOS solutions to binary methods)
- CLoX: Common Lisp objects for XEmacs (News year 2010, Has title CLoX: Common Lisp objects for XEmacs)
- 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)
- Catoids and Modal Convolution Algebras (News year 2023, Has title Catoids and Modal Convolution Algebras)
- Cepstral and Long-Term Features for Emotion Recognition (News year 2009, Has title Cepstral and Long-Term Features for Emotion Recognition)
- Classes, Styles, Conflicts: the Biological Realm of LaTeX (News year 2010, Has title Classes, Styles, Conflicts: the Biological Realm of LaTeX)
- Color image segmentation based on automatic morphological clustering (News year 2001, Has title Color image segmentation based on automatic morphological clustering)
- Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation (News year 2021, Has title Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation)
- 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)
- 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)
- Combining Parallel Emptiness Checks with Partial Order Reductions (News year 2019, Has title Combining Parallel Emptiness Checks with Partial Order Reductions)
- Community and LBD-based Clause Sharing Policy for Parallel SAT Solving (News year 2020, Has title Community and LBD-based Clause Sharing Policy for Parallel SAT Solving)
- Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map (News year 2022, Has title Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map)
- Comparison Between Factor Analysis and GMM Support Vector Machines for Speaker Verification (News year 2007, Has title Comparison Between Factor Analysis and GMM Support Vector Machines for Speaker Verification)
- Composants logiciels et algorithmes de minimisation exacte d'énergies dédidées au traitement d'images (News year 2005, Has title Composants logiciels et algorithmes de minimisation exacte d'énergies dédidées au traitement d'images)
- 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)
- Connected Filtering on Tree-Based Shape-Spaces (News year 2015, Has title Connected Filtering on Tree-Based Shape-Spaces)
- Connected Filters on Generalized Shape-Spaces (News year 2019, Has title Connected Filters on Generalized Shape-Spaces)
- Constructing a braid of partitions from hierarchies of partitions (News year 2019, Has title Constructing a braid of partitions from hierarchies of partitions)
- 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)
- Context-Oriented Image Processing (News year 2015, Has title Context-Oriented Image Processing)
- Continuous Well-Composedness implies Digital Well-Composedness in n-D (News year 2021, Has title Continuous Well-Composedness implies Digital Well-Composedness in n-D)
- 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)
- Contributions to LTL and ω-Automata for Model Checking (News year 2017, Has title Contributions to LTL and ω-Automata for Model Checking)
- Cosine Similarity Scoring without Score Normalization Techniques (News year 2010, Has title Cosine Similarity Scoring without Score Normalization Techniques)
- CosySEL: Improving SAT Solving Using Local Symmetries (News year 2022, Has title CosySEL: Improving SAT Solving Using Local Symmetries)
- Current Trends in Blockchain Implementations on the Paradigm of Public Key Infrastructure: A Survey (News year 2022, Has title Current Trends in Blockchain Implementations on the Paradigm of Public Key Infrastructure: A Survey)
- Debug Packages in OpenBSD (News year 2021, Has title Debug Packages in OpenBSD)
- Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy (News year 2021, Has title Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy)
- Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina (News year 2018, Has title Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina)
- Derived-Term Automata of Multitape Expressions with Composition (News year 2017, Has title Derived-Term Automata of Multitape Expressions with Composition)
- Derived-Term Automata of Multitape Rational Expressions (News year 2016, Has title Derived-Term Automata of Multitape Rational Expressions)
- 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)
- Derived-term Automata for Extended Weighted Rational Expressions (News year 2016, Has title Derived-term Automata for Extended Weighted Rational Expressions)
- Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup Discovery (News year 2022, Has title Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup Discovery)
- Discrete Morse Functions and Watersheds (News year 2023, Has title Discrete Morse Functions and Watersheds)
- Discrete set-valued continuity and interpolation (News year 2013, Has title Discrete set-valued continuity and interpolation)
- Distribution, approximation and probabilistic model checking (News year 2005, Has title Distribution, approximation and probabilistic model checking)
- Diversifying a Parallel SAT Solver with Bayesian Moment Matching (News year 2022, Has title Diversifying a Parallel SAT Solver with Bayesian Moment Matching)
- Do not Treat Boundaries and Regions Differently: An Example on Heart Left Atrial Segmentation (News year 2020, Has title Do not Treat Boundaries and Regions Differently: An Example on Heart Left Atrial Segmentation)
- Document detection in videos captured by smartphones using a saliency-based method (News year 2018, Has title Document detection in videos captured by smartphones using a saliency-based method)
- Document type recognition using evidence theory (News year 2003, Has title Document type recognition using evidence theory)
- Données, Transparence et Démocratie (News year 2022, Has title Données, Transparence et Démocratie)
- Découverte de sous-groupes de prédictions interprétables pour le triage d'incidents (News year 2022, Has title Découverte de sous-groupes de prédictions interprétables pour le triage d'incidents)
- ENST-IRCGN System Description (News year 2006, Has title ENST-IRCGN System Description)
- ETAP: Experimental Typesetting Algorithms Platform (News year 2022, Has title ETAP: Experimental Typesetting Algorithms Platform)
- Effective Component Tree Computation with Application to Pattern Recognition in Astronomical Imaging (News year 2007, Has title Effective Component Tree Computation with Application to Pattern Recognition in Astronomical Imaging)
- Effective Reductions of Mealy Machines (News year 2022, Has title Effective Reductions of Mealy Machines)
- 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)
- Efficient Dynamic Type Checking of Heterogeneous Sequences (News year 2016, Has title Efficient Dynamic Type Checking of Heterogeneous Sequences)
- Efficient Multiscale Sauvola's Binarization (News year 2013, Has title Efficient Multiscale Sauvola's Binarization)
- Electricity Price Forecasting on the Day-Ahead Market using Machine Learning (News year 2022, Has title Electricity Price Forecasting on the Day-Ahead Market using Machine Learning)
- Energy Problems in Finite and Timed Automata with Büchi Conditions (News year 2022, Has title Energy Problems in Finite and Timed Automata with Büchi Conditions)
- Equivalence between Digital Well-Composedness and Well-Composedness in the Sense of Alexandrov on n-D Cubical Grids (News year 2020, Has title Equivalence between Digital Well-Composedness and Well-Composedness in the Sense of Alexandrov on n-D Cubical Grids)
- Error correcting code performance for watermark protection (News year 2001, Has title Error correcting code performance for watermark protection)
- 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)
- 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)
- Estimating the noise level function with the tree of shapes and non-parametric statistics (News year 2019, Has title Estimating the noise level function with the tree of shapes and non-parametric statistics)
- Estimation de la fonction de niveau de bruit pour des images couleurs en utilisant la morphologie mathématique (News year 2022, Has title Estimation de la fonction de niveau de bruit pour des images couleurs en utilisant la morphologie mathématique)
- Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques (News year 2019, Has title Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques)
- Estimation of the noise level function for color images using mathematical morphology and non-parametric statistics (News year 2022, Has title Estimation of the noise level function for color images using mathematical morphology and non-parametric statistics)
- Euler Well-Composedness (News year 2020, Has title Euler Well-Composedness)
- Evaluating complex MAC protocols for sensor networks with APMC (News year 2006, Has title Evaluating complex MAC protocols for sensor networks with APMC)
- Evaluation of Anomaly Detection for Cybersecurity Using Inductive Node Embedding with Convolutional Graph Neural Networks (News year 2021, Has title Evaluation of Anomaly Detection for Cybersecurity Using Inductive Node Embedding with Convolutional Graph Neural Networks)
- Exact optimization of discrete constrained total variation minimization problems (News year 2004, Has title Exact optimization of discrete constrained total variation minimization problems)
- Exact optimization of discrete constrained total variation minimization problems (News year 2004, Has title Exact optimization of discrete constrained total variation minimization problems)
- Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation) (News year 2020, Has title Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation))
- 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)
- Expression templates in Ada 95 (News year 2001, Has title Expression templates in Ada 95)
- Extending Testing Automata to All LTL (News year 2015, Has title Extending Testing Automata to All LTL)
- Extensible languages: blurring the distinction between DSLs and GPLs (News year 2012, Has title Extensible languages: blurring the distinction between DSLs and GPLs)
- 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)
- FOANet: A Focus of Attention Network with Application to Myocardium Segmentation (News year 2020, Has title FOANet: A Focus of Attention Network with Application to Myocardium Segmentation)
- Fast Road Network Extraction in Satellite Images using Mathematical Morphology and MRF (News year 2003, Has title Fast Road Network Extraction in Satellite Images using Mathematical Morphology and MRF)
- Fast and Exact Discrete Image Restoration Based on Total Variation and on Its Extensions to Levelable Potentials (News year 2006, Has title Fast and Exact Discrete Image Restoration Based on Total Variation and on Its Extensions to Levelable Potentials)
- Fast color image segmentation based on levellings in feature Space (News year 2004, Has title Fast color image segmentation based on levellings in feature Space)
- Fast road network extraction in satellite images using mathematical morphology and Markov random fields (News year 2004, Has title Fast road network extraction in satellite images using mathematical morphology and Markov random fields)
- Featured Games (News year 2022, Has title Featured Games)
- Filtres connexes multivariés par fusion d'arbres de composantes (News year 2019, Has title Filtres connexes multivariés par fusion d'arbres de composantes)
- Finding Maximal Common Joins in a DAG (News year 2016, Has title Finding Maximal Common Joins in a DAG)
- Finite Automata Theory Based Optimization of Conditional Variable Binding (News year 2019, Has title Finite Automata Theory Based Optimization of Conditional Variable Binding)
- First Attempt at Boltzmann Machines for Speaker Recognition (News year 2012, Has title First Attempt at Boltzmann Machines for Speaker Recognition)
- Forecasting Electricity Prices: An Optimize Then Predict-Based Approach (News year 2023, Has title Forecasting Electricity Prices: An Optimize Then Predict-Based Approach)
- 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)
- From Spot 2.0 to Spot 2.10: What's New? (News year 2022, Has title From Spot 2.0 to Spot 2.10: What's New?)
- 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)
- Front-End Factor Analysis For Speaker Verification (News year 2011, Has title Front-End Factor Analysis For Speaker Verification)
- Fusion of spatial relationships for guiding recognitionexample of brain structure recognition in 3D MRI (News year 2004, Has title Fusion of spatial relationships for guiding recognitionexample of brain structure recognition in 3D MRI)
- 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)
- GenIDA, une base de données participative internationale permettant de mieux connaître l'histoire naturelle et les comorbidités des formes génétiques de troubles neurodéveloppementaux (News year 2022, Has title GenIDA, une base de données participative internationale permettant de mieux connaître l'histoire naturelle et les comorbidités des formes génétiques de troubles neurodéveloppementaux)
- 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)
- Generic Emptiness Check for Fun and Profit (News year 2019, Has title Generic Emptiness Check for Fun and Profit)
- Generic Image Processing with Climb (News year 2012, Has title Generic Image Processing with Climb)
- Generic algorithmic blocks dedicated to image processing (News year 2004, Has title Generic algorithmic blocks dedicated to image processing)
- Generic design patterns in C++ (News year 2001, Has title Generic design patterns in C++)
- Generic implementation of morphological image operators (News year 2002, Has title Generic implementation of morphological image operators)
- Generic programming redesign of patterns (News year 2000, Has title Generic programming redesign of patterns)
- 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)
- Global Optimization for First Order Markov Random Fields with Submodular Priors (News year 2008, Has title Global Optimization for First Order Markov Random Fields with Submodular Priors)
- Go2Pins: A Framework for the LTL Verification of Go Programs (News year 2021, Has title Go2Pins: A Framework for the LTL Verification of Go Programs)
- Go2Pins: A framework for the LTL verification of Go programs (Extended Version) (News year 2022, Has title Go2Pins: A framework for the LTL verification of Go programs (Extended Version))
- Going beyond p-convolutions to learn grayscale morphological operators (News year 2021, Has title Going beyond p-convolutions to learn grayscale morphological operators)
- Gradient Vector Fields of Discrete Morse Functions and Watershed-Cuts (News year 2021, Has title Gradient Vector Fields of Discrete Morse Functions and Watershed-Cuts)
- Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata (News year 2022, Has title Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata)
- Génération efficace de grands espaces d'états (News year 2009, Has title Génération efficace de grands espaces d'états)
- Généricité dynamique pour des algorithmes morphologiques (News year 2022, Has title Généricité dynamique pour des algorithmes morphologiques)
- Hate Speech and Toxic Comment Detection using Transformers (News year 2022, Has title Hate Speech and Toxic Comment Detection using Transformers)
- Heuristics for Checking Liveness Properties with Partial Order Reductions (News year 2016, Has title Heuristics for Checking Liveness Properties with Partial Order Reductions)
- Hierarchical Segmentation Using Tree-Based Shape Spaces (News year 2016, Has title Hierarchical Segmentation Using Tree-Based Shape Spaces)
- Hierarchical Set Decision Diagrams and Automatic Saturation (News year 2008, Has title Hierarchical Set Decision Diagrams and Automatic Saturation)
- 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)
- High Throughput Automated Detection of Axial Malformations in Medaka Embryo (News year 2019, Has title High Throughput Automated Detection of Axial Malformations in Medaka Embryo)
- Higher-Dimensional Timed and Hybrid Automata (News year 2022, Has title Higher-Dimensional Timed and Hybrid Automata)
- How to Boost Close-Range Remote Sensing Courses Using a Serious Game: Uncover in a Fun Way the Complexity and Transversality of Multi-Domain Field Acquisitions (News year 2022, Has title How to Boost Close-Range Remote Sensing Courses Using a Serious Game: Uncover in a Fun Way the Complexity and Transversality of Multi-Domain Field Acquisitions)
- How to Make n-D Plain Maps Alexandrov-Well-Composed in a Self-dual Way (News year 2019, Has title How to Make n-D Plain Maps Alexandrov-Well-Composed in a Self-dual Way)
- 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)
- How to Make nD Images Well-Composed Without Interpolation (News year 2015, Has title How to Make nD Images Well-Composed Without Interpolation)
- How to help digital-native students to successfully take control of their learning : A return of 8 years of experience on a computer science e-learning platform in higher education (News year 2022, Has title How to help digital-native students to successfully take control of their learning : A return of 8 years of experience on a computer science e-learning platform in higher education)
- How to make Lisp go faster than C (News year 2006, Has title How to make Lisp go faster than C)
- How to make Lisp go faster than C (News year 2007, Has title How to make Lisp go faster than C)
- ICDAR 2021 Competition on Historical Map Segmentation (News year 2021, Has title ICDAR 2021 Competition on Historical Map Segmentation)
- Image restoration with discrete constrained Total Variation—Part I: Fast and exact optimization (News year 2006, Has title Image restoration with discrete constrained Total Variation—Part I: Fast and exact optimization)
- Image restoration with discrete constrained Total Variation—Part II: Levelable functions, convex priors and non-convex case (News year 2006, Has title Image restoration with discrete constrained Total Variation—Part II: Levelable functions, convex priors and non-convex case)
- Implementation Concepts in Vaucanson 2 (News year 2013, Has title Implementation Concepts in Vaucanson 2)
- Implementing Baker's SUBTYPEP decision procedure (News year 2019, Has title Implementing Baker's SUBTYPEP decision procedure)
- 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)
- Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms (News year 2020, Has title Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms)
- Improving Parallel State-Space Exploration Using Genetic Algorithms (News year 2018, Has title Improving Parallel State-Space Exploration Using Genetic Algorithms)
- Improving swarming using genetic algorithms (News year 2020, Has title Improving swarming using genetic algorithms)
- Improving the Model Checking of Stutter-Invariant LTL Properties (News year 2014, Has title Improving the Model Checking of Stutter-Invariant LTL Properties)
- Improving the Quality of Rule-Based GNN Explanations (News year 2022, Has title Improving the Quality of Rule-Based GNN Explanations)
- In Pursuit of the Hidden Features of GNN's Internal Representations (News year 2022, Has title In Pursuit of the Hidden Features of GNN's Internal Representations)
- Inside Vaucanson (News year 2005, Has title Inside Vaucanson)
- Intervertebral Disc Segmentation Using Mathematical Morphology—A CNN-Free Approach (News year 2018, Has title Intervertebral Disc Segmentation Using Mathematical Morphology—A CNN-Free Approach)
- Introducing Multivariate Connected Openings and Closings (News year 2019, Has title Introducing Multivariate Connected Openings and Closings)
- Introducing Vaucanson (News year 2004, Has title Introducing Vaucanson)
- Introducing Vaucanson (News year 2003, Has title Introducing Vaucanson)
- Introducing the Boundary-Aware Loss for Deep Image Segmentation (News year 2021, Has title Introducing the Boundary-Aware Loss for Deep Image Segmentation)
- Introducing the Dahu Pseudo-Distance (News year 2017, Has title Introducing the Dahu Pseudo-Distance)
- Introduction to the Special Issue on Distributed Hybrid Systems (News year 2022, Has title Introduction to the Special Issue on Distributed Hybrid Systems)
- 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?)
- JSPP: Morphing C++ into JavaScript (News year 2012, Has title JSPP: Morphing C++ into JavaScript)
- Kernel Combination for SVM Speaker Verification (News year 2007, Has title Kernel Combination for SVM Speaker Verification)
- LRDE Speaker Recognition System for NIST-SRE 2010 (News year 2010, Has title LRDE Speaker Recognition System for NIST-SRE 2010)
- LRDE System description (News year 2006, Has title LRDE System description)
- LTL Model Checking for Communicating Concurrent Programs (News year 2020, Has title LTL Model Checking for Communicating Concurrent Programs)
- LTL Model Checking with Neco (News year 2013, Has title LTL Model Checking with Neco)
- LTL Translation Improvements in Spot (News year 2011, Has title LTL Translation Improvements in Spot)
- LTL Translation Improvements in Spot 1.0 (News year 2014, Has title LTL Translation Improvements in Spot 1.0)
- LTL under reductions with weaker conditions than stutter invariance (News year 2022, Has title LTL under reductions with weaker conditions than stutter invariance)
- La pseudo-distance du dahu (News year 2017, Has title La pseudo-distance du dahu)
- Label-Efficient Self-Supervised Speaker Verification With Information Maximization and Contrastive Learning (News year 2022, Has title Label-Efficient Self-Supervised Speaker Verification With Information Maximization and Contrastive Learning)
- Language Recognition via I-Vectors and Dimensionality Reduction (News year 2011, Has title Language Recognition via I-Vectors and Dimensionality Reduction)
- Learning Diversity Attributes in Multi-Session Recommendations (News year 2022, Has title Learning Diversity Attributes in Multi-Session Recommendations)
- Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation (News year 2020, Has title Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation)
- Learning Grayscale Mathematical Morphology with Smooth Morphological Layers (News year 2022, Has title Learning Grayscale Mathematical Morphology with Smooth Morphological Layers)
- Learning Sentinel-2 Spectral Dynamics for Long-Run Predictions Using Residual Neural Networks (News year 2021, Has title Learning Sentinel-2 Spectral Dynamics for Long-Run Predictions Using Residual Neural Networks)
- Left Atrial Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning (News year 2018, Has title Left Atrial Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning)
- Linear and Non Linear Kernel GMM SuperVector Machines for Speaker Verification (News year 2007, Has title Linear and Non Linear Kernel GMM SuperVector Machines for Speaker Verification)
- Lisp, Jazz, Aikido (News year 2018, Has title Lisp, Jazz, Aikido)
- Local Intensity Order Transformation for Robust Curvilinear Object Segmentation (News year 2022, Has title Local Intensity Order Transformation for Robust Curvilinear Object Segmentation)
- Local reasoning in fuzzy attribute graphs for optimizing sequential segmentation (News year 2007, Has title Local reasoning in fuzzy attribute graphs for optimizing sequential segmentation)
- MITLL 2012 Speaker Recognition Evaluation System Description (News year 2012, Has title MITLL 2012 Speaker Recognition Evaluation System Description)
- MToS: A Tree of Shapes for Multivariate Images (News year 2015, Has title MToS: A Tree of Shapes for Multivariate Images)
- Making Compiler Construction Projects Relevant to Core Curriculums (News year 2005, Has title Making Compiler Construction Projects Relevant to Core Curriculums)
- Manipulating LTL formulas using Spot 1.0 (News year 2013, Has title Manipulating LTL formulas using Spot 1.0)
- Max-Tree Computation on GPUs (News year 2022, Has title Max-Tree Computation on GPUs)
- Meaningful disjoint level lines selection (News year 2014, Has title Meaningful disjoint level lines selection)
- Mechanizing the Minimization of Deterministic Generalized Büchi Automata (News year 2014, Has title Mechanizing the Minimization of Deterministic Generalized Büchi Automata)
- Metagene, a C++ meta-program generation tool (News year 2004, Has title Metagene, a C++ meta-program generation tool)
- Method Combinators (News year 2018, Has title Method Combinators)
- Methods for Explaining Top-N Recommendations Through Subgroup Discovery (News year 2022, Has title Methods for Explaining Top-N Recommendations Through Subgroup Discovery)
- Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images (News year 2009, Has title Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images)
- Model Checking using Generalized Testing Automata (News year 2012, Has title Model Checking using Generalized Testing Automata)
- Model checking with generalized Rabin and Fin-less automata (News year 2019, Has title Model checking with generalized Rabin and Fin-less automata)
- Modeling of Sensor Networks Using XRM (News year 2006, Has title Modeling of Sensor Networks Using XRM)
- Modern vectorization and alignement of historical maps: An application to Paris atlas (1789-1950) (News year 2023, Has title Modern vectorization and alignement of historical maps: An application to Paris atlas (1789-1950))
- Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework (News year 2019, Has title Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework)
- Monads in Common Lisp (News year 2016, Has title Monads in Common Lisp)
- Morphological Analysis of Brownian Motion for Physical Measurements (News year 2017, Has title Morphological Analysis of Brownian Motion for Physical Measurements)
- 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)
- Morphological Hierarchical Image Decomposition Based on Laplacian 0-Crossings (News year 2017, Has title Morphological Hierarchical Image Decomposition Based on Laplacian 0-Crossings)
- 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)
- Morphologie et algorithmes (News year 2010, Has title Morphologie et algorithmes)
- 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)
- Motion Compensation in Digital Holography for Retinal Imaging (News year 2018, Has title Motion Compensation in Digital Holography for Retinal Imaging)
- 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)
- Multi-band segmentation using morphological clustering and fusion application to color image segmentation (News year 2003, Has title Multi-band segmentation using morphological clustering and fusion application to color image segmentation)
- Multi-purpose Tactile Perception Based on Deep Learning in a New Tendon-driven Optical Tactile Sensor (News year 2022, Has title Multi-purpose Tactile Perception Based on Deep Learning in a New Tendon-driven Optical Tactile Sensor)
- New Security Protocols for Offline Point-of-Sale Machines (News year 2022, Has title New Security Protocols for Offline Point-of-Sale Machines)
- NixOS: A purely functional Linux distribution (News year 2010, Has title NixOS: A purely functional Linux distribution)
- Non-iterative methods for image improvement in digital holography of the retina (News year 2020, Has title Non-iterative methods for image improvement in digital holography of the retina)
- 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)
- Obtaining genericity for image processing and pattern recognition algorithms (News year 2000, Has title Obtaining genericity for image processing and pattern recognition algorithms)
- Olena: a component-based platform for image processingmixing generic, generative and OO programming (News year 2000, Has title Olena: a component-based platform for image processingmixing generic, generative and OO programming)
- On GNN Explainability with Activation Rules (News year 2022, Has title On GNN Explainability with Activation Rules)
- 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)
- 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)
- On Robustness for the Skolem and Positivity Problems (News year 2022, Has title On Robustness for the Skolem and Positivity Problems)
- On Some Associations Between Mathematical Morphology and Artificial Intelligence (News year 2021, Has title On Some Associations Between Mathematical Morphology and Artificial Intelligence)
- On a Polynomial Vector Field Model for Shape Representation (News year 2006, Has title On a Polynomial Vector Field Model for Shape Representation)
- On orthogonal specialization in C++: dealing with efficiency and algebraic abstraction in Vaucanson (News year 2003, Has title On orthogonal specialization in C++: dealing with efficiency and algebraic abstraction in Vaucanson)
- On the Usefulness of Clause Strengthening in Parallel SAT Solving (News year 2020, Has title On the Usefulness of Clause Strengthening in Parallel SAT Solving)
- On the security of quantum networks: a proposal framework and its capacity (News year 2007, Has title On the security of quantum networks: a proposal framework and its capacity)
- On-the-fly Emptiness Check of Transition-based Streett Automata (News year 2009, Has title On-the-fly Emptiness Check of Transition-based Streett Automata)
- One More Step Towards Well-Composedness of Cell Complexes over n-D Pictures (News year 2019, Has title One More Step Towards Well-Composedness of Cell Complexes over n-D Pictures)
- Optimization of the Product Configuration System of Renault (News year 2023, Has title Optimization of the Product Configuration System of Renault)
- 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)
- PAIP 2019: Liver Cancer Segmentation Challenge (News year 2020, Has title PAIP 2019: Liver Cancer Segmentation Challenge)
- PaInleSS: a Framework for Parallel SAT Solving (News year 2017, Has title PaInleSS: a Framework for Parallel SAT Solving)
- Parallel Computation of Component Trees on Distributed Memory Machines (News year 2018, Has title Parallel Computation of Component Trees on Distributed Memory Machines)
- Parallel Explicit Model Checking for Generalized Büchi Automata (News year 2015, Has title Parallel Explicit Model Checking for Generalized Büchi Automata)
- Parallel Learning Portfolio-Based Solvers (News year 2017, Has title Parallel Learning Portfolio-Based Solvers)
- Parallel Model Checking Algorithms for Linear-Time Temporal Logic (News year 2018, Has title Parallel Model Checking Algorithms for Linear-Time Temporal Logic)
- Parallel Satisfiability Solver Based on Hybrid Partitioning Method (News year 2017, Has title Parallel Satisfiability Solver Based on Hybrid Partitioning Method)
- Parallelizing Quickref (News year 2019, Has title Parallelizing Quickref)
- Periodic Area-of-Motion characterization for Bio-Medical applications (News year 2017, Has title Periodic Area-of-Motion characterization for Bio-Medical applications)
- Person authentication based on hand shape (News year 2004, Has title Person authentication based on hand shape)
- Polar type inference with intersection types and ω (News year 2002, Has title Polar type inference with intersection types and ω)
- Posets With Interfaces as a Model for Concurrency (News year 2022, Has title Posets With Interfaces as a Model for Concurrency)
- Practical Application of Probabilistic Model Checking to Communication Protocols (News year 2006, Has title Practical Application of Probabilistic Model Checking to Communication Protocols)
- Practical Applications of the Alternating Cycle Decomposition (News year 2022, Has title Practical Applications of the Alternating Cycle Decomposition)
- 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)
- Practical Stutter-Invariance Checks for ω-Regular Languages (News year 2015, Has title Practical Stutter-Invariance Checks for ω-Regular Languages)
- Practical “Paritizing” of Emerson–Lei Automata (News year 2020, Has title Practical “Paritizing” of Emerson–Lei Automata)
- Probabilistic Verification of Sensor Networks (News year 2006, Has title Probabilistic Verification of Sensor Networks)
- Probabilistic abstraction for model checking: an approach based on property testing (News year 2005, Has title Probabilistic abstraction for model checking: an approach based on property testing)
- Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC (News year 2004, Has title Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC)
- Probabilistic verification and approximation (News year 2005, Has title Probabilistic verification and approximation)
- Program templates: expression templates applied to program evaluation (News year 2003, Has title Program templates: expression templates applied to program evaluation)
- Programmatic Manipulation of Common Lisp Type Specifiers (News year 2017, Has title Programmatic Manipulation of Common Lisp Type Specifiers)
- Project EFIGI: Automatic classification of galaxies (News year 2006, Has title Project EFIGI: Automatic classification of galaxies)
- Proposal: an XML representation for automata (News year 2004, Has title Proposal: an XML representation for automata)
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results (News year 2022, Has title QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results)
- Qu'est-ce que mon GNN capture vraiment ? Exploration des représentations internes d'un GNN (News year 2022, Has title Qu'est-ce que mon GNN capture vraiment ? Exploration des représentations internes d'un GNN)
- Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo (News year 2019, Has title Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo)
- Reactive Synthesis from LTL Specification with Spot (News year 2018, Has title Reactive Synthesis from LTL Specification with Spot)
- Real-Time Document Detection in Smartphone Videos (News year 2018, Has title Real-Time Document Detection in Smartphone Videos)
- Recognizing Heterogeneous Sequences by Rational Type Expression (News year 2018, Has title Recognizing Heterogeneous Sequences by Rational Type Expression)
- Reconnaissance de structures cérébrales à l'aide d'un atlas et par fusion d'informations structurelles floues (News year 2000, Has title Reconnaissance de structures cérébrales à l'aide d'un atlas et par fusion d'informations structurelles floues)
- 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)
- Report on the 5th Workshop ELW at ECOOP 2008 (News year 2008, Has title Report on the 5th Workshop ELW at ECOOP 2008)
- Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition—application to 3D brain imaging (News year 2003, Has title Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition—application to 3D brain imaging)
- Representing and Computing with Types in Dynamically Typed Languages (News year 2018, Has title Representing and Computing with Types in Dynamically Typed Languages)
- Residual 3D U-Net with Localization for Brain Tumor Segmentation (News year 2021, Has title Residual 3D U-Net with Localization for Brain Tumor Segmentation)
- Resources for the DAS 2014 submission (News year 2013, Has title Planting, Growing and Pruning Trees: Connected Filters Applied to Document Image Analysis)
- Revisiting the Coco Panoptic Metric to Enable Visual and Qualitative Analysis of Historical Map Instance Segmentation (News year 2021, Has title Revisiting the Coco Panoptic Metric to Enable Visual and Qualitative Analysis of Historical Map Instance Segmentation)
- Revisiting the Visitor: the Just Do It Pattern (News year 2008, Has title Revisiting the Visitor: the Just Do It Pattern)
- Revisiting the Visitor: the Just Do It Pattern (News year 2010, Has title Revisiting the Visitor: the Just Do It Pattern)
- Ruminations on Tarjan's Union-Find algorithm and connected operators (News year 2005, Has title Ruminations on Tarjan's Union-Find algorithm and connected operators)
- SAT-based Minimization of Deterministic ω-Automata (News year 2015, Has title SAT-based Minimization of Deterministic ω-Automata)
- Saliency-Based Detection of Identity Documents Captured by Smartphones (News year 2018, Has title Saliency-Based Detection of Identity Documents Captured by Smartphones)
- Salient Level Lines Selection Using the Mumford-Shah Functional (News year 2013, Has title Salient Level Lines Selection Using the Mumford-Shah Functional)
- 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)
- Segmentation d'images en couleur par classification morphologique non supervisée (News year 2001, Has title Segmentation d'images en couleur par classification morphologique non supervisée)
- Segmentation d'objets curvilignes à l'aide des champs de Markov sur un graphe d'adjacence de courbes issu de l'algorithme de la ligne de partage des eaux (News year 2003, Has title Segmentation d'objets curvilignes à l'aide des champs de Markov sur un graphe d'adjacence de courbes issu de l'algorithme de la ligne de partage des eaux)
- 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)
- Segmentation of Gliomas and Prediction of Patient Overall Survival: A Simple and Fast Procedure (News year 2018, Has title Segmentation of Gliomas and Prediction of Patient Overall Survival: A Simple and Fast Procedure)
- Segmentation of curvilinear objects using a watershed-based curve adjacency graph (News year 2003, Has title Segmentation of curvilinear objects using a watershed-based curve adjacency graph)
- 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)
- Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking (News year 2011, Has title Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking)
- Semantics driven disambiguation: A comparison of different approaches (News year 2008, Has title Semantics driven disambiguation: A comparison of different approaches)
- Semantics-Driven Genericity: A Sequel to the Static C++ Object-Oriented Programming Paradigm (SCOOP 2) (News year 2008, Has title Semantics-Driven Genericity: A Sequel to the Static C++ Object-Oriented Programming Paradigm (SCOOP 2))
- Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization (News year 2020, Has title Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization)
- Seminator: A Tool for Semi-Determinization of Omega-Automata (News year 2017, Has title Seminator: A Tool for Semi-Determinization of Omega-Automata)
- Shape-based hand recognition (News year 2006, Has title Shape-based hand recognition)
- Single-pass Testing Automata for LTL Model Checking (News year 2015, Has title Single-pass Testing Automata for LTL Model Checking)
- 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)
- SnooperText: A Multiresolution System for Text Detection in Complex Visual Scenes (News year 2010, Has title SnooperText: A Multiresolution System for Text Detection in Complex Visual Scenes)
- Some Equivalence Relation between Persistent Homology and Morphological Dynamics (News year 2022, Has title Some Equivalence Relation between Persistent Homology and Morphological Dynamics)
- Spatial reasoning with relative incomplete information on relative positioning (News year 2005, Has title Spatial reasoning with relative incomplete information on relative positioning)
- 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)
- Spherical fluorescent particle segmentation and tracking in 3D confocal microscopy (News year 2019, Has title Spherical fluorescent particle segmentation and tracking in 3D confocal microscopy)
- 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)
- Stability of the Tree of Shapes to Additive Noise (News year 2021, Has title Stability of the Tree of Shapes to Additive Noise)
- Stacked and parallel U-nets with multi-output for myocardial pathology segmentation (News year 2020, Has title Stacked and parallel U-nets with multi-output for myocardial pathology segmentation)
- Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge (News year 2019, Has title Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge)
- Star TeX : the Next Generation (News year 2012, Has title Star TeX : the Next Generation)
- Stochastic routing in large grid-shaped quantum networks (News year 2006, Has title Stochastic routing in large grid-shaped quantum networks)
- 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)
- Strong Euler Wellcomposedness (News year 2021, Has title Strong Euler Wellcomposedness)
- Support Vector Machines and Joint Factor Analysis for Speaker Verification (News year 2009, Has title Support Vector Machines and Joint Factor Analysis for Speaker Verification)
- Support Vector Machines versus Fast Scoring in the Low-Dimensional Total Variability Space for Speaker Verification (News year 2009, Has title Support Vector Machines versus Fast Scoring in the Low-Dimensional Total Variability Space for Speaker Verification)
- 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)
- Sémantique paramétrable des Diagrammes de Décision : une démarche vers l'unification (News year 2009, Has title Sémantique paramétrable des Diagrammes de Décision : une démarche vers l'unification)
- TWEAST: A Simple and Effective Technique to Implement Concrete-Syntax AST Rewriting Using Partial Parsing (News year 2008, Has title TWEAST: A Simple and Effective Technique to Implement Concrete-Syntax AST Rewriting Using Partial Parsing)
- Taking into account inclusion and adjacency information in morphological hierarchical representations, with application to the extraction of text in natural images and videos. (News year 2018, Has title Taking into account inclusion and adjacency information in morphological hierarchical representations, with application to the extraction of text in natural images and videos.)
- Text detection in street level image (News year 2013, Has title Text detection in street level image)
- 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)
- TextTrail: A Robust Text Tracking Algorithm In Wild Environments (News year 2015, Has title TextTrail: A Robust Text Tracking Algorithm In Wild Environments)
- 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)
- The Biosecure Geometry-based System for Hand Modality (News year 2006, Has title The Biosecure Geometry-based System for Hand Modality)
- 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)
- The Cost of Dynamism in Static Languages for Image Processing (News year 2022, Has title The Cost of Dynamism in Static Languages for Image Processing)
- The Dahu Graph-Cut for Interactive Segmentation on 2D/3D Images (News year 2022, Has title The Dahu Graph-Cut for Interactive Segmentation on 2D/3D Images)
- The Hanoi Omega-Automata Format (News year 2015, Has title The Hanoi Omega-Automata Format)
- The LRDE Systems for the 2008 NIST Speaker Recognition Evaluation (News year 2008, Has title The LRDE Systems for the 2008 NIST Speaker Recognition Evaluation)
- The MIT Lincoln Laboratory 2016 Speaker Recognition System (News year 2016, Has title The MIT Lincoln Laboratory 2016 Speaker Recognition System)
- The Role of Speaker Factors in the NIST Extended Data Task (News year 2007, Has title The Role of Speaker Factors in the NIST Extended Data Task)
- The SCRIBO Module of the Olena Platform: a Free Software Framework for Document Image Analysis (News year 2011, Has title The SCRIBO Module of the Olena Platform: a Free Software Framework for Document Image Analysis)
- 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)
- 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)
- The use of levelable regularization functions for MRF restoration of SAR images (News year 2006, Has title The use of levelable regularization functions for MRF restoration of SAR images)
- 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)
- TiCL: the Prototype (Star TeX: the Next GenerationSeason 2) (News year 2013, Has title TiCL: the Prototype (Star TeX: the Next GenerationSeason 2))
- Topological Properties of the First Non-Local Digitally Well-Composed Interpolation on n-D Cubical Grids (News year 2020, Has title Topological Properties of the First Non-Local Digitally Well-Composed Interpolation on n-D Cubical Grids)
- Topology-Aware Method to Segment 3D Plan Tissue Images (News year 2022, Has title Topology-Aware Method to Segment 3D Plan Tissue Images)
- Total Variation Minimization with L^1 Data Fidelity as a Contrast Invariant Filter (News year 2005, Has title Total Variation Minimization with L^1 Data Fidelity as a Contrast Invariant Filter)
- Towards Better Heuristics for Solving Bounded Model Checking Problems (News year 2021, Has title Towards Better Heuristics for Solving Bounded Model Checking Problems)
- Towards Better Heuristics for Solving Bounded Model Checking Problems (News year 2022, Has title Towards Better Heuristics for Solving Bounded Model Checking Problems)
- Towards LaTeX Coding Standards (News year 2011, Has title Towards LaTeX Coding Standards)
- Towards a Software Architecture for Generic Image Processing (News year 2011, Has title Towards a Software Architecture for Generic Image Processing)
- Towards more efficient parallel SAT solving (News year 2019, Has title Towards more efficient parallel SAT solving)
- Towards the World-Wide Quantum Network (News year 2008, Has title Towards the World-Wide Quantum Network)
- Towards the rectification of highly distorted texts (News year 2016, Has title Towards the rectification of highly distorted texts)
- 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)
- 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)
- Trie-based Output Itemset Sampling (News year 2022, Has title Trie-based Output Itemset Sampling)
- Tuning SAT Solvers for LTL Model Checking (News year 2022, Has title Tuning SAT Solvers for LTL Model Checking)
- Two Stages CNN-Based Segmentation of GliomasUncertainty Quantification and Prediction of Overall Patient Survival (News year 2020, Has title Two Stages CNN-Based Segmentation of GliomasUncertainty Quantification and Prediction of Overall Patient Survival)
- 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)
- Type-Checking of Heterogeneous Sequences in Common Lisp (News year 2016, Has title Type-Checking of Heterogeneous Sequences in Common Lisp)
- 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)
- 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)
- 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)
- Une bibliothèque et un environnement de programmation d'opérateurs de traitement d'images (News year 1999, Has title Une bibliothèque et un environnement de programmation d'opérateurs de traitement d'images)
- Unified texture management for arbitrary meshes (News year 2004, Has title Unified texture management for arbitrary meshes)
- Uniform Random Sampling of Traces in Very Large Models (News year 2006, Has title Uniform Random Sampling of Traces in Very Large Models)
- 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)
- Unsupervised Speaker Adaptation based on the Cosine Similarity for Text-Independent Speaker Verification (News year 2010, Has title Unsupervised Speaker Adaptation based on the Cosine Similarity for Text-Independent Speaker Verification)
- Urbi et Orbi: unusual design and implementation choices for distributed virtual environments (News year 2000, Has title Urbi et Orbi: unusual design and implementation choices for distributed virtual environments)
- Using Separated Inputs for Multimodal Brain Tumor Segmentation with 3D U-Net-like Architectures (News year 2020, Has title Using Separated Inputs for Multimodal Brain Tumor Segmentation with 3D U-Net-like Architectures)
- 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)
- Using subgroup discovery to relate odor pleasantness and intensity to peripheral nervous system reactions (News year 2022, Has title Using subgroup discovery to relate odor pleasantness and intensity to peripheral nervous system reactions)
- 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)
- Vectorization of Historical Maps Using Deep Edge Filtering and Closed Shape Extraction (News year 2021, Has title Vectorization of Historical Maps Using Deep Edge Filtering and Closed Shape Extraction)
- VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images (News year 2021, Has title VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images)
- Vers une réutilisabilité totale des algorithmes de traitement d'images (News year 1999, Has title Vers une réutilisabilité totale des algorithmes de traitement d'images)
- Virtual reality and tele-operation: a common framework (News year 2001, Has title Virtual reality and tele-operation: a common framework)
- Visualization issues in virtual environments: from computer graphics techniques to intentional visualization (News year 2001, Has title Visualization issues in virtual environments: from computer graphics techniques to intentional visualization)
- VizNN: Visual Data Augmentation with Convolutional Neural Networks for Cybersecurity Investigation (News year 2021, Has title VizNN: Visual Data Augmentation with Convolutional Neural Networks for Cybersecurity Investigation)
- Weakly Well-Composed Cell Complexes over nD Pictures (News year 2018, Has title Weakly Well-Composed Cell Complexes over nD Pictures)
- Web services at TERAPIX (News year 2007, Has title Web services at TERAPIX)
- 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)
- What Does my GNN Really Capture? On Exploring Internal GNN Representations (News year 2022, Has title What Does my GNN Really Capture? On Exploring Internal GNN Representations)
- 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)
- 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)
- Why and How to Design a Generic and Efficient Image Processing Framework: The Case of the Milena Library (News year 2010, Has title Why and How to Design a Generic and Efficient Image Processing Framework: The Case of the Milena Library)
- 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)
- 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)
- libDMC: a library to Operate Efficient Distributed Model Checking (News year 2007, Has title libDMC: a library to Operate Efficient Distributed Model Checking)
- polyDD: Towards a Framework Generalizing Decision Diagrams (News year 2010, Has title polyDD: Towards a Framework Generalizing Decision Diagrams)