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
- Papers about Vaucanson + (Akim Demaille)
- Symbolic Model Checking of Stutter Invariant Properties Using Generalized Testing Automata + (Ala Eddine Ben Salem)
- Hierarchical Set Decision Diagrams and Automatic Saturation + (Alexandre Hamez)
- libDMC: a library to Operate Efficient Distributed Model Checking + (Alexandre Hamez)
- Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation + (Alexandre Hamez)
- 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)
- LTL under reductions with weaker conditions than stutter invariance + (Emmanuel Paviot-Adet)
- Project EFIGI: Automatic classification of galaxies + (Anthony Baillard)
- 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)
- A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging + (Zhaohan Xiong)
- Cepstral and Long-Term Features for Emotion Recognition + (Pierre Dumouchel)
- A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging + (Yefeng Zheng)
- PAIP 2019: Liver Cancer Segmentation Challenge + (Yoo Jung Kim)
- 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)
- Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation + (Yizi Chen)
- ICDAR 2021 Competition on Historical Map Segmentation + (Joseph Chazalon)
- Vectorization of Historical Maps Using Deep Edge Filtering and Closed Shape Extraction + (Yizi Chen)
- Introducing the Boundary-Aware Loss for Deep Image Segmentation + (Minh Ôn Vũ Ngoc)
- Modern vectorization and alignement of historical maps: An application to Paris atlas (1789-1950) + (Yizi Chen)
- People/Yoann Fabre + (Yoann Fabre)
- Obtaining genericity for image processing and pattern recognition algorithms + (Thierry Géraud)
- Applying generic programming to image processing + (Thierry Géraud)
- Vers une réutilisabilité totale des algorithmes de traitement d'images + (Thierry Géraud)
- Urbi et Orbi: unusual design and implementation choices for distributed virtual environments + (Yoann Fabre)
- A framework to dynamically manage distributed virtual environments + (Yoann Fabre)
- An asynchronous architecture to manage communicationdisplay, and user interaction in distributed virtual environments + (Yoann Fabre)
- People/Yongchao Xu + (Yongchao Xu)
- Past People + (Yann Jacquelet)
- La pseudo-distance du dahu + (Edwin Carlinet)
- Morphology-Based Hierarchical Representation with Application to Text Segmentation in Natural Images + (Lê Duy Huỳnh)
- A Challenging Issue: Detection of White Matter Hyperintensities in Neonatal Brain MRI + (Baptiste Morel)
- Morphological Hierarchical Image Decomposition Based on Laplacian 0-Crossings + (Lê Duy Huỳnh)
- Segmentation des hyperintensités de la matière blanche en quelques secondes à l'aide d'un réseau de neurones convolutif et de transfert d'apprentissage + (Élodie Puybareau)
- Connected Filtering on Tree-Based Shape-Spaces + (Yongchao Xu)
- The Challenge of Cerebral Magnetic Resonance Imaging in Neonates: A New Method using Mathematical Morphology for the Segmentation of Structures Including Diffuse Excessive High Signal Intensities + (Yongchao Xu)
- Meaningful disjoint level lines selection + (Yongchao Xu)