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

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