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
- 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)
- Vaucanson 1.3.2 is released (2009-09-22) + (September 22, 2009)
- PhD student Alban Linard defends his Thesis at LIP6 (2009-09-29) + (September 29, 2009)
- LRDE Seminar on Performance and Genericity (2009-09-30) + (September 30, 2009)