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

• People/Sebastien Crozet  + (Sebastien Crozet)
• People/Sebastien Thellier  + (Sebastien Thellier)
• Evaluating complex MAC protocols for sensor networks with APMC  + (Michaël Cadilhac)
• PAIP 2019: Liver Cancer Segmentation Challenge  + (Yoo Jung Kim)
• Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina  + (Julie Rivet)
• Olena Publications  + (Edwin Carlinet)
• 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 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)
• 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)
• QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results  + (Raghav Mehta)

• An Experience Report on the Optimization of the Product Configuration System of Renault  + (Siham EssodaiguiYves Bossu)
• Optimization of the Product Configuration System of Renault  + (Siham EssodaiguiYves Bossu)

• 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)
• 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)