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
- Climb: Weighted Neighborhood Implementation + (Laurent Senta)
- Construction d'une interface pour et avec Climb + (Laurent Senta)
- Building an interface for and with Climb + (Laurent Senta)
- Parallélisation de Climb + (Laurent Senta)
- Olena Publications + (Edwin Carlinet)
- People/Laurent Soubrevilla + (Laurent Soubrevilla)
- 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)
- Efficient Translation of Fairness LTL Formulae into Deterministic Automata + (Laurent XU)
- Traduction efficace de formules LTL d'équité en automates déterministes + (Laurent XU)
- Spot 2.0 — a framework for LTL and ω-automata manipulation + (Alexandre Duret-Lutz)
- Produit d'automates à parité + (Laurent Xu)
- Improvements of Simulation-based Reduction + (Laurent Xu)
- Product of Parity Automata + (Laurent Xu)
- Amélioration de la réduction par simulation + (Laurent Xu)
- Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy + (Sharib Ali)
- SUBTYPEP: An Implementation of Baker's Algorithm + (Leo Valais)
- SUBTYPEP: Une implémentation de l'algorithme de Baker + (Leo Valais)
- Implementing Baker's SUBTYPEP decision procedure + (Leo Valais)
- Implémentation de l'algorithme de SUBTYPEP de Baker + (Leo Valais)
- Implementing Baker's SUBTYPEP decision procedure + (Leo Valais)
- Implémentation de l'algorithme de SUBTYPEP de Baker + (Leo Valais)
- Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge + (Li Wang)
- VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images + (Anjany Sekuboyina)
- 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 + (Lingchao Xu)
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results + (Raghav Mehta)
- Max-Tree Computation on GPUs + (Nicolas Blin)
- Optimization of the Product Configuration System of Renault + (Hao Xu)
- An Experience Report on the Optimization of the Product Configuration System of Renault + (Hao Xu)
- Brain MRI segmentation using mathematical morphology + (Louis Gasnault)
- Segmentation d'IRM du cerveau avec la morphologie mathematique + (Louis Gasnault)
- Mappage d'espace d'ivecteur à l'aide d'un réseau neuronal profond + (Louis Groux)
- IVector space mapping with Deep Neural Network + (Louis Groux)
- Développement d'une interface graphique pour Vaucanson + (Louis-Noel Pouchët)
- Développement d'une interface graphique pour Vaucanson + (Louis-Noel Pouchët)
- Past People + (Yann Jacquelet)
- People/Louis-Noël Pouchet + (Louis-Noël Pouchet)
- Inside Vaucanson + (Thomas Claveirole)
- An interpreter for Vaucanson + (Louis-Noël Pouchet)
- An interpreter for Vaucanson + (Louis-Noël Pouchet)
- Papers about Vaucanson + (Akim Demaille)
- Property-Based Genericity: A Dynamic Approach + (Loïc Denuzière)
- CLIMB: Une approche dynamique du traitement générique d'images + (Loïc Denuzière)
- CLIMB: A Dynamic Approach To Generic Image Processing + (Loïc Denuzière)
- La généricité par propriétés + (Loïc Denuzière)
- Designing the user interface for a Common Lisp generic library + (Loïc Denuzière)
- Concevoir l'interface d'une bibliothèque générique en Common Lisp + (Loïc Denuzière)
- Olena Publications + (Edwin Carlinet)
- People/Loïc Dénuzière + (Loïc Dénuzière)
- People/Loïc Fosse + (Loïc Fosse)