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
- Vampire 0.2 is released (2004-02-19) + (February 19, 2004)
- Fifth Stratego Users Days (2004-03-01) + (March 1, 2004)
- Generic algorithmic blocks dedicated to image processing + (March 10, 2004)
- CurVe 1.6 is released (2004-03-10) + (March 10, 2004)
- The lab hosts PhD student Franck Coppola (2004-03-18) + (March 18, 2004)
- Vaucanson 0.5 is released (2004-03-31) + (March 31, 2004)
- Vaucanson 0.5 tutorial day (2004-03-31) + (March 31, 2004)
- Olena 0.10 is released (2004-04-16) + (April 16, 2004)
- Transformers 0.1 is released (2004-04-19) + (April 19, 2004)
- Unified texture management for arbitrary meshes + (April 26, 2004)
- CurVe 1.7 is released (2004-05-19) + (May 19, 2004)
- CodeBoost tutorial morning (2004-05-19) + (May 19, 2004)
- Metagene, a C++ meta-program generation tool + (May 25, 2004)
- A novel method to fight the non line of sight error in AOA measurements for mobile location + (June 1, 2004)
- A more public development scheme! (2004-06-15) + (June 15, 2004)
- Fusion of spatial relationships for guiding recognitionexample of brain structure recognition in 3D MRI + (July 9, 2004)
- Vaucanson 0.6 is released (2004-07-18) + (July 18, 2004)
- Vaucanson XML representation for automata to CIAA 2004 (2004-07-24) + (July 24, 2004)
- Transformers 0.2 is released (2004-07-25) + (July 25, 2004)
- Fast color image segmentation based on levellings in feature Space + (August 11, 2004)
- Exact optimization of discrete constrained total variation minimization problems + (September 1, 2004)
- Person authentication based on hand shape + (September 1, 2004)
- Fast road network extraction in satellite images using mathematical morphology and Markov random fields + (September 5, 2004)
- 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)
- 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)