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
- An Efficient Algorithm for Connected Attribute Thinnings and Thickenings + (2006)
- ENST-IRCGN System Description + (2006)
- How to make Lisp go faster than C + (2006)
- Shape-based hand recognition + (2006)
- Project EFIGI: Automatic classification of galaxies + (2006)
- Evaluating complex MAC protocols for sensor networks with APMC + (2006)
- On a Polynomial Vector Field Model for Shape Representation + (2006)
- Approximate Probabilistic Model Checking for Programs + (2006)
- Image restoration with discrete constrained Total Variation—Part I: Fast and exact optimization + (2006)
- Image restoration with discrete constrained Total Variation—Part II: Levelable functions, convex priors and non-convex case + (2006)
- Fast and Exact Discrete Image Restoration Based on Total Variation and on Its Extensions to Levelable Potentials + (2006)
- A note on nice-levelable MRFs for SAR image denoising with contrast preservation + (2006)
- The use of levelable regularization functions for MRF restoration of SAR images + (2006)
- A Note on the Discrete Binary Mumford-Shah Model + (2006)
- Attribute Grammars for Modular Disambiguation + (2006)
- LRDE System description + (2006)
- Modeling of Sensor Networks Using XRM + (2006)
- Probabilistic Verification of Sensor Networks + (2006)
- Stochastic routing in large grid-shaped quantum networks + (2006)
- libDMC: a library to Operate Efficient Distributed Model Checking + (2007)
- Web services at TERAPIX + (2007)
- 10 years of confrontation between French Internet users and their successive governments + (2007)
- How to make Lisp go faster than C + (2007)
- CLOS solutions to binary methods + (2007)
- Local reasoning in fuzzy attribute graphs for optimizing sequential segmentation + (2007)
- The Role of Speaker Factors in the NIST Extended Data Task + (2007)
- On the security of quantum networks: a proposal framework and its capacity + (2007)
- Algorithme de calcul de l'arbre des composantes avec applications à la reconnaissance des formes en imagerie satellitaire + (2007)
- Effective Component Tree Computation with Application to Pattern Recognition in Astronomical Imaging + (2007)
- Linear and Non Linear Kernel GMM SuperVector Machines for Speaker Verification + (2007)
- Kernel Combination for SVM Speaker Verification + (2007)
- Comparison Between Factor Analysis and GMM Support Vector Machines for Speaker Verification + (2007)
- A Set of Tools to Teach Compiler Construction + (2008)
- A Survey of French Local e-Democracy + (2008)
- An XML format proposal for the description of weighted automata, transducers, and regular expressions + (2008)
- Approximate Nash Equilibria for Multi-Player Games + (2008)
- Binary Methods Programming: the CLOS Perspective (extended version) + (2008)
- Compiler Construction as an Effective Application to Teach Object-Oriented Programming + (2008)
- Global Optimization for First Order Markov Random Fields with Submodular Priors + (2008)
- Hierarchical Set Decision Diagrams and Automatic Saturation + (2008)
- Report on the 5th Workshop ELW at ECOOP 2008 + (2008)
- Revisiting the Visitor: the Just Do It Pattern + (2008)
- Semantics driven disambiguation: A comparison of different approaches + (2008)
- Semantics-Driven Genericity: A Sequel to the Static C++ Object-Oriented Programming Paradigm (SCOOP 2) + (2008)
- TWEAST: A Simple and Effective Technique to Implement Concrete-Syntax AST Rewriting Using Partial Parsing + (2008)
- The LRDE Systems for the 2008 NIST Speaker Recognition Evaluation + (2008)
- Towards the World-Wide Quantum Network + (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)