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

• 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)