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

• VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images  + (Anjany Sekuboyina)
• Speckle Spot Detection in Ultrasound Images: Application to Speckle Reduction and Speckle Tracking  + (Nicolas Widynski)
• People/Damien Lefortier  + (Damien Lefortier)
• Traduction d'une LTL étendue en TGBA dans Spot  + (Damien Lefortier)
• A new translation from LTL into TGBA in Spot  + (Damien Lefortier)
• Translation of an extended LTL into TBGA in Spot  + (Damien Lefortier)
• Nouvelle traduction de LTL en TGBA dans Spot  + (Damien Lefortier)
• Translation of an extended LTL into TBGA in Spot  + (Damien Lefortier)
• Traduction d'une LTL étendue en TGBA dans Spot  + (Damien Lefortier)
• Past People  + (Yann Jacquelet)
• Olena/Assignments  + (Giovanni Palma)
• People/Damien Thivolle  + (Damien Thivolle)
• Canvas in Olena  + (Damien Thivolle)
• Dynamization of C++ static libraries  + (Nicolas Pouillard)
• Dynamization of C++ static libraries  + (Nicolas Pouillard)
• Canvas in Olena  + (Damien Thivolle)
• Olena Publications  + (Edwin Carlinet)
• Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy  + (Sharib Ali)
• MITLL 2012 Speaker Recognition Evaluation System Description  + (Jonas Borgstrom)
• An Innovative and Decentralized Identity Framework Based on Blockchain Technology  + (Daniel Maldonado-Ruiz)
• Current Trends in Blockchain Implementations on the Paradigm of Public Key Infrastructure: A Survey  + (Daniel Maldonado-Ruiz)
• QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results  + (Raghav Mehta)

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

• People/Daniela Becker  + (Daniela Becker)
• A Secure Blockchain-Based Architecture for the COVID-19 Data Network  + (Darine Al-Mohtar)
• VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images  + (Anjany Sekuboyina)
• Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy  + (Sharib Ali)
• Practical Application of Probabilistic Model Checking to Communication Protocols  + (Marie Duflot)
• Past People  + (Yann Jacquelet)
• Olena/Day  + (Thierry Geraud)
• Olena/Paradigm2003  + (Sylvain Berlemont)
• Olena/RoadMap  + (David Lesage)
• People/David Lesage  + (David Lesage)
• A static C++ object-oriented programming (SCOOP) paradigm mixing benefits of traditional OOP and generic programming  + (Nicolas Burrus)
• An Efficient Algorithm for Connected Attribute Thinnings and Thickenings  + (David Lesage)
• People/David Moreira  + (David Moreira)
• FSMXML pour Vaucanson 2.0  + (David Moreira)
• Vers Vaucanson 2.0  + (David Moreira)
• Implementing rational semiring  + (David Moreira)
• FSMXML for Vaucanson 2.0  + (David Moreira)
• Implémentation du corps des (nombres) rationnels  + (David Moreira)
• Towards Vaucanson 2.0  + (David Moreira)
• Papers about Vaucanson  + (Akim Demaille)
• The Hanoi Omega-Automata Format  + (Tomáš Babiak)
• Generic Emptiness Check for Fun and Profit  + (Christel Baier)
• A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging  + (Zhaohan Xiong)
• On-the-fly Emptiness Check of Transition-based Streett Automata  + (Alexandre Duret-Lutz)
• Heuristics for Checking Liveness Properties with Partial Order Reductions  + (Alexandre Duret-Lutz)