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
- 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)
- 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)
- PAIP 2019: Liver Cancer Segmentation Challenge + (Yoo Jung Kim)
- GMM Weights Adaptation Based on Subspace Approaches for Speaker Verification + (Najim Dehak)
- 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)
- Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge + (H J Kuijf)
- ICDAR 2021 Competition on Historical Map Segmentation + (Joseph Chazalon)
- Trie-based Output Itemset Sampling + (Lamine Diop)
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results + (Raghav Mehta)
- Parallel Model Checking Algorithms for Linear-Time Temporal Logic + (Jiri Barnat)
- VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images + (Anjany Sekuboyina)
- The Biosecure Geometry-based System for Hand Modality + (Geoffroy Fouquier)
- Automatically Guided Selection of a Set of Underwater Calibration Images + (Laurent Beaudoin)
- How to Boost Close-Range Remote Sensing Courses Using a Serious Game: Uncover in a Fun Way the Complexity and Transversality of Multi-Domain Field Acquisitions + (Laurent Beaudoin)
- How to help digital-native students to successfully take control of their learning : A return of 8 years of experience on a computer science e-learning platform in higher education + (Laurent Beaudoin)
- Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC + (Marie Duflot)
- How to Make nD Functions Digitally Well-Composed in a Self-Dual Way + (Nicolas Boutry)
- Une généralisation du bien-composé à la dimension n + (Nicolas Boutry)
- A Tutorial on Well-Composedness + (Nicolas Boutry)
- Well-Composedness in Alexandrov spaces implies Digital Well-Composedness in Z^n + (Nicolas Boutry)
- How to Make nD Images Well-Composed Without Interpolation + (Nicolas Boutry)
- A Quasi-Linear Algorithm to Compute the Tree of Shapes of n-D Images + (Thierry Géraud)
- On Making nD Images Well-Composed by a Self-Dual Local Interpolation + (Nicolas Boutry)
- Why and How to Design a Generic and Efficient Image Processing Framework: The Case of the Milena Library + (Roland Levillain)
- Une approche générique du logiciel pour le traitement d'images préservant les performances + (Roland Levillain)
- Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images + (Roland Levillain)
- Writing Reusable Digital Geometry Algorithms in a Generic Image Processing Framework + (Roland Levillain)
- Periodic Area-of-Motion characterization for Bio-Medical applications + (Élodie Puybareau)
- Connected Filtering on Tree-Based Shape-Spaces + (Yongchao Xu)
- Meaningful disjoint level lines selection + (Yongchao Xu)
- Caractérisation des zones de mouvement périodiques pour applications bio-médicales + (Élodie Puybareau)
- Writing Reusable Digital Topology Algorithms in a Generic Image Processing Framework + (Roland Levillain)
- Hierarchical Segmentation Using Tree-Based Shape Spaces + (Yongchao Xu)
- Efficient Computation of Attributes and Saliency Maps on Tree-Based Image Representations + (Yongchao Xu)
- Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection + (Yongchao Xu)
- Practical Genericity: Writing Image Processing Algorithms Both Reusable and Efficient + (Roland Levillain)
- Two applications of shape-based morphology: blood vessels segmentation and a generalization of constrained connectivity + (Yongchao Xu)
- Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection + (Yongchao Xu)
- Espaces des formes basés sur des arbres : définition et applications en traitement d'images et vision par ordinateur + (Yongchao Xu)