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)