Semantic search
No value
- Report on the 5th Workshop ELW at ECOOP 2008 (News year 2008, Has title Report on the 5th Workshop ELW at ECOOP 2008, Published in Object-Oriented Technology. ECOOP 2008 Workshop Reader)
- Revisiting the Visitor: the Just Do It Pattern (News year 2008, Has title Revisiting the Visitor: the Just Do It Pattern, Published in Proceedings of the ACCU Conference 2009)
- The LRDE Systems for the 2008 NIST Speaker Recognition Evaluation (News year 2008, Has title The LRDE Systems for the 2008 NIST Speaker Recognition Evaluation, Published in NIST-SRE 2008)
- 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))
- A Set of Tools to Teach Compiler Construction (News year 2008, Has title A Set of Tools to Teach Compiler Construction, Published in Proceedings of the Thirteenth Annual Conference on Innovation and Technology in Computer Science Education (ITICSE'08))
- Semantics driven disambiguation: A comparison of different approaches (News year 2008, Has title Semantics driven disambiguation: A comparison of different approaches, Published in Proceedings of the 8th workshop on Language DescriptionsTools and Applications (LDTA'08))
- 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))
- TWEAST: A Simple and Effective Technique to Implement Concrete-Syntax AST Rewriting Using Partial Parsing (News year 2008, Has title TWEAST: A Simple and Effective Technique to Implement Concrete-Syntax AST Rewriting Using Partial Parsing, Published in Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC'09))
- Semantics-Driven Genericity: A Sequel to the Static C++ Object-Oriented Programming Paradigm (SCOOP 2) (News year 2008, Has title Semantics-Driven Genericity: A Sequel to the Static C++ Object-Oriented Programming Paradigm (SCOOP 2), Published in Proceedings of the 6th International Workshop on Multiparadigm Programming with Object-Oriented Languages (MPOOL))
- 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))
- 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))
- 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)
- CLOS Efficiency: Instantiation (News year 2009, Has title CLOS Efficiency: Instantiation, Published in Proceedings of the International Lisp Conference)
- 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)
- Support Vector Machines and Joint Factor Analysis for Speaker Verification (News year 2009, Has title Support Vector Machines and Joint Factor Analysis for Speaker Verification, Published in IEEE-ICASSP)
- Support Vector Machines versus Fast Scoring in the Low-Dimensional Total Variability Space for Speaker Verification (News year 2009, Has title Support Vector Machines versus Fast Scoring in the Low-Dimensional Total Variability Space for Speaker Verification, Published in Interspeech)
- Cepstral and Long-Term Features for Emotion Recognition (News year 2009, Has title Cepstral and Long-Term Features for Emotion Recognition, Published in Interspeech)
- Génération efficace de grands espaces d'états (News year 2009, Has title Génération efficace de grands espaces d'états)
- Sémantique paramétrable des Diagrammes de Décision : une démarche vers l'unification (News year 2009, Has title Sémantique paramétrable des Diagrammes de Décision : une démarche vers l'unification)
- Why and How to Design a Generic and Efficient Image Processing Framework: The Case of the Milena Library (News year 2010, Has title Why and How to Design a Generic and Efficient Image Processing Framework: The Case of the Milena Library, Published in Proceedings of the IEEE International Conference on Image Processing (ICIP))
- Classes, Styles, Conflicts: the Biological Realm of LaTeX (News year 2010, Has title Classes, Styles, Conflicts: the Biological Realm of LaTeX, Published in TUGboat)
- NixOS: A purely functional Linux distribution (News year 2010, Has title NixOS: A purely functional Linux distribution, Published in Journal of Functional Programming)
- Algorithms for Mathematical Morphology (News year 2010, Has title Algorithms for Mathematical Morphology, Published in Mathematical Morphology—From Theory to Applications)
- Morphologie et algorithmes (News year 2010, Has title Morphologie et algorithmes, Published in Morphologie mathématique 2 : estimation, choix et mise en œuvre)
- polyDD: Towards a Framework Generalizing Decision Diagrams (News year 2010, Has title polyDD: Towards a Framework Generalizing Decision Diagrams, Published in Proceedings of the 10th International Conference on Application of Concurrency to System Design (ACSD))
- SnooperText: A Multiresolution System for Text Detection in Complex Visual Scenes (News year 2010, Has title SnooperText: A Multiresolution System for Text Detection in Complex Visual Scenes, Published in Proceedings of the IEEE International Conference on Image Processing (ICIP))
- Revisiting the Visitor: the Just Do It Pattern (News year 2010, Has title Revisiting the Visitor: the Just Do It Pattern, Published in Journal of Universal Computer Science)
- 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)
- 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)
- Unsupervised Speaker Adaptation based on the Cosine Similarity for Text-Independent Speaker Verification (News year 2010, Has title Unsupervised Speaker Adaptation based on the Cosine Similarity for Text-Independent Speaker Verification, Published in Odyssey The Speaker and Language Recognition)
- 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)
- Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking (News year 2011, Has title Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking, Published in Proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis (ATVA'11))
- 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))
- The SCRIBO Module of the Olena Platform: a Free Software Framework for Document Image Analysis (News year 2011, Has title The SCRIBO Module of the Olena Platform: a Free Software Framework for Document Image Analysis, Published in Proceedings of the 11th International Conference on Document Analysis and Recognition (ICDAR))
- Une approche générique du logiciel pour le traitement d'images préservant les performances (News year 2011, Has title Une approche générique du logiciel pour le traitement d'images préservant les performances, Published in Proceedings of the 23rd Symposium on Signal and Image Processing (GRETSI))
- Towards LaTeX Coding Standards (News year 2011, Has title Towards LaTeX Coding Standards, Published in TUGboat)
- 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)
- Towards a Software Architecture for Generic Image Processing (News year 2011, Has title Towards a Software Architecture for Generic Image Processing)
- 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))
- 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)
- 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)
- A Channel-Blind System for Speaker Verification (News year 2011, Has title A Channel-Blind System for Speaker Verification, Published in International Conference on Acoustics, Speech and Signal Processing (ICASSP))
- 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)
- Writing Reusable Digital Geometry Algorithms in a Generic Image Processing Framework (News year 2012, Has title Writing Reusable Digital Geometry Algorithms in a Generic Image Processing Framework, Published in Proceedings of the Workshop on Applications of Digital Geometry and Mathematical Morphology (WADGMM))
- Writing Reusable Digital Topology Algorithms in a Generic Image Processing Framework (News year 2012, Has title Writing Reusable Digital Topology Algorithms in a Generic Image Processing Framework, Published in WADGMM 2010)
- Generic Image Processing with Climb (News year 2012, Has title Generic Image Processing with Climb, Published in European Lisp Symposium)
- 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))
- 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))
- 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)
- 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)