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 + (Jérôme Darbon)
- On a Polynomial Vector Field Model for Shape Representation + (Mickael Chekroun)
- The use of levelable regularization functions for MRF restoration of SAR images + (Jérôme Darbon)
- An efficient algorithm for attribute openings and closings + (Jérôme Darbon)
- Exact optimization of discrete constrained total variation minimization problems + (Jérôme Darbon)
- Image restoration with discrete constrained Total Variation—Part I: Fast and exact optimization + (Jérôme Darbon)
- Fast and Exact Discrete Image Restoration Based on Total Variation and on Its Extensions to Levelable Potentials + (Jérôme Darbon)
- The Biosecure Geometry-based System for Hand Modality + (Geoffroy Fouquier)
- A Vectorial Self-Dual Morphological Filter based on Total Variation Minimization + (Jérôme Darbon)
- Total Variation Minimization with L^1 Data Fidelity as a Contrast Invariant Filter + (Jérôme Darbon)
- Approximate Probabilistic Model Checking for Programs + (Jérôme Darbon)
- Error correcting code performance for watermark protection + (Jérôme Darbon)
- Global Optimization for First Order Markov Random Fields with Submodular Priors + (Jérôme Darbon)
- Color image segmentation based on automatic morphological clustering + (Thierry Géraud)
- Image restoration with discrete constrained Total Variation—Part II: Levelable functions, convex priors and non-convex case + (Jérôme Darbon)
- Segmentation d'images en couleur par classification morphologique non supervisée + (Thierry Géraud)
- Exact optimization of discrete constrained total variation minimization problems + (Jérôme Darbon)
- Unified texture management for arbitrary meshes + (Sylvain Lefebvre)
- A fast and exact algorithm for total variation minimization + (Jérôme Darbon)
- An Efficient Algorithm for Connected Attribute Thinnings and Thickenings + (David Lesage)
- Generic implementation of morphological image operators + (Jérôme Darbon)
- Composants logiciels et algorithmes de minimisation exacte d'énergies dédidées au traitement d'images + (Jérôme Darbon)
- Person authentication based on hand shape + (Erdem Yoruk)
- Shape-based hand recognition + (Erdem Yörük)
- Fast simulation based reduction for ω-automaton + (Jérôme Dubois)
- Réduction basée sur des simulations d'ω-automates + (Jérôme Dubois)
- Fast reductions for ω-automaton + (Jérôme Dubois)
- Réduction efficace d'ω-automate + (Jérôme Dubois)
- From Spot 2.0 to Spot 2.10: What's New? + (Alexandre Duret-Lutz)
- Adapter les structures de données de Vaucanson au concept de kind et à une interface rénovée + (Jérôme Galtier)
- Adapting the data structures of Vaucanson to the concept of kind and a new interface + (Jérôme Galtier)
- Amélioration de la composition des transducteurs dans Vaucanson + (Jérôme Galtier)
- Improving Vaucanson's transducers composition algorithm + (Jérôme Galtier)
- Papers about Vaucanson + (Jérôme Galtier)
- Past People + (Jérôme Galtier)
- People/Jérôme Galtier + (Jérôme Galtier)
- Remedial treatment for Vaucanson: an enhanced automaton concept + (Jérôme Galtier)
- Traitement curatif pour Vaucanson: un renforcement du concept d'automate + (Jérôme Galtier)
- Left Atrial Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning + (Élodie Puybareau)
- Olena Publications + (Edwin Carlinet)
- Region-Based Classification of Remote Sensing Images with the Morphological Tree of Shapes + (Gabriele Cavallaro)
- GenIDA, une base de données participative internationale permettant de mieux connaître l'histoire naturelle et les comorbidités des formes génétiques de troubles neurodéveloppementaux + (J-L Mandel)
- Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking + (Alexandre Duret-Lutz)
- Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking + (Alexandre Duret-Lutz)
- PAIP 2019: Liver Cancer Segmentation Challenge + (Yoo Jung Kim)
- MITLL 2012 Speaker Recognition Evaluation System Description + (Jonas Borgstrom)
- A novel method to fight the non line of sight error in AOA measurements for mobile location + (Emmanuel Grosicki)
- Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness + (Marçal Rusiñol)
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results + (Raghav Mehta)
- VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images + (Anjany Sekuboyina)
- Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge + (Li Wang)
- Practical Applications of the Alternating Cycle Decomposition + (Antonio Casares)
- The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results + (Swen Jacobs)
- Past People + (Yann Jacquelet)
- Posets With Interfaces as a Model for Concurrency + (Uli Fahrenberg)
- A Kleene Theorem for Higher-Dimensional Automata + (Uli Fahrenberg)
- A Myhill-Nerode Theorem for Higher-Dimensional Automata + (Uli Fahrenberg)
- Catoids and Modal Convolution Algebras + (Uli Fahrenberg)
- A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging + (Zhaohan Xiong)