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 Note on the Discrete Binary Mumford-Shah Model +
- A note on nice-levelable MRFs for SAR image denoising with contrast preservation +
- APMC 3.0: Approximate verification of Discrete and Continuous Time Markov Chains +
- An Efficient Algorithm for Connected Attribute Thinnings and Thickenings +
- Approximate Probabilistic Model Checking for Programs +
- Attribute Grammars for Modular Disambiguation +
- Beating C in Scientific Computing Applications +
- ENST-IRCGN System Description +
- Evaluating complex MAC protocols for sensor networks with APMC +
- Fast and Exact Discrete Image Restoration Based on Total Variation and on Its Extensions to Levelable Potentials +
- How to make Lisp go faster than C +
- Image restoration with discrete constrained Total Variation—Part I: Fast and exact optimization +
- Image restoration with discrete constrained Total Variation—Part II: Levelable functions, convex priors and non-convex case +
- LRDE System description +
- Modeling of Sensor Networks Using XRM +
- On a Polynomial Vector Field Model for Shape Representation +
- Practical Application of Probabilistic Model Checking to Communication Protocols +
- Probabilistic Verification of Sensor Networks +
- Project EFIGI: Automatic classification of galaxies +
- Shape-based hand recognition +
- Stochastic routing in large grid-shaped quantum networks +
- The Biosecure Geometry-based System for Hand Modality +
- The use of levelable regularization functions for MRF restoration of SAR images +
- Uniform Random Sampling of Traces in Very Large Models +