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
- Motion Compensation in Digital Holography for Retinal Imaging + (Julie Rivet)
- The MIT Lincoln Laboratory 2016 Speaker Recognition System + (Pedro A Torres-Carrasquillo)
- VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images + (Anjany Sekuboyina)
- A blockchain-based certificate revocation management and status verification system + (Yves Christian Elloh Adja)
- Blockchain-Based Solution for Detecting and Preventing Fake Check Scams + (Badis Hammi)
- A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging + (Zhaohan Xiong)
- 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)
- Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis + (Guillaume Tochon)
- Ecriture d'algorithmes de traitement d'images génériques + (Simon Guillot)
- Writing generic image processing algorithms + (Simon Guillot)
- Past People + (Yann Jacquelet)
- Olena/Assignments + (Giovanni Palma)
- People/Simon Odou + (Simon Odou)
- Images taxonomy and modeling + (Simon Odou)
- Images taxonomy and modeling + (Simon Odou)
- Olena Publications + (Edwin Carlinet)
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results + (Raghav Mehta)
- The Challenge of Cerebral Magnetic Resonance Imaging in Neonates: A New Method using Mathematical Morphology for the Segmentation of Structures Including Diffuse Excessive High Signal Intensities + (Yongchao Xu)
- A translational pathway of deep learning methods in Gastro-Intestinal Endoscopy + (Sharib Ali)
- 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)
- An Experience Report on the Optimization of the Product Configuration System of Renault + (Souheib Baarir)
- CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving + (Souheib Baarir)
- Community and LBD-based Clause Sharing Policy for Parallel SAT Solving + (Souheib Baarir)
- Mechanizing the Minimization of Deterministic Generalized Büchi Automata + (Souheib Baarir)
- Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework + (Souheib Baarir)
- On the Usefulness of Clause Strengthening in Parallel SAT Solving + (Souheib Baarir)
- Optimization of the Product Configuration System of Renault + (Souheib Baarir)
- PaInleSS: a Framework for Parallel SAT Solving + (Souheib Baarir)
- Parallel Learning Portfolio-Based Solvers + (Souheib Baarir)
- Parallel Satisfiability Solver Based on Hybrid Partitioning Method + (Souheib Baarir)
- People/Souheib Baarir + (Souheib Baarir)
- SAT-based Minimization of Deterministic ω-Automata + (Souheib Baarir)
- Towards Better Heuristics for Solving Bounded Model Checking Problems + (Souheib Baarir)
- Towards Better Heuristics for Solving Bounded Model Checking Problems + (Souheib Baarir)
- Tuning SAT Solvers for LTL Model Checking + (Souheib Baarir)
- 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)
- Olena Publications + (Edwin Carlinet)
- 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)
- A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging + (Zhaohan Xiong)