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
- A Kleene Theorem for Higher-Dimensional Automata + (Uli Fahrenberg)
- Catoids and Modal Convolution Algebras + (Uli Fahrenberg)
- Practical Application of Probabilistic Model Checking to Communication Protocols + (Marie Duflot)
- Trie-based Output Itemset Sampling + (Lamine Diop)
- VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images + (Anjany Sekuboyina)
- Gradient Vector Fields of Discrete Morse Functions and Watershed-Cuts + (Nicolas Boutry)
- Discrete Morse Functions and Watersheds + (Gilles Bertrand)
- Olena/Assignments + (Giovanni Palma)
- Olena/Paradigm2003 + (Sylvain Berlemont)
- People/Giovanni Palma + (Giovanni Palma)
- Fast color image segmentation based on levellings in feature Space + (Thierry Géraud)
- 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)
- 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)
- Boosting Vaucanson + (Guillame Lazzara)
- Boosting Vaucanson + (Guillame Lazzara)
- Papers about Vaucanson + (Akim Demaille)
- Bottleneck neural networks for Speaker Recognition + (Guillaume Daval-Frerot)
- Reseaux de neurones en goulot pour la Reconnaissance du Locuteur + (Guillaume Daval-Frerot)
- Past People + (Yann Jacquelet)
- Adaptation de l'algorithme de watershed cuts aux complexes cellulaires + (Guillaume Doré)
- Adaptation of the watershed cuts algorithm to cellular complexes + (Guillaume Doré)
- Olena Publications + (Guillaume Doré)
- Stage de traitement d'image au LRDE + (Guillaume Duhamel)
- Stage de traitement d'image au LRDE + (Guillaume Duhamel)
- Progresses towards Vaucanson 1.4 and 2.0 + (Guillaume Fiette)
- Avancées vers Vaucanson 1.4 et 2.0 + (Guillaume Fiette)
- Papers about Vaucanson + (Akim Demaille)
- Past People + (Yann Jacquelet)
- People/Guillaume Guirado + (Guillaume Guirado)
- Distribution, approximation and probabilistic model checking + (Guillaume Guirado)
- People/Guillaume Lazzara + (Guillaume Lazzara)
- Efficient Multiscale Sauvola's Binarization + (Guillaume Lazzara)
- Boosting Vaucanson's genericity + (Guillaume Lazzara)
- The SCRIBO Module of the Olena Platform: a Free Software Framework for Document Image Analysis + (Guillaume Lazzara)
- Booster la généricité de Vaucanson + (Guillaume Lazzara)
- Resources for the DAS 2014 submission + (Guillaume Lazzara)
- People/Guillaume Leroi + (Guillaume Leroi)
- Synchronized Tranducers + (Guillaume Leroi)
- Transducteurs synchronisés + (Guillaume Leroi)
- People/Guillaume Pitel + (Guillaume Pitel)
- Urbi et Orbi: unusual design and implementation choices for distributed virtual environments + (Yoann Fabre)
- A framework to dynamically manage distributed virtual environments + (Yoann Fabre)
- An asynchronous architecture to manage communicationdisplay, and user interaction in distributed virtual environments + (Yoann Fabre)
- People/Guillaume Sadegh + (Guillaume Sadegh)
- Complementing Büchi Automata With Alternating Automata + (Guillaume Sadegh)
- Front-end Promela dans Spot + (Guillaume Sadegh)