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 Fast and Exact Algorithm for Total Variation Minimization +
- A Vectorial Self-Dual Morphological Filter based on Total Variation Minimization +
- A fast and exact algorithm for total variation minimization +
- An efficient algorithm for attribute openings and closings +
- C-Transformers — A Framework to Write C Program Transformations +
- C/C++ Disambiguation Using Attribute Grammars +
- Composants logiciels et algorithmes de minimisation exacte d'énergies dédidées au traitement d'images +
- Distribution, approximation and probabilistic model checking +
- ESDF: A proposal for a more flexible SDF handling +
- Implementing attributes in SDF +
- Inside Vaucanson +
- Making Compiler Construction Projects Relevant to Core Curriculums +
- Olena Project poster +
- Probabilistic abstraction for model checking: an approach based on property testing +
- Probabilistic verification and approximation +
- Ruminations on Tarjan's Union-Find algorithm and connected operators +
- Spatial reasoning with relative incomplete information on relative positioning +
- Tiger Project poster +
- Total Variation Minimization with L^1 Data Fidelity as a Contrast Invariant Filter +