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
- A Vectorial Self-Dual Morphological Filter based on Total Variation Minimization + (August 20, 2005)
- Spatial reasoning with relative incomplete information on relative positioning + (September 1, 2005)
- CurVe 1.10 is released (2005-09-14) + (September 14, 2005)
- Composants logiciels et algorithmes de minimisation exacte d'énergies dédidées au traitement d'images + (October 1, 2005)
- Olena Project poster + (October 1, 2005)
- Tiger Project poster + (October 1, 2005)
- The lab hosts PhD student Alban Linard (2005-10-01) + (October 1, 2005)
- Vcs 0.4 is released (2005-10-03) + (October 3, 2005)
- PhD student Jérôme Darbon receives his PhD degree with distinction (2005-10-07) + (October 7, 2005)
- C-Transformers — A Framework to Write C Program Transformations + (October 16, 2005)
- Vaucanson 0.7.2 is released (2005-11-09) + (November 9, 2005)
- Probabilistic abstraction for model checking: an approach based on property testing + (November 21, 2005)
- L'air de rien 1 + (December 6, 2005)
- Practical Application of Probabilistic Model Checking to Communication Protocols + (January 1, 2006)
- APMC 3.0: Approximate verification of Discrete and Continuous Time Markov Chains + (January 1, 2006)
- Probabilistic Verification of Sensor Networks + (February 1, 2006)
- Fast and Exact Discrete Image Restoration Based on Total Variation and on Its Extensions to Levelable Potentials + (February 22, 2006)
- L'air de rien 2 + (March 8, 2006)
- Image restoration with discrete constrained Total Variation—Part I: Fast and exact optimization + (March 24, 2006)
- Image restoration with discrete constrained Total Variation—Part II: Levelable functions, convex priors and non-convex case + (March 24, 2006)
- FiXme 3.2 is released (2006-04-12) + (April 12, 2006)
- L'air de rien 3 + (April 13, 2006)
- On a Polynomial Vector Field Model for Shape Representation + (April 28, 2006)
- L'air de rien 4 + (May 10, 2006)
- L'air de rien 5 + (May 24, 2006)
- Uniform Random Sampling of Traces in Very Large Models + (May 30, 2006)
- ENST-IRCGN System Description + (May 30, 2006)
- LRDE System description + (June 1, 2006)
- CurVe 1.11 is released (2006-06-07) + (June 7, 2006)
- Vaucanson 0.8.0 is released (2006-06-15) + (June 15, 2006)
- Shape-based hand recognition + (July 1, 2006)
- Beating C in Scientific Computing Applications + (July 11, 2006)
- Attribute Grammars for Modular Disambiguation + (July 12, 2006)
- Evaluating complex MAC protocols for sensor networks with APMC + (July 27, 2006)
- Approximate Probabilistic Model Checking for Programs + (July 27, 2006)
- Vaucanson 1.0 is released (2006-07-28) + (July 28, 2006)
- An Efficient Algorithm for Connected Attribute Thinnings and Thickenings + (August 9, 2006)
- A note on nice-levelable MRFs for SAR image denoising with contrast preservation + (September 1, 2006)
- Modeling of Sensor Networks Using XRM + (September 14, 2006)
- Project EFIGI: Automatic classification of galaxies + (September 20, 2006)
- L'air de rien 6 + (September 29, 2006)
- The use of levelable regularization functions for MRF restoration of SAR images + (September 30, 2006)
- L'air de rien 7 + (November 29, 2006)
- The Transformers group presents its results to Seventh Stratego User Days (2006-11-30) + (November 30, 2006)
- How to make Lisp go faster than C + (December 1, 2006)
- Stochastic routing in large grid-shaped quantum networks + (December 4, 2006)
- The Biosecure Geometry-based System for Hand Modality + (December 18, 2006)
- A Note on the Discrete Binary Mumford-Shah Model + (December 29, 2006)
- CLOS solutions to binary methods + (January 22, 2007)
- Local reasoning in fuzzy attribute graphs for optimizing sequential segmentation + (February 15, 2007)
- OlenaNewsEntry (2007/02/21) + (February 21, 2007)
- Olena 0.11 is released (2007-02-21) + (February 21, 2007)
- L'air de rien 8 + (March 5, 2007)
- On the security of quantum networks: a proposal framework and its capacity + (March 10, 2007)
- libDMC: a library to Operate Efficient Distributed Model Checking + (March 13, 2007)
- Effective Component Tree Computation with Application to Pattern Recognition in Astronomical Imaging + (May 3, 2007)
- L'air de rien 9 + (May 7, 2007)
- Algorithme de calcul de l'arbre des composantes avec applications à la reconnaissance des formes en imagerie satellitaire + (May 11, 2007)
- 10 years of confrontation between French Internet users and their successive governments + (June 1, 2007)
- How to make Lisp go faster than C + (June 11, 2007)
- FiNK 2.0 is released (2007-06-12) + (June 12, 2007)
- Vaucanson 1.0a is released (2007-06-13) + (June 13, 2007)
- L'air de rien 10 + (June 20, 2007)
- Vaucanson 1.1 is released (2007-07-30) + (July 30, 2007)
- CurVe 1.13 is released (2007-08-21) + (August 21, 2007)
- Linear and Non Linear Kernel GMM SuperVector Machines for Speaker Verification + (August 27, 2007)
- The lab welcomes a new member : Alexandre Duret-Lutz (2007-09-01) + (September 1, 2007)
- Patcher 3.9 is released (2007-09-17) + (September 17, 2007)
- Web services at TERAPIX + (September 23, 2007)
- Kernel Combination for SVM Speaker Verification + (September 25, 2007)
- Comparison Between Factor Analysis and GMM Support Vector Machines for Speaker Verification + (September 25, 2007)
- The Role of Speaker Factors in the NIST Extended Data Task + (September 25, 2007)
- L'air de rien 11 + (September 28, 2007)
- FiNK 2.1 is released (2007-11-14) + (November 14, 2007)
- CurVe 1.14 is released (2007-11-27) + (November 27, 2007)
- FiXme 3.3 is released (2007-11-28) + (November 28, 2007)
- Vaucanson 1.1.1 is released (2007-12-14) + (December 14, 2007)
- Binary Methods Programming: the CLOS Perspective (extended version) + (January 1, 2008)
- Global Optimization for First Order Markov Random Fields with Submodular Priors + (January 3, 2008)
- L'air de rien 12 + (January 4, 2008)
- Approximate Nash Equilibria for Multi-Player Games + (January 18, 2008)
- Towards the World-Wide Quantum Network + (January 25, 2008)
- LRDE Seminar on Performance and Genericity (2008-01-30) + (January 30, 2008)
- The lab hosts engineer Géraud Beguin (2008-02-01) + (February 1, 2008)
- Semantics driven disambiguation: A comparison of different approaches + (February 8, 2008)
- LRDE Seminar on Performance and Genericity (2008-02-20) + (February 20, 2008)
- Seminar/2008-02-20 + (February 20, 2008)
- CurVe 1.15 is released (2008-02-25) + (February 25, 2008)
- Patcher 3.10 is released (2008-02-27) + (February 27, 2008)
- FiNK 2.1.1 is released (2008-02-27) + (February 27, 2008)
- Hierarchical Set Decision Diagrams and Automatic Saturation + (March 1, 2008)
- Vaucanson 1.2 is released (2008-03-19) + (March 19, 2008)
- LRDE Seminar on Performance and Genericity (2008-03-26) + (March 26, 2008)
- Seminar/2008-03-26 + (March 26, 2008)
- A Set of Tools to Teach Compiler Construction + (March 29, 2008)
- L'air de rien 13 + (March 31, 2008)
- The LRDE participates in the NIST-2008 Speaker Recognition Evaluation campaign (2008-04-07) + (April 7, 2008)
- LRDE Seminar on Performance and Genericity (2008-04-30) + (April 30, 2008)
- Seminar/2008-04-30 + (April 30, 2008)
- Semantics-Driven Genericity: A Sequel to the Static C++ Object-Oriented Programming Paradigm (SCOOP 2) + (May 26, 2008)
- L'air de rien 14 + (May 28, 2008)
- LRDE Seminar on Performance and Genericity (2008-05-28) + (May 28, 2008)
- Seminar/2008-05-28 + (May 28, 2008)
- The LRDE Systems for the 2008 NIST Speaker Recognition Evaluation + (June 1, 2008)
- A Survey of French Local e-Democracy + (July 1, 2008)
- Report on the 5th Workshop ELW at ECOOP 2008 + (July 1, 2008)
- An XML format proposal for the description of weighted automata, transducers, and regular expressions + (July 28, 2008)
- The lab hosts a new member : Guillaume Lazzara (2008-09-01) + (September 1, 2008)
- Seminar/2008-09-14 + (September 14, 2008)
- Compiler Construction as an Effective Application to Teach Object-Oriented Programming + (September 15, 2008)
- The lab has a new head : Olivier Ricou (2008-09-15) + (September 15, 2008)
- LRDE Seminar on Performance and Genericity (2008-09-24) + (September 24, 2008)
- The lab hosts a new member : Dalila Benboudjema (2008-10-01) + (October 1, 2008)
- TWEAST: A Simple and Effective Technique to Implement Concrete-Syntax AST Rewriting Using Partial Parsing + (October 11, 2008)
- L'air de rien 15 + (October 20, 2008)
- LRDE Seminar on Performance and Genericity (2008-11-05) + (November 5, 2008)
- Seminar/2008-11-05 + (November 5, 2008)
- LRDE Seminar on Performance and Genericity (2008-11-26) + (November 26, 2008)
- Seminar/2008-11-26 + (November 26, 2008)
- The LRDE at the Open World Forum, Paris (2008-12-01) + (December 1, 2008)
- OlenaNewsEntry (2008/12/15) + (December 15, 2008)
- Olena 1.0 beta is available (2008-12-15) + (December 15, 2008)
- Revisiting the Visitor: the Just Do It Pattern + (December 29, 2008)
- On-the-fly Emptiness Check of Transition-based Streett Automata + (January 1, 2009)
- Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation + (January 1, 2009)
- CLOS Efficiency: Instantiation + (January 13, 2009)
- The LRDE and EPITA take part in the organization of the ITiCSE 2009 conference (2009-01-27) + (January 27, 2009)
- LRDE Seminar on Performance and Genericity (2009-02-11) + (February 11, 2009)
- LRDE Seminar on Performance and Genericity (2009-02-25) + (February 25, 2009)
- LRDE Seminar on Performance and Genericity (2009-03-25) + (March 25, 2009)
- Seminar/2009-03-25 + (March 25, 2009)
- Binary Methods Programming: the CLOS Perspective + (March 31, 2009)
- L'air de rien 16 + (April 8, 2009)
- Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images + (April 9, 2009)
- Support Vector Machines and Joint Factor Analysis for Speaker Verification + (April 19, 2009)
- LRDE Seminar on Performance and Genericity (2009-04-22) + (April 22, 2009)
- Seminar/2009-04-22 + (April 22, 2009)
- The Scribo project the lab is involved in now appears on Wikipedia (2009-05-21) + (May 21, 2009)
- Vaucanson 1.3 is released (2009-05-26) + (May 26, 2009)
- Seminar/2009-05-27 + (May 27, 2009)
- Support Vector Machines versus Fast Scoring in the Low-Dimensional Total Variability Space for Speaker Verification + (June 22, 2009)
- Cepstral and Long-Term Features for Emotion Recognition + (June 22, 2009)
- The lab hosts a new member: Jonathan Fabrizio (2009-07-02) + (July 2, 2009)
- Vaucanson 1.3.1 is released (2009-07-08) + (July 8, 2009)
- The Olena project hosts a new member: Yann Jacquelet (2009-07-09) + (July 9, 2009)
- OlenaNewsEntry (2009/07/14) + (July 14, 2009)
- FiXme 3.4 is released (2009-07-16) + (July 16, 2009)
- OlenaNewsEntry (2009/09/09) + (September 9, 2009)
- Olena 1.0 is integrated into Mandriva Linux (2009-09-09) + (September 9, 2009)
- DoX 1.0 is released (2009-09-11) + (September 11, 2009)
- L'air de rien 17 + (September 14, 2009)
- DoX 2.0 is released (2009-09-21) + (September 21, 2009)