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 new LRDE permanent member: Sylvain Peyronnet (2004-09-07) + (September 7, 2004)
- Exact optimization of discrete constrained total variation minimization problems + (October 1, 2004)
- QCM 1.0 is released (2004-10-15) + (October 15, 2004)
- Vaucanson 0.6.1 is released (2004-10-26) + (October 26, 2004)
- Introducing Vaucanson + (November 1, 2004)
- Proposal: an XML representation for automata + (November 1, 2004)
- QCM 2.1 is released (2004-11-27) + (November 27, 2004)
- FiXme 3.0 is released (2004-12-22) + (December 22, 2004)
- A fast and exact algorithm for total variation minimization + (January 1, 2005)
- Ruminations on Tarjan's Union-Find algorithm and connected operators + (January 5, 2005)
- A Fast and Exact Algorithm for Total Variation Minimization + (January 18, 2005)
- FiXme 3.1 is released (2005-01-31) + (January 31, 2005)
- 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)
- 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)