# Semantic search

No value

- 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)
- 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)
- 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 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))
- 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)
- 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)
- 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))
- 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))
- 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))
- ENST-IRCGN System Description (News year 2006, Has title ENST-IRCGN System Description, Published in NIST SRE'06 Workshop: speaker recognition evaluation campaign)
- 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))
- 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 Multiscale Sauvola's Binarization (News year 2013, Has title Efficient Multiscale Sauvola's Binarization, Published in International Journal of Document Analysis and Recognition (IJDAR))
- Efficient dynamic type checking of heterogeneous sequences (News year 2016, Has title Efficient dynamic type checking of heterogeneous sequences)
- 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 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))
- 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))
- 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)