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, Published in Proceedings of the second International Conference on Visual Computing)
- 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, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM))
- 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, Published in Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM))
- 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, Published in 26th International Conference on Engineering of Complex Computer Systems)
- 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, Published in Proceedings of the 2nd Workshop on Reproducible Research in Pattern Recognition (RRPR 2018))
- 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, Published in 2021 11th IFIP International Conference on New Technologies, Mobility and Security (NTMS))
- 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, Published in Post-proceedings of the seventh international workshop on Finite-State Methods and Natural Language Processing (FSMNLP'08))
- 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, Published in Virtual Environments 2000, Proceedings of the 6th Eurographics Workshop on Virtual Environments (EGVE))
- An efficient algorithm for attribute openings and closings (News year 2005, Has title An efficient algorithm for attribute openings and closings, Published in Proceedings of the 13th European Signal Processing Conference (EUSIPCO))
- 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, Published in Robotics and AI for Cybersecurity and Critical Infrastructure in Smart Cities)
- Applying generic programming to image processing (News year 2001, Has title Applying generic programming to image processing, Published in Proceedings of the IASTED International Conference on Applied Informatics (AI)—Symposium on Advances in Computer Applications)
- Approaches in Typecase Optimization (News year 2018, Has title Approaches in Typecase Optimization, Published in European Lisp Symposium)
- Approximate Nash Equilibria for Multi-Player Games (News year 2008, Has title Approximate Nash Equilibria for Multi-Player Games, Published in 1st International Symposium on Algorithmic Games Theory)
- Approximate Probabilistic Model Checking for Programs (News year 2006, Has title Approximate Probabilistic Model Checking for Programs, Published in Proceedings of the IEEE 2nd International Conference on Intelligent Computer Communication and Processing (ICCP'06))
- 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, Published in Proceeding of CIMAF Symposium on Artificial Intelligence)
- Attribute Grammars for Modular Disambiguation (News year 2006, Has title Attribute Grammars for Modular Disambiguation, Published in Proceedings of the IEEE 2nd International Conference on Intelligent Computer Communication and Processing (ICCP'06))
- 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)
- 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, Published in Proceedings of the 28th C&ESAR)
- Beating C in Scientific Computing Applications (News year 2006, Has title Beating C in Scientific Computing Applications, Published in Third European Lisp Workshop at ECOOP)
- 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, Published in IEEE Transactions on Medical Imaging)
- 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))
- Binary Methods Programming: the CLOS Perspective (News year 2009, Has title Binary Methods Programming: the CLOS Perspective, Published in Proceedings of the First European Lisp Symposium)
- Binary Methods Programming: the CLOS Perspective (extended version) (News year 2008, Has title Binary Methods Programming: the CLOS Perspective (extended version), Published in Journal of Universal Computer Science)
- Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them (News year 2011, Has title Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them, Published in Onward! 2011)
- 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, Published in IEEE Transactions on Engineering Management)
- 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, Published in Pattern Recognition)
- 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, Published in Fundamenta Informaticae)
- C-Transformers — A Framework to Write C Program Transformations (News year 2005, Has title C-Transformers — A Framework to Write C Program Transformations, Published in ACM Crossroads)
- 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))
- CLOS Efficiency: Instantiation (News year 2009, Has title CLOS Efficiency: Instantiation, Published in Proceedings of the International Lisp Conference)
- CLOS solutions to binary methods (News year 2007, Has title CLOS solutions to binary methods, Published in Proceedings of the International MultiConference of Engineers and Computer Scientists)
- CLoX: Common Lisp objects for XEmacs (News year 2010, Has title CLoX: Common Lisp objects for XEmacs, Published in Proceedings of the 3rd European Lisp Symposium)
- 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)
- Catoids and Modal Convolution Algebras (News year 2023, Has title Catoids and Modal Convolution Algebras, Published in Algebra Universalis)
- Cepstral and Long-Term Features for Emotion Recognition (News year 2009, Has title Cepstral and Long-Term Features for Emotion Recognition, Published in Interspeech)
- Classes, Styles, Conflicts: the Biological Realm of LaTeX (News year 2010, Has title Classes, Styles, Conflicts: the Biological Realm of LaTeX, Published in TUGboat)
- Color image segmentation based on automatic morphological clustering (News year 2001, Has title Color image segmentation based on automatic morphological clustering, Published in Proceedings of the IEEE International Conference on Image Processing (ICIP))
- 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, Published in Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM))
- 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, Published in Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD'15))
- Combining Parallel Emptiness Checks with Partial Order Reductions (News year 2019, Has title Combining Parallel Emptiness Checks with Partial Order Reductions, Published in Proceedings of the 21st International Conference on Formal Engineering Methods (ICFEM'19))
- 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, Published in Proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT'20))
- 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, Published in Symposium on Implementation and Application of Functional Languages)
- 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, Published in Proceedings of the Speaker and Language Recognition Workshop (IEEE-Odyssey 2008))
- 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, Published in Proceedings of the 20th International SPIN Symposium on Model Checking of Software (SPIN'13))
- 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)
- Connected Filters on Generalized Shape-Spaces (News year 2019, Has title Connected Filters on Generalized Shape-Spaces, Published in Pattern Recognition Letters)
- Constructing a braid of partitions from hierarchies of partitions (News year 2019, Has title Constructing a braid of partitions from hierarchies of partitions, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM))
- Context-Based Energy Estimator: Application to Object Segmentation on the Tree of Shapes (News year 2012, Has title Context-Based Energy Estimator: Application to Object Segmentation on the Tree of Shapes, Published in Proceedings of the 19th International Conference on Image Processing (ICIP))
- Context-Oriented Image Processing (News year 2015, Has title Context-Oriented Image Processing, Published in Context-Oriented Programming Workshop)
- 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, Published in Journal of Mathematical Imaging and Vision)
- 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, Published in Odyssey The Speaker and Language Recognition)
- CosySEL: Improving SAT Solving Using Local Symmetries (News year 2022, Has title CosySEL: Improving SAT Solving Using Local Symmetries, Published in 24th International Conference on Verification, Model Checking, and Abstract Interpretation)
- 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, Published in IEEE Access)
- Debug Packages in OpenBSD (News year 2021, Has title Debug Packages in OpenBSD, Published in EuroBSDCon 2021)
- 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, Published in Medical Image Analysis)
- 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, Published in Proceedings of the SPIE Conference on Adaptive Optics and Wavefront Control for Biological Systems V)
- 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)
- 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))
- 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))
- 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))
- 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, Published in Machine Learning and Data Mining for Sports Analytics - 9th International Workshop, MLSA 2022)
- Discrete Morse Functions and Watersheds (News year 2023, Has title Discrete Morse Functions and Watersheds, Published in Journal of Mathematical Imaging and Vision (Special Edition))
- Discrete set-valued continuity and interpolation (News year 2013, Has title Discrete set-valued continuity and interpolation, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM))
- Distribution, approximation and probabilistic model checking (News year 2005, Has title Distribution, approximation and probabilistic model checking, Published in Proceedings of the 4th international workshop on Parallel and Distributed Model Checking (PDMC))
- Diversifying a Parallel SAT Solver with Bayesian Moment Matching (News year 2022, Has title Diversifying a Parallel SAT Solver with Bayesian Moment Matching, Published in Symposium on Dependable Software Engineering TheoriesTools and Applications)
- 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, Published in Proceedings of the 25th International Conference on Pattern Recognition (ICPR))
- 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, Published in International Conference on Document Analysis and Recognition Workshops (ICDARW))
- Document type recognition using evidence theory (News year 2003, Has title Document type recognition using evidence theory, Published in Proceedings of the 5th IAPR International Workshop on Graphics Recognition (GREC))
- 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, Published in Extraction et Gestion des Connaissances, EGC 2022Blois, France, 24 au 28 janvier 2022)
- ENST-IRCGN System Description (News year 2006, Has title ENST-IRCGN System Description, Published in NIST SRE'06 Workshop: speaker recognition evaluation campaign)
- ETAP: Experimental Typesetting Algorithms Platform (News year 2022, Has title ETAP: Experimental Typesetting Algorithms Platform, Published in 15th European Lisp Symposium)
- 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, Published in Proceedings of the IEEE International Conference on Image Processing (ICIP))
- Effective Reductions of Mealy Machines (News year 2022, Has title Effective Reductions of Mealy Machines, Published in Proceedings of the 42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE'22))
- 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))
- 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, Published in International Journal of Document Analysis and Recognition (IJDAR))
- 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, Published in Applied Energy)
- 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, Published in International Symposium on Formal Methods (FM))
- 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, Published in Journal of Mathematical Imaging and Vision)
- Error correcting code performance for watermark protection (News year 2001, Has title Error correcting code performance for watermark protection, Published in Proceedings of the 13th Symposium SPIE on Electronic Imaging—-Security and Watermarking of Multimedia Contents III (EI27))
- 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))
- 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))
- 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, Published in Proceedings of the 18th International Conference on Computer Analysis of Images and Patterns (CAIP))
- 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, Published in 28e Colloque sur le traitement du signal et des images)
- 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, Published in Proceedings of the 27st Symposium on Signal and Image Processing (GRETSI))
- 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, Published in Proceedings of the 26th International Conference on Pattern Recognition)
- Euler Well-Composedness (News year 2020, Has title Euler Well-Composedness, Published in Combinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020)
- Evaluating complex MAC protocols for sensor networks with APMC (News year 2006, Has title Evaluating complex MAC protocols for sensor networks with APMC, Published in Proceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS))
- 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, Published in Complex Network 2021)
- Exact optimization of discrete constrained total variation minimization problems (News year 2004, Has title Exact optimization of discrete constrained total variation minimization problems, Published in Proceedings of the 10th International Workshop on Combinatorial Image Analysis (IWCIA))
- 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), Published in Label-free Biomedical Imaging and Sensing (LBIS) 2020)
- 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))
- Expression templates in Ada 95 (News year 2001, Has title Expression templates in Ada 95, Published in Proceedings of the 6th International Conference on Reliable Software Technologies (Ada-Europe))
- 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))
- Extensible languages: blurring the distinction between DSLs and GPLs (News year 2012, Has title Extensible languages: blurring the distinction between DSLs and GPLs, Published in Formal and Practical Aspects of Domain-Specific Languages: Recent Developments)
- 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))
- 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, Published in Proceedings of the 25th International Conference on Pattern Recognition (ICPR))
- 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, Published in Proceedings of the EURASIP Workshop on Nonlinear Signal and Image Processing (NSIP))
- 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, Published in SIAM Conference on Imaging Sciences)
- 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, Published in Computer Vision and Graphics—International Conference on Computer Vision and Graphics (ICCVG), Warsaw, PolandSeptember 2004)
- 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, Published in EURASIP Journal on Applied Signal Processing)
- Featured Games (News year 2022, Has title Featured Games, Published in Science of Computer Programming)
- 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, Published in Proceedings of the 27st Symposium on Signal and Image Processing (GRETSI))
- 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, Published in European Lisp Symposium)
- First Attempt at Boltzmann Machines for Speaker Recognition (News year 2012, Has title First Attempt at Boltzmann Machines for Speaker Recognition, Published in Odyssey Speaker and Language Recognition Workshop)
- Forecasting Electricity Prices: An Optimize Then Predict-Based Approach (News year 2023, Has title Forecasting Electricity Prices: An Optimize Then Predict-Based Approach, Published in Advances in Intelligent Data Analysis XXI)
- 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))
- 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?, Published in Proceedings of the 34th International Conference on Computer Aided Verification (CAV'22))
- 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))
- Front-End Factor Analysis For Speaker Verification (News year 2011, Has title Front-End Factor Analysis For Speaker Verification, Published in IEEE Transactions on Audio, Speech, and Language Processing)
- 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, Published in Pattern Recognition Letters)
- 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)
- 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, Published in Assises de Génétique Humaine et Médicale)
- Generalized Büchi Automata versus Testing Automata for Model Checking (News year 2011, Has title Generalized Büchi Automata versus Testing Automata for Model Checking, Published in Proceedings of the second International Workshop on Scalable and Usable Model Checking for Petri Net and other models of Concurrency (SUMO'11))
- Generic Emptiness Check for Fun and Profit (News year 2019, Has title Generic Emptiness Check for Fun and Profit, Published in Proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis (ATVA'19))
- Generic Image Processing with Climb (News year 2012, Has title Generic Image Processing with Climb, Published in European Lisp Symposium)
- Generic algorithmic blocks dedicated to image processing (News year 2004, Has title Generic algorithmic blocks dedicated to image processing, Published in Proceedings of the ECOOP Workshop for PhD Students)
- Generic design patterns in C++ (News year 2001, Has title Generic design patterns in C++, Published in Proceedings of the 6th USENIX Conference on Object-Oriented Technologies and Systems (COOTS))
- Generic implementation of morphological image operators (News year 2002, Has title Generic implementation of morphological image operators, Published in Mathematical Morphology, Proceedings of the 6th International Symposium (ISMM))
- Generic programming redesign of patterns (News year 2000, Has title Generic programming redesign of patterns, Published in Proceedings of the 5th European Conference on Pattern Languages of Programs (EuroPLoP))
- Getting a morphological Tree of Shapes for Multivariate Images: Paths, Traps and Pitfalls (News year 2014, Has title Getting a morphological Tree of Shapes for Multivariate Images: Paths, Traps and Pitfalls, Published in Proceedings of the 21st International Conference on Image Processing (ICIP))
- 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, Published in Proceedings of the twelfth International Workshop on Combinatorial Image Analysis (IWCIA'08))
- 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, Published in Proceedings of the 27th International SPIN Symposium on Model Checking of Software (SPIN'21))
- 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), Published in International Journal on Software Tools for Technology Transfer (STTT))
- Going beyond p-convolutions to learn grayscale morphological operators (News year 2021, Has title Going beyond p-convolutions to learn grayscale morphological operators, Published in Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM))
- 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, Published in Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM))
- 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, Published in Information and Computation)
- 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, Published in 28e Colloque sur le traitement du signal et des images)
- Hate Speech and Toxic Comment Detection using Transformers (News year 2022, Has title Hate Speech and Toxic Comment Detection using Transformers, Published in Workshop EGC 2022 DL for NLP)
- Heuristics for Checking Liveness Properties with Partial Order Reductions (News year 2016, Has title Heuristics for Checking Liveness Properties with Partial Order Reductions, Published in Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16))
- Hierarchical 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)
- Hierarchical Set Decision Diagrams and Automatic Saturation (News year 2008, Has title Hierarchical Set Decision Diagrams and Automatic Saturation, Published in Petri Nets and Other Models of Concurrency –ICATPN 2008)
- 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)
- 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, Published in Computers in Biology and Medicine)
- Higher-Dimensional Timed and Hybrid Automata (News year 2022, Has title Higher-Dimensional Timed and Hybrid Automata, Published in Leibniz Transactions on Embedded Systems)
- 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, Published in Remote Sensing)
- 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, Published in Journal of Mathematical Imaging and Vision)
- 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))
- 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))
- 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, Published in IAENG International Journal of Computer Science)
- How to make Lisp go faster than C (News year 2007, Has title How to make Lisp go faster than C, Published in Proceedings of the International MultiConference of Engineers and Computer Scientists)
- ICDAR 2021 Competition on Historical Map Segmentation (News year 2021, Has title ICDAR 2021 Competition on Historical Map Segmentation, Published in Proceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21))
- 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, Published in Journal of Mathematical Imaging and Vision)
- 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, Published in Journal of Mathematical Imaging and Vision)
- Implementation Concepts in Vaucanson 2 (News year 2013, Has title Implementation Concepts in Vaucanson 2, Published in Proceedings of Implementation and Application of Automata18th International Conference (CIAA'13))
- Implementing Baker's SUBTYPEP decision procedure (News year 2019, Has title Implementing Baker's SUBTYPEP decision procedure, Published in 12th European Lisp Symposium)
- 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, Published in Proceedings of the 12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECOS'18))
- Improving swarming using genetic algorithms (News year 2020, Has title Improving swarming using genetic algorithms, Published in Innovations in Systems and Software Engineering: a NASA journal (ISSE))
- 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, Published in Workshop on eXplainable Knowledge Discovery in Data Mining. Machine Learning and Principles and Practice of Knowledge Discovery in Databases - International Workshops of ECML PKDD 2022, GrenobleFrance, September 19-23, 2022, Proceedings, Part I)
- 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, Published in Data & Knowledge Engineering)
- Inside Vaucanson (News year 2005, Has title Inside Vaucanson, Published in Proceedings of Implementation and Application of Automata10th International Conference (CIAA))
- 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, Published in Proceedings of the 5th MICCAI Workshop & Challenge on Computational Methods and Clinical Applications for Spine Imaging (CSI))
- Introducing Multivariate Connected Openings and Closings (News year 2019, Has title Introducing Multivariate Connected Openings and Closings, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM))
- Introducing Vaucanson (News year 2003, Has title Introducing Vaucanson, Published in Proceedings of Implementation and Application of Automata8th International Conference (CIAA'03))
- Introducing Vaucanson (News year 2004, Has title Introducing Vaucanson, Published in Theoretical Computer Science)
- Introducing the Boundary-Aware Loss for Deep Image Segmentation (News year 2021, Has title Introducing the Boundary-Aware Loss for Deep Image Segmentation, Published in Proceedings of the 32nd British Machine Vision Conference (BMVC))
- 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))
- Introduction to the Special Issue on Distributed Hybrid Systems (News year 2022, Has title Introduction to the Special Issue on Distributed Hybrid Systems, Published in Leibniz Transactions on Embedded 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?, Published in Proceedings of the 21th International SPIN Symposium on Model Checking of Software (SPIN'14))
- 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, Published in Proceedings of the Speaker and Language Recognition Workshop (IEEE-Odyssey 2008))
- LRDE Speaker Recognition System for NIST-SRE 2010 (News year 2010, Has title LRDE Speaker Recognition System for NIST-SRE 2010, Published in NIST 2010 Speaker Recognition Evaluation)
- LRDE System description (News year 2006, Has title LRDE System description, Published in NIST SRE'06 Workshop: speaker recognition evaluation campaign)
- LTL Model Checking for Communicating Concurrent Programs (News year 2020, Has title LTL Model Checking for Communicating Concurrent Programs, Published in Innovations in Systems and Software Engineering: a NASA journal (ISSE))
- LTL Model Checking with Neco (News year 2013, Has title LTL Model Checking with Neco, Published in Proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13))
- LTL Translation Improvements in Spot (News year 2011, Has title LTL Translation Improvements in Spot, Published in Proceedings of the 5th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS'11))
- LTL Translation Improvements in Spot 1.0 (News year 2014, Has title LTL Translation Improvements in Spot 1.0, Published in International Journal on Critical Computer-Based Systems)
- LTL under reductions with weaker conditions than stutter invariance (News year 2022, Has title LTL under reductions with weaker conditions than stutter invariance, Published in Proceedings of the 41th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'22))
- La pseudo-distance du dahu (News year 2017, Has title La pseudo-distance du dahu, Published in Actes d'ORASIS)
- 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, Published in Proc. Interspeech 2022)
- Language Recognition via I-Vectors and Dimensionality Reduction (News year 2011, Has title Language Recognition via I-Vectors and Dimensionality Reduction, Published in INTERSPEECH 2011)
- Learning Diversity Attributes in Multi-Session Recommendations (News year 2022, Has title Learning Diversity Attributes in Multi-Session Recommendations, Published in 2022 IEEE International Conference on Big Data (Big Data))
- 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, Published in Proceedings of the 45th IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP))
- Learning Grayscale Mathematical Morphology with Smooth Morphological Layers (News year 2022, Has title Learning Grayscale Mathematical Morphology with Smooth Morphological Layers, Published in Journal of Mathematical Imaging and Vision)
- 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, Published in Proceedings of the 29th European Signal Processing Conference (EUSIPCO))
- 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, Published in Proceedings of the Workshop on Statistical Atlases and Computational Modelling of the Heart (STACOM 2018), in conjunction with MICCAI)
- 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, Published in Proceedings of the European Conference on Speech Communication and Technologies (Interspeech'07))
- Lisp, Jazz, Aikido (News year 2018, Has title Lisp, Jazz, Aikido, Published in The Art, Science and Engineering of Programming Journal)
- Local Intensity Order Transformation for Robust Curvilinear Object Segmentation (News year 2022, Has title Local Intensity Order Transformation for Robust Curvilinear Object Segmentation, Published in IEEE Transactions on Image Processing)
- 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, Published in Proceedings of the 6th IAPR TC-15 Workshop on Graph-based Representations in Pattern Recognition (GBR))
- MITLL 2012 Speaker Recognition Evaluation System Description (News year 2012, Has title MITLL 2012 Speaker Recognition Evaluation System Description, Published in NIST Speaker Recognition Evaluation)
- 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)
- Making Compiler Construction Projects Relevant to Core Curriculums (News year 2005, Has title Making Compiler Construction Projects Relevant to Core Curriculums, Published in Proceedings of the Tenth Annual Conference on Innovation and Technology in Computer Science Education (ITICSE'05))
- Manipulating LTL formulas using Spot 1.0 (News year 2013, Has title Manipulating LTL formulas using Spot 1.0, Published in Proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13))
- Max-Tree Computation on GPUs (News year 2022, Has title Max-Tree Computation on GPUs, Published in IEEE Transactions on Parallel and Distributed Systems)
- Meaningful disjoint level lines selection (News year 2014, Has title Meaningful disjoint level lines selection, Published in Proceedings of the 21st International Conference on Image Processing (ICIP))
- Mechanizing the Minimization of Deterministic Generalized Büchi Automata (News year 2014, Has title Mechanizing the Minimization of Deterministic Generalized Büchi Automata, Published in Proceedings of the 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'14))
- Metagene, a C++ meta-program generation tool (News year 2004, Has title Metagene, a C++ meta-program generation tool, Published in Proceedings of the Workshop on Multiple Paradigm with OO Languages (MPOOL; in conjunction with ECOOP))
- Method Combinators (News year 2018, Has title Method Combinators, Published in 11th European Lisp Symposium)
- Methods for Explaining Top-N Recommendations Through Subgroup Discovery (News year 2022, Has title Methods for Explaining Top-N Recommendations Through Subgroup Discovery, Published in Data Mining and Knowledge 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, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the Ninth International Symposium on Mathematical Morphology (ISMM))
- Model Checking using Generalized Testing Automata (News year 2012, Has title Model Checking using Generalized Testing Automata, Published in Transactions on Petri Nets and Other Models of Concurrency (ToPNoC VI))
- Model checking with generalized Rabin and Fin-less automata (News year 2019, Has title Model checking with generalized Rabin and Fin-less automata, Published in International Journal on Software Tools for Technology Transfer)
- Modeling of Sensor Networks Using XRM (News year 2006, Has title Modeling of Sensor Networks Using XRM, Published in Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'06))
- 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, Published in Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19))
- 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, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM))
- Morphological Filtering in Shape Spaces : Applications using Tree-Based Image Representations (News year 2012, Has title Morphological Filtering in Shape Spaces : Applications using Tree-Based Image Representations, Published in Proceedings of the 21st International Conference on Pattern Recognition (ICPR))
- 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 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))
- Morphologie et algorithmes (News year 2010, Has title Morphologie et algorithmes, Published in Morphologie mathématique 2 : estimation, choix et mise en œuvre)
- 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))
- Motion Compensation in Digital Holography for Retinal Imaging (News year 2018, Has title Motion Compensation in Digital Holography for Retinal Imaging, Published in Proceedings of the IEEE International Symposium on Biomedical Imaging (ISBI))
- Motion compensation based on Tangent Distance prediction for video compression (News year 2012, Has title Motion compensation based on Tangent Distance prediction for video compression, Published in Signal Processing: Image Communication)
- 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, Published in Proceedings of the IEEE International Conference on Image Processing (ICIP))
- 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, Published in 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems)
- New Security Protocols for Offline Point-of-Sale Machines (News year 2022, Has title New Security Protocols for Offline Point-of-Sale Machines, Published in 36th International Conference on Advanced Information Networking and Applications (AINA))
- NixOS: A purely functional Linux distribution (News year 2010, Has title NixOS: A purely functional Linux distribution, Published in Journal of Functional Programming)
- 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, Published in IEEE Transactions on Geoscience and Remote Sensing)
- Obtaining genericity for image processing and pattern recognition algorithms (News year 2000, Has title Obtaining genericity for image processing and pattern recognition algorithms, Published in Proceedings of the 15th International Conference on Pattern Recognition (ICPR))
- 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, Published in Proceedings of the 2nd International Symposium on Generative and Component-Based Software Engineering (GCSE)—Young Researchers Workshop; published in “Net.ObjectDays2000”)
- On GNN Explainability with Activation Rules (News year 2022, Has title On GNN Explainability with Activation Rules, Published in Data Mining and Knowledge Discovery)
- On Making nD Images Well-Composed by a Self-Dual Local Interpolation (News year 2014, Has title On Making nD Images Well-Composed by a Self-Dual Local Interpolation, Published in Proceedings of the 18th International Conference on Discrete Geometry for Computer Imagery (DGCI))
- 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))
- On Robustness for the Skolem and Positivity Problems (News year 2022, Has title On Robustness for the Skolem and Positivity Problems, Published in 39th International Symposium on Theoretical Aspects of Computer Science STACS)
- On Some Associations Between Mathematical Morphology and Artificial Intelligence (News year 2021, Has title On Some Associations Between Mathematical Morphology and Artificial Intelligence, Published in Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM))
- On a Polynomial Vector Field Model for Shape Representation (News year 2006, Has title On a Polynomial Vector Field Model for Shape Representation, Published in Proceedings of the International Conference on Image Analysis and Recognition (ICIAR))
- 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, Published in Proceedings of the Parallel/High-performance Object-Oriented Scientific Computing (POOSC; in conjunction with ECOOP))
- 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, Published in Proceedings of the 12th NASA Formal Methods Symposium (NFM'20))
- 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, Published in Proceedings of the 2007 International Conference on New Technologies, Mobility and Security (NTMS'07))
- 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, Published in Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09))
- 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, Published in Proceedings of the 21st International Conference on Discrete Geometry for Computer Imagery (DGCI))
- Optimization of the Product Configuration System of Renault (News year 2023, Has title Optimization of the Product Configuration System of Renault, Published in SAC '23: The 38th ACM/SIGAPP Symposium on Applied Computing)
- 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, Published in Medical Image Analysis)
- 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))
- 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)
- 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))
- 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))
- 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)
- 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))
- Parallelizing Quickref (News year 2019, Has title Parallelizing Quickref, Published in 12th European Lisp Symposium)
- 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))
- Person authentication based on hand shape (News year 2004, Has title Person authentication based on hand shape, Published in Proceedings of 12th European Signal Processing Conference (EUSIPCO))