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

• Adapting the data structures of Vaucanson to the concept of kind and a new interface  + (Jérôme Galtier)
• Traitement curatif pour Vaucanson: un renforcement du concept d'automate  + (Jérôme Galtier)
• Improving Vaucanson's transducers composition algorithm  + (Jérôme Galtier)
• Papers about Vaucanson  + (Akim Demaille)
• Left Atrial Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning  + (Élodie Puybareau)
• Olena Publications  + (Edwin Carlinet)
• Region-Based Classification of Remote Sensing Images with the Morphological Tree of Shapes  + (Gabriele Cavallaro)
• GenIDA, une base de données participative internationale permettant de mieux connaître l'histoire naturelle et les comorbidités des formes génétiques de troubles neurodéveloppementaux  + (J-L Mandel)
• Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking  + (Alexandre Duret-Lutz)
• Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking  + (Alexandre Duret-Lutz)
• MITLL 2012 Speaker Recognition Evaluation System Description  + (Jonas Borgstrom)
• A novel method to fight the non line of sight error in AOA measurements for mobile location  + (Emmanuel Grosicki)
• Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness  + (Marçal Rusiñol)
• VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images  + (Anjany Sekuboyina)
• QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results  + (Raghav Mehta)
• Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge  + (Li Wang)
• Practical Applications of the Alternating Cycle Decomposition  + (Antonio Casares)
• The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results  + (Swen Jacobs)
• Past People  + (Yann Jacquelet)
• Posets With Interfaces as a Model for Concurrency  + (Uli Fahrenberg)
• A Kleene Theorem for Higher-Dimensional Automata  + (Uli Fahrenberg)
• A Myhill-Nerode Theorem for Higher-Dimensional Automata  + (Uli Fahrenberg)
• Catoids and Modal Convolution Algebras  + (Uli Fahrenberg)
• 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)

• GMM Weights Adaptation Based on Subspace Approaches for Speaker Verification  + (L Burget)

• GenIDA, une base de données participative internationale permettant de mieux connaître l'histoire naturelle et les comorbidités des formes génétiques de troubles neurodéveloppementaux  + (J-L Mandel)
• Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge  + (H J Kuijf)
• ICDAR 2021 Competition on Historical Map Segmentation  + (Joseph Chazalon)
• Trie-based Output Itemset Sampling  + (Lamine Diop)
• QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results  + (Raghav Mehta)
• Parallel Model Checking Algorithms for Linear-Time Temporal Logic  + (Jiri Barnat)
• VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images  + (Anjany Sekuboyina)
• The Biosecure Geometry-based System for Hand Modality  + (Geoffroy Fouquier)
• How to Boost Close-Range Remote Sensing Courses Using a Serious Game: Uncover in a Fun Way the Complexity and Transversality of Multi-Domain Field Acquisitions  + (Loïca Avanthey)
• How to help digital-native students to successfully take control of their learning : A return of 8 years of experience on a computer science e-learning platform in higher education  + (Laurent Beaudoin)
• Automatically Guided Selection of a Set of Underwater Calibration Images  + (Laurent Beaudoin)
• Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC  + (Marie Duflot)
• How to Make nD Functions Digitally Well-Composed in a Self-Dual Way  + (Nicolas Boutry)
• Une généralisation du bien-composé à la dimension n  + (Nicolas Boutry)
• A Tutorial on Well-Composedness  + (Nicolas Boutry)
• Well-Composedness in Alexandrov spaces implies Digital Well-Composedness in Z^n  + (Nicolas Boutry)
• How to Make nD Images Well-Composed Without Interpolation  + (Nicolas Boutry)
• A Quasi-Linear Algorithm to Compute the Tree of Shapes of n-D Images  + (Thierry Géraud)
• On Making nD Images Well-Composed by a Self-Dual Local Interpolation  + (Nicolas Boutry)
• Why and How to Design a Generic and Efficient Image Processing Framework: The Case of the Milena Library  + (Roland Levillain)
• Une approche générique du logiciel pour le traitement d'images préservant les performances  + (Roland Levillain)
• Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images  + (Roland Levillain)
• Writing Reusable Digital Geometry Algorithms in a Generic Image Processing Framework  + (Roland Levillain)
• Periodic Area-of-Motion characterization for Bio-Medical applications  + (Élodie Puybareau)
• Connected Filtering on Tree-Based Shape-Spaces  + (Yongchao Xu)