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

• Towards Better Heuristics for Solving Bounded Model Checking Problems  + (Anissa Kheireddine)
• 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)
• QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results  + (Raghav Mehta)
• Qu'est-ce que mon GNN capture vraiment ? Exploration des représentations internes d'un GNN  + (Luca Veyrin-Forrer)
• What Does my GNN Really Capture? On Exploring Internal GNN Representations  + (Luca Veyrin-Forrer)
• In Pursuit of the Hidden Features of GNN's Internal Representations  + (Luca Veyrin-Forrer)
• VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images  + (Anjany Sekuboyina)
• People/Stefania Calarasanu  + (Stefania Calarasanu)
• Past People  + (Yann Jacquelet)
• From text detection to text segmentation: a unified evaluation scheme  + (Stefania Calarasanu)
• Using histogram representation and Earth Mover's Distance as an evaluation tool for text detection  + (Stefania Calarasanu)
• Towards the rectification of highly distorted texts  + (Stefania Calarasanu)
• What is a good evaluation protocol for text localization systems? Concerns, arguments, comparisons and solutions  + (Stefania Calarasanu)
• Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms  + (Stefania Calarasanu)
• TextCatcher: A method to detect curved and challenging text in natural scenes  + (Jonathan Fabrizio)
• Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy  + (Sharib Ali)
• Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC  + (Marie Duflot)
• Extraction of Ancient Map Contents Using Trees of Connected Components  + (Jordan Drapeau)
• Olena Publications  + (Edwin Carlinet)

• A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging  + (Sulaiman Vesal)

• PAIP 2019: Liver Cancer Segmentation Challenge  + (Yoo Jung Kim)
• VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images  + (Anjany Sekuboyina)
• Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata  + (Manfred Droste)
• Energy Problems in Finite and Timed Automata with Büchi Conditions  + (Sven Dziadek)
• The MIT Lincoln Laboratory 2016 Speaker Recognition System  + (Pedro A Torres-Carrasquillo)
• The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results  + (Swen Jacobs)
• Past People  + (Yann Jacquelet)
• Olena/Day  + (Thierry Geraud)
• Olena/Paradigm2003  + (Sylvain Berlemont)
• Olena/RoadMap  + (David Lesage)
• People/Sylvain Berlemont  + (Sylvain Berlemont)
• Unified texture management for arbitrary meshes  + (Sylvain Lefebvre)
• People/Sylvain Lobry  + (Sylvain Lobry)
• Scribo: Disambiguation of lines superimposement  + (Sylvain Lobry)
• Améliorer Horn-Schunck  + (Sylvain Lobry)
• Improving Horn-Schunck  + (Sylvain Lobry)
• Désambiguïsation de la superposition de lignes.  + (Sylvain Lobry)
• Computing the optical flow in sequences with missing parts  + (Sylvain Lobry)
• Calcul du flux optique dans des séquences avec des parties manquantes  + (Sylvain Lobry)
• Olena Publications  + (Edwin Carlinet)
• Inside Vaucanson  + (Thomas Claveirole)
• Implementation Concepts in Vaucanson 2  + (Akim Demaille)
• An XML format proposal for the description of weighted automata, transducers, and regular expressions  + (Akim Demaille)
• Introducing Vaucanson  + (Sylvain Lombardy)
• Introducing Vaucanson  + (Sylvain Lombardy)