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 Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging + (Zhaohan Xiong)
- Web services at TERAPIX + (Olivier Ricou)
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results + (Raghav Mehta)
- PAIP 2019: Liver Cancer Segmentation Challenge + (Yoo Jung Kim)
- Generic Emptiness Check for Fun and Profit + (Christel Baier)
- Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy + (Sharib Ali)
- Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge + (Li Wang)
- Posets With Interfaces as a Model for Concurrency + (Uli Fahrenberg)
- A Kleene Theorem for Higher-Dimensional Automata + (Uli Fahrenberg)
- Catoids and Modal Convolution Algebras + (Uli Fahrenberg)
- Estimating the Number of Endmembers to Use in Spectral Unmixing of Hyperspectral Data with Collaborative Sparsity + (Lucas Drumetz)
- VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images + (Anjany Sekuboyina)
- Past People + (Yann Jacquelet)
- People/Christophe Berger + (Christophe Berger)
- Effective Component Tree Computation with Application to Pattern Recognition in Astronomical Imaging + (Christophe Berger)
- Using connected operators to manipulate image components + (Christophe Berger)
- Algorithme de calcul de l'arbre des composantes avec applications à la reconnaissance des formes en imagerie satellitaire + (Anthony Baillard)
- Using connected operators to manipulate image components + (Christophe Berger)
- Image taxonomy in Olena + (Christophe Berger)
- Image taxonomy in Olena + (Christophe Berger)
- Olena Publications + (Edwin Carlinet)
- Analyse structurelle haut-niveau de document dans le module Scribo d'Olena + (Christophe Escobar)
- High-level Document Structure Analysis in the Olena Scribo Module + (Christophe Escobar)
- Olena Publications + (Christophe Escobar)
- People/Christophe Kiciak + (Christophe Kiciak)
- Report on the 5th Workshop ELW at ECOOP 2008 + (Didier Verna)
- Maintenance automatique des symboles exportés dans les packages de Common Lisp + (Christophe Vermorel)
- Automatic maintenance of exported symbols in Common Lisp packages + (Christophe Vermorel)
- Past People + (Yann Jacquelet)
- People/Christopher Chedeau + (Christopher Chedeau)
- Component Trees and Chaining Operators in Climb + (Christopher Chedeau)
- Arbres de composantes et opérateurs de chaînage + (Christopher Chedeau)
- Approche fonctionnelle de la généricité du traitement d'image + (Christopher Chedeau)
- JSPP: Morphing C++ into JavaScript + (Christopher Chedeau)
- Functionnal approach of image processing genericity + (Christopher Chedeau)
- Property based dispatch in functional languages + (Christopher Chedeau)
- Generic Image Processing with Climb + (Laurent Senta)
- Dispatch par propriétés dans les langages fonctionnels + (Christopher Chedeau)
- Olena Publications + (Edwin Carlinet)
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results + (Raghav Mehta)
- Décomposition d'un automate de Büchi Généralisé multi-force + (Claire Parquier)
- Strength-based decomposition of Büchi automaton + (Claire Parquier)
- Practical Application of Probabilistic Model Checking to Communication Protocols + (Marie Duflot)
- Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC + (Marie Duflot)
- People/Clément Démoulins + (Clément Démoulins)
- People/Clément Faure + (Clément Faure)
- Recherche de chemin acceptant bi-bande dans Spot + (Clément Gillard)
- Two-automaton accepting run search in Spot + (Clément Gillard)