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

• Making Compiler Construction Projects Relevant to Core Curriculums  + (February 6, 2005)
• Probabilistic verification and approximation  + (April 11, 2005)
• An efficient algorithm for attribute openings and closings  + (April 14, 2005)
• Total Variation Minimization with L^1 Data Fidelity as a Contrast Invariant Filter  + (April 27, 2005)
• C/C++ Disambiguation Using Attribute Grammars  + (May 1, 2005)
• Implementing attributes in SDF  + (May 1, 2005)
• ESDF: A proposal for a more flexible SDF handling  + (May 1, 2005)
• Vaucanson 0.7 is released (2005-05-17)  + (May 17, 2005)
• Distribution, approximation and probabilistic model checking  + (May 23, 2005)
• Inside Vaucanson  + (May 25, 2005)
• Vaucanson 0.7.1 is released (2005-06-25)  + (June 25, 2005)
• CurVe 1.9 is released (2005-07-21)  + (July 21, 2005)
• Patcher 3.8 is released (2005-07-26)  + (July 26, 2005)
• 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)

• APMC 3.0: Approximate verification of Discrete and Continuous Time Markov Chains  + (January 1, 2006)
• Practical Application of Probabilistic Model Checking to Communication Protocols  + (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)