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
- Euler Well-Composedness + (Nicolas Boutry)
- One More Step Towards Well-Composedness of Cell Complexes over n-D Pictures + (Nicolas Boutry)
- Strong Euler Wellcomposedness + (Nicolas Boutry)
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results + (Raghav Mehta)
- Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC + (Marie Duflot)
- Uniform Random Sampling of Traces in Very Large Models + (Alain Denise)
- A translational pathway of deep learning methods in Gastro-Intestinal Endoscopy + (Sharib Ali)
- Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy + (Sharib Ali)
- Practical Application of Probabilistic Model Checking to Communication Protocols + (Marie Duflot)
- A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging + (Zhaohan Xiong)
- Reimplementation of testing-automata in Spot + (Martin Huvelle)
- Réimplémentation des automates testeurs dans Spot + (Martin Huvelle)
- Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness + (Marçal Rusiñol)
- PAIP 2019: Liver Cancer Segmentation Challenge + (Yoo Jung Kim)
- Parallel Computation of Component Trees on Distributed Memory Machines + (Markus Götz)
- VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images + (Anjany Sekuboyina)
- Text detection in street level image + (Jonathan Fabrizio)
- SnooperText: A Multiresolution System for Text Detection in Complex Visual Scenes + (Rodrigo Minetto)
- People/Matthieu Garrigues + (Matthieu Garrigues)
- Stage de traitement d'image au LRDE + (Matthieu Garrigues)
- Fast Level Line Transform + (Matthieu Garrigues)
- Transformation des courbes de niveau rapide + (Matthieu Garrigues)
- L'algorithme Union-Find de Tarjan et les filtres connectès + (Matthieu Garrigues)
- Tarjan Union-Find algorithm and connected operators + (Matthieu Garrigues)
- Stage de traitement d'image au LRDE + (Matthieu Garrigues)
- Olena Publications + (Edwin Carlinet)
- Past People + (Yann Jacquelet)
- Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis + (Mauro Dalla Mura)
- Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images + (Mauro Dalla Mura)
- Constructing a braid of partitions from hierarchies of partitions + (Mauro Dalla Mura)
- Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation + (Mauro Dalla Mura)
- Object tracking by hierarchical decomposition of hyperspectral video sequences: Application to chemical gas plume tracking + (Mauro Dalla Mura)
- Olena Publications + (Mauro Dalla Mura)
- Region-Based Classification of Remote Sensing Images with the Morphological Tree of Shapes + (Mauro Dalla Mura)
- Past People + (Yann Jacquelet)
- People/Maxime Colas-Des-Francs + (Maxime Colas-Des-Francs)
- People/Maxime Rey + (Maxime Rey)
- A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging + (Zhaohan Xiong)
- People/Maxime Van-Noppen + (Maxime Van-Noppen)
- SCOOL: Generic programming + (Maxime van Noppen)
- SCOOL: Concept-Oriented Programming + (Maxime van Noppen)
- SCOOL: Programmation générique et concepts + (Maxime van Noppen)
- SCOOL: object orientation of a static language + (Maxime van Noppen)
- SCOOL: object orientation of a static language + (Maxime van Noppen)
- SCOOL: Programmation générique + (Maxime van Noppen)
- VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images + (Anjany Sekuboyina)
- Reactive Synthesis from LTL Specification with Spot + (Thibaud Michaud)
- The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results + (Swen Jacobs)
- Programmatic Manipulation of Common Lisp Type Specifiers + (Jim Newton)
- CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving + (Hakan Metin)
- Jobs/M2 2017 MC Spot demo + (Alexandre Duret-Lutz)
- From Spot 2.0 to Spot 2.10: What's New? + (Alexandre Duret-Lutz)
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results + (Raghav Mehta)
- Découverte de sous-groupes de prédictions interprétables pour le triage d'incidents + (Youcef Remil)
- genus.py: a Simple Embeddable Type System for the Python language + (Mehdi OUESLATI)
- genus.py: un Système Simple de Typage Embarqué pour le language Python + (Mehdi OUESLATI)