Semantic search
2006
- An Efficient Algorithm for Connected Attribute Thinnings and Thickenings (Has title An Efficient Algorithm for Connected Attribute Thinnings and Thickenings)
- Approximate Probabilistic Model Checking for Programs (Has title Approximate Probabilistic Model Checking for Programs)
- Attribute Grammars for Modular Disambiguation (Has title Attribute Grammars for Modular Disambiguation)
- Beating C in Scientific Computing Applications (Has title Beating C in Scientific Computing Applications)
2019
- An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1D (Has title An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1D)
- Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge (Has title Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge)
- Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images (Has title Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images)
- Combining Parallel Emptiness Checks with Partial Order Reductions (Has title Combining Parallel Emptiness Checks with Partial Order Reductions)
- Connected Filters on Generalized Shape-Spaces (Has title Connected Filters on Generalized Shape-Spaces)
2021
- An Equivalence Relation between Morphological Dynamics and Persistent Homology in n-D (Has title An Equivalence Relation between Morphological Dynamics and Persistent Homology in n-D)
- An Innovative and Decentralized Identity Framework Based on Blockchain Technology (Has title An Innovative and Decentralized Identity Framework Based on Blockchain Technology)
- Automation of Binary Analysis: From Open Source Collection to Threat Intelligence (Has title Automation of Binary Analysis: From Open Source Collection to Threat Intelligence)
- Blockchain-Based Solution for Detecting and Preventing Fake Check Scams (Has title Blockchain-Based Solution for Detecting and Preventing Fake Check Scams)
- Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation (Has title Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation)
2023
- An Experience Report on the Optimization of the Product Configuration System of Renault (Has title An Experience Report on the Optimization of the Product Configuration System of Renault)
- Catoids and Modal Convolution Algebras (Has title Catoids and Modal Convolution Algebras)
2018
- An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming (Has title An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming)
- Approaches in Typecase Optimization (Has title Approaches in Typecase Optimization)
- CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving (Has title CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving)
2008
- An XML format proposal for the description of weighted automata, transducers, and regular expressions (Has title An XML format proposal for the description of weighted automata, transducers, and regular expressions)
- Approximate Nash Equilibria for Multi-Player Games (Has title Approximate Nash Equilibria for Multi-Player Games)
- Binary Methods Programming: the CLOS Perspective (extended version) (Has title Binary Methods Programming: the CLOS Perspective (extended version))
2000
- An asynchronous architecture to manage communicationdisplay, and user interaction in distributed virtual environments (Has title An asynchronous architecture to manage communicationdisplay, and user interaction in distributed virtual environments)
2005
- An efficient algorithm for attribute openings and closings (Has title An efficient algorithm for attribute openings and closings)
- C-Transformers — A Framework to Write C Program Transformations (Has title C-Transformers — A Framework to Write C Program Transformations)
- Composants logiciels et algorithmes de minimisation exacte d'énergies dédidées au traitement d'images (Has title Composants logiciels et algorithmes de minimisation exacte d'énergies dédidées au traitement d'images)
2017
- Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set (Has title Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set)
- Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness (Has title Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness)
- Benchmarking Keypoint Filtering Approaches for Document Image Matching (Has title Benchmarking Keypoint Filtering Approaches for Document Image Matching)
- Caractérisation des zones de mouvement périodiques pour applications bio-médicales (Has title Caractérisation des zones de mouvement périodiques pour applications bio-médicales)
2022
- Anomaly Detection on Static and Dynamic Graphs using Graph Convolutional Neural Networks (Has title Anomaly Detection on Static and Dynamic Graphs using Graph Convolutional Neural Networks)
- Automatically Guided Selection of a Set of Underwater Calibration Images (Has title Automatically Guided Selection of a Set of Underwater Calibration Images)
- Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map (Has title Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map)
2001
- Applying generic programming to image processing (Has title Applying generic programming to image processing)
- Color image segmentation based on automatic morphological clustering (Has title Color image segmentation based on automatic morphological clustering)
1999
- Atlas-guided recognition of cerebral structures in MRI using fusion of fuzzy structural information (Has title Atlas-guided recognition of cerebral structures in MRI using fusion of fuzzy structural information)
2009
- Binary Methods Programming: the CLOS Perspective (Has title Binary Methods Programming: the CLOS Perspective)
- Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation (Has title Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation)
- CLOS Efficiency: Instantiation (Has title CLOS Efficiency: Instantiation)
- Cepstral and Long-Term Features for Emotion Recognition (Has title Cepstral and Long-Term Features for Emotion Recognition)
2011
- Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them (Has title Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them)
- Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking (Has title Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking)
2007
- CLOS solutions to binary methods (Has title CLOS solutions to binary methods)
- Comparison Between Factor Analysis and GMM Support Vector Machines for Speaker Verification (Has title Comparison Between Factor Analysis and GMM Support Vector Machines for Speaker Verification)
2010
- CLoX: Common Lisp objects for XEmacs (Has title CLoX: Common Lisp objects for XEmacs)
- Classes, Styles, Conflicts: the Biological Realm of LaTeX (Has title Classes, Styles, Conflicts: the Biological Realm of LaTeX)
2015
- Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata (Has title Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata)
- Connected Filtering on Tree-Based Shape-Spaces (Has title Connected Filtering on Tree-Based Shape-Spaces)
2020
- Community and LBD-based Clause Sharing Policy for Parallel SAT Solving (Has title Community and LBD-based Clause Sharing Policy for Parallel SAT Solving)
2013
- Compositional Approach to Suspension and Other Improvements to LTL Translation (Has title Compositional Approach to Suspension and Other Improvements to LTL Translation)