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
- Implementing a C++ extension with Transformers: class namespace + (Vincent Ordy)
- Implémentation d'une extension du C++ dans Transformers: class namespace + (Vincent Ordy)
- Implémentation des transitions invisibles et transparentes dans Spot + (Vincent Tourneur)
- Réduction d'ordre partiel dans SPOT + (Vincent Tourneur)
- Partial order reduction in SPOT + (Vincent Tourneur)
- Implementation of Invisible and Transparent Transitions in Spot + (Vincent Tourneur)
- Benchmarking of Partial Order Reduction in Spot + (Vincent Tourneur)
- Mesures sur la réduction d'ordre partiel dans Spot + (Vincent Tourneur)
- On the Usefulness of Clause Strengthening in Parallel SAT Solving + (Vincent Vallade)
- Community and LBD-based Clause Sharing Policy for Parallel SAT Solving + (Vincent Vallade)
- Optimisation d'une bibliothèque de traitement d'images + (Virgile Hirtz)
- Optimization of an image processing library + (Virgile Hirtz)
- Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy + (Sharib Ali)
- The Role of Speaker Factors in the NIST Extended Data Task + (Patrick Kenny)
- Past People + (Yann Jacquelet)
- People/Vivien Delmon + (Vivien Delmon)
- Parser d'expressions rationnelles + (Vivien Delmon)
- Automata Reduction + (Vivien Delmon)
- Rational Expression Parser + (Vivien Delmon)
- Generic epsilon-removal + (Vivien Delmon)
- Reduction d'automates + (Vivien Delmon)
- Generic epsilon-removal + (Vivien Delmon)
- Papers about Vaucanson + (Akim Demaille)
- Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge + (Li Wang)
- On Refinement of Büchi Automata for Explicit Model Checking + (František Blahoudek)
- Extraction of Ancient Map Contents Using Trees of Connected Components + (Jordan Drapeau)
- Olena Publications + (Edwin Carlinet)
- A Channel-Blind System for Speaker Verification + (Najim Dehak)
- Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge + (H J Kuijf)
- An implementation of the C++ container library with SCOOL + (Warren Seine)
- C++ template disambiguation with Transformers Attribute Grammars + (Warren Seine)
- Désambiguïsation des patrons de type C++ avec les Grammaires Attribuées de Transformers + (Warren Seine)
- Integrating modern parallel techniques in the Tiger compiler + (Warren Seine)
- Intégration de techniques de parallélisation dans le compilateur Tiger + (Warren Seine)
- Past People + (Warren Seine)
- People/Warren Seine + (Warren Seine)
- Une implémentation des conteneurs C++ avec SCOOL + (Warren Seine)
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results + (Raghav Mehta)
- Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge + (Li Wang)
- A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging + (Zhaohan Xiong)
- Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata + (Manfred Droste)
- The MIT Lincoln Laboratory 2016 Speaker Recognition System + (Pedro A Torres-Carrasquillo)
- MITLL 2012 Speaker Recognition Evaluation System Description + (Jonas Borgstrom)
- Brain MRI Segmentation using fully convolutional network + (William Guillet)
- Segmentation d'IRM de cerveau en utilisant un reseau de neurones convolutif + (William Guillet)
- PAIP 2019: Liver Cancer Segmentation Challenge + (Yoo Jung Kim)
- Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge + (H J Kuijf)
- Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy + (Sharib Ali)
- VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images + (Anjany Sekuboyina)
- Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup Discovery + (Pierre Duluard)
- Past People + (Yann Jacquelet)
- People/Yann Jacquelet + (Yann Jacquelet)
- The SCRIBO Module of the Olena Platform: a Free Software Framework for Document Image Analysis + (Guillaume Lazzara)
- People/Yann Régis-Gianas + (Yann Régis-Gianas)
- Introducing Vaucanson + (Sylvain Lombardy)
- Introducing Vaucanson + (Sylvain Lombardy)
- On orthogonal specialization in C++: dealing with efficiency and algebraic abstraction in Vaucanson + (Yann Régis-Gianas)
- Papers about Vaucanson + (Akim Demaille)