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

• 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)
• 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)
• 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)
• Past People  + (Yann Jacquelet)
• People/Warren Seine  + (Warren Seine)
• Désambiguïsation des patrons de type C++ avec les Grammaires Attribuées de Transformers  + (Warren Seine)
• Une implémentation des conteneurs C++ avec SCOOL  + (Warren Seine)
• Integrating modern parallel techniques in the Tiger compiler  + (Warren Seine)
• An implementation of the C++ container library with SCOOL  + (Warren Seine)
• C++ template disambiguation with Transformers Attribute Grammars  + (Warren Seine)
• Intégration de techniques de parallélisation dans le compilateur Tiger  + (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  + (Weixin Si)

• A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging  + (Zhaohan Xiong)
• QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results  + (Raghav Mehta)
• 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)
• 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)