Search by property
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- Revisiting the Visitor: the Just Do It Pattern + (2008)
- The LRDE Systems for the 2008 NIST Speaker Recognition Evaluation + (2008)
- An XML format proposal for the description of weighted automata, transducers, and regular expressions + (2008)
- A Set of Tools to Teach Compiler Construction + (2008)
- Semantics driven disambiguation: A comparison of different approaches + (2008)
- Global Optimization for First Order Markov Random Fields with Submodular Priors + (2008)
- Compiler Construction as an Effective Application to Teach Object-Oriented Programming + (2008)
- TWEAST: A Simple and Effective Technique to Implement Concrete-Syntax AST Rewriting Using Partial Parsing + (2008)
- Semantics-Driven Genericity: A Sequel to the Static C++ Object-Oriented Programming Paradigm (SCOOP 2) + (2008)
- On-the-fly Emptiness Check of Transition-based Streett Automata + (2009)
- Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images + (2009)
- Binary Methods Programming: the CLOS Perspective + (2009)
- CLOS Efficiency: Instantiation + (2009)
- Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation + (2009)
- Support Vector Machines and Joint Factor Analysis for Speaker Verification + (2009)
- Support Vector Machines versus Fast Scoring in the Low-Dimensional Total Variability Space for Speaker Verification + (2009)
- Cepstral and Long-Term Features for Emotion Recognition + (2009)
- Génération efficace de grands espaces d'états + (2009)
- Sémantique paramétrable des Diagrammes de Décision : une démarche vers l'unification + (2009)
- Why and How to Design a Generic and Efficient Image Processing Framework: The Case of the Milena Library + (2010)
- Classes, Styles, Conflicts: the Biological Realm of LaTeX + (2010)
- NixOS: A purely functional Linux distribution + (2010)
- Algorithms for Mathematical Morphology + (2010)
- Morphologie et algorithmes + (2010)
- polyDD: Towards a Framework Generalizing Decision Diagrams + (2010)
- SnooperText: A Multiresolution System for Text Detection in Complex Visual Scenes + (2010)
- Revisiting the Visitor: the Just Do It Pattern + (2010)
- LRDE Speaker Recognition System for NIST-SRE 2010 + (2010)
- Cosine Similarity Scoring without Score Normalization Techniques + (2010)
- Unsupervised Speaker Adaptation based on the Cosine Similarity for Text-Independent Speaker Verification + (2010)
- CLoX: Common Lisp objects for XEmacs + (2010)
- A Channel-Blind System for Speaker Verification + (2011)
- Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them + (2011)
- Building LTL Model Checkers using Transition-based Generalized Büchi Automata + (2011)
- Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking + (2011)
- Front-End Factor Analysis For Speaker Verification + (2011)
- Generalized Büchi Automata versus Testing Automata for Model Checking + (2011)
- LTL Translation Improvements in Spot + (2011)
- Language Recognition via I-Vectors and Dimensionality Reduction + (2011)
- Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking + (2011)
- The SCRIBO Module of the Olena Platform: a Free Software Framework for Document Image Analysis + (2011)
- Towards LaTeX Coding Standards + (2011)
- Towards a Software Architecture for Generic Image Processing + (2011)
- Une approche générique du logiciel pour le traitement d'images préservant les performances + (2011)
- Writing Reusable Digital Geometry Algorithms in a Generic Image Processing Framework + (2012)
- Writing Reusable Digital Topology Algorithms in a Generic Image Processing Framework + (2012)
- Generic Image Processing with Climb + (2012)
- Context-Based Energy Estimator: Application to Object Segmentation on the Tree of Shapes + (2012)
- Morphological Filtering in Shape Spaces : Applications using Tree-Based Image Representations + (2012)
- Motion compensation based on Tangent Distance prediction for video compression + (2012)
- Outil logiciel pour le traitement d'images: Bibliothèque, paradigmes, types et algorithmes + (2012)
- First Attempt at Boltzmann Machines for Speaker Recognition + (2012)
- Extensible languages: blurring the distinction between DSLs and GPLs + (2012)
- Star TeX : the Next Generation + (2012)
- Model Checking using Generalized Testing Automata + (2012)
- MITLL 2012 Speaker Recognition Evaluation System Description + (2012)
- JSPP: Morphing C++ into JavaScript + (2012)
- Implementation Concepts in Vaucanson 2 + (2013)
- Efficient Multiscale Sauvola's Binarization + (2013)
- Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking + (2013)
- Manipulating LTL formulas using Spot 1.0 + (2013)
- Text detection in street level image + (2013)
- LTL Model Checking with Neco + (2013)