Special

Semantic search

 News year
An Efficient Algorithm for Connected Attribute Thinnings and Thickenings2006
An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1D2019
An Equivalence Relation between Morphological Dynamics and Persistent Homology in n-D2021
An Experience Report on the Optimization of the Product Configuration System of Renault2023
An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming2018
An Innovative and Decentralized Identity Framework Based on Blockchain Technology2021
An XML format proposal for the description of weighted automata, transducers, and regular expressions2008
An asynchronous architecture to manage communicationdisplay, and user interaction in distributed virtual environments2000
An efficient algorithm for attribute openings and closings2005
Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set2017
Anomaly Detection on Static and Dynamic Graphs using Graph Convolutional Neural Networks2022
Applying generic programming to image processing2001
Approaches in Typecase Optimization2018
Approximate Nash Equilibria for Multi-Player Games2008
Approximate Probabilistic Model Checking for Programs2006
Atlas-guided recognition of cerebral structures in MRI using fusion of fuzzy structural information1999
Attribute Grammars for Modular Disambiguation2006
Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness2017
Automatically Guided Selection of a Set of Underwater Calibration Images2022
Automation of Binary Analysis: From Open Source Collection to Threat Intelligence2021
Beating C in Scientific Computing Applications2006
Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge2019
Benchmarking Keypoint Filtering Approaches for Document Image Matching2017
Binary Methods Programming: the CLOS Perspective2009
Binary Methods Programming: the CLOS Perspective (extended version)2008
Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them2011
Blockchain-Based Solution for Detecting and Preventing Fake Check Scams2021
Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images2019
Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation2009
C-Transformers — A Framework to Write C Program Transformations2005
CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving2018
CLOS Efficiency: Instantiation2009
CLOS solutions to binary methods2007
CLoX: Common Lisp objects for XEmacs2010
Caractérisation des zones de mouvement périodiques pour applications bio-médicales2017
Catoids and Modal Convolution Algebras2023
Cepstral and Long-Term Features for Emotion Recognition2009
Classes, Styles, Conflicts: the Biological Realm of LaTeX2010
Color image segmentation based on automatic morphological clustering2001
Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation2021
Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking2011
Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata2015
Combining Parallel Emptiness Checks with Partial Order Reductions2019
Community and LBD-based Clause Sharing Policy for Parallel SAT Solving2020
Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map2022
Comparison Between Factor Analysis and GMM Support Vector Machines for Speaker Verification2007
Composants logiciels et algorithmes de minimisation exacte d'énergies dédidées au traitement d'images2005
Compositional Approach to Suspension and Other Improvements to LTL Translation2013
Connected Filtering on Tree-Based Shape-Spaces2015
Connected Filters on Generalized Shape-Spaces2019