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)
• Probabilistic abstraction for model checking: an approach based on property testing  + (Sophie Laplante)
• People/Souheib Baarir  + (Souheib Baarir)
• Mechanizing the Minimization of Deterministic Generalized Büchi Automata  + (Souheib Baarir)
• PaInleSS: a Framework for Parallel SAT Solving  + (Ludovic Le Frioux)
• SAT-based Minimization of Deterministic ω-Automata  + (Souheib Baarir)
• CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving  + (Hakan Metin)
• Parallel Learning Portfolio-Based Solvers  + (Tarek Menouer)
• Parallel Satisfiability Solver Based on Hybrid Partitioning Method  + (Tarek Menouer)
• Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework  + (Ludovic Le Frioux)
• 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)
• Towards Better Heuristics for Solving Bounded Model Checking Problems  + (Anissa Kheireddine)
• Tuning SAT Solvers for LTL Model Checking  + (Anissa Kheireddine)
• 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)

• From text detection to text segmentation: a unified evaluation scheme  + (Stefania Calarasanu)
• Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms  + (Stefania Calarasanu)
• Olena Publications  + (Stefania Calarasanu)
• Past People  + (Stefania Calarasanu)
• People/Stefania Calarasanu  + (Stefania Calarasanu)
• TextCatcher: A method to detect curved and challenging text in natural scenes  + (Stefania Calarasanu)
• Towards the rectification of highly distorted texts  + (Stefania Calarasanu)
• Using histogram representation and Earth Mover's Distance as an evaluation tool for text detection  + (Stefania Calarasanu)
• What is a good evaluation protocol for text localization systems? Concerns, arguments, comparisons and solutions  + (Stefania Calarasanu)

• 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  + (Zhaohan Xiong)
• 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)