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
- Using the Mumford-Shah segmentation for Text Detection in images + (James Batten)
- Utilisation de la segmentation de Mumford-Shah pour la détection du texte dans les images + (James Batten)
- Olena Publications + (Edwin Carlinet)
- Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy + (Sharib Ali)
- VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images + (Anjany Sekuboyina)
- Compositional Approach to Suspension and Other Improvements to LTL Translation + (Tomáš Babiak)
- Is There a Best Büchi Automaton for Explicit Model Checking? + (František Blahoudek)
- Seminator: A Tool for Semi-Determinization of Omega-Automata + (František Blahoudek)
- The Hanoi Omega-Automata Format + (Tomáš Babiak)
- On Refinement of Büchi Automata for Explicit Model Checking + (František Blahoudek)
- Generic Emptiness Check for Fun and Profit + (Christel Baier)
- Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization + (František Blahoudek)
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results + (Raghav Mehta)
- Olena/RoadMap + (David Lesage)
- People/Jean Chalard + (Jean Chalard)
- High throughput automated detection of axial malformations in fish embryo + (Diane Genest)
- High Throughput Automated Detection of Axial Malformations in Medaka Embryo + (Diane Genest)
- Fast road network extraction in satellite images using mathematical morphology and Markov random fields + (Jean-Baptiste Mouret)
- Past People + (Jean-Baptiste Mouret)
- People/Jean-Baptiste Mouret + (Jean-Baptiste Mouret)
- Extraction of Ancient Map Contents Using Trees of Connected Components + (Jordan Drapeau)
- Olena Publications + (Edwin Carlinet)
- Project EFIGI: Automatic classification of galaxies + (Anthony Baillard)
- Obtaining genericity for image processing and pattern recognition algorithms + (Thierry Géraud)
- Vers une réutilisabilité totale des algorithmes de traitement d'images + (Thierry Géraud)
- The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results + (Swen Jacobs)
- People/Jean-Luc Bounthong + (Jean-Luc Bounthong)
- Les Machines de Boltzmann dans la reconnaissance du locuteur + (Jean-Luc Bounthong)
- Compensation d'i-vecteur spécifique aux locuteurs dans la reconnaissance du locuteur + (Jean-Luc Bounthong)
- Boltzmann Machine in speaker verification + (Jean-Luc Bounthong)
- Speaker specific i-vector channel compensation in speaker recognition + (Jean-Luc Bounthong)
- People/Jean-Marie Santoni-Costantini + (Jean-Marie Santoni-Costantini)
- On-the-fly Emptiness Check of Transition-based Streett Automata + (Alexandre Duret-Lutz)
- Fictious Play + (Jean-Philippe Garcia Ballester)
- Étude du fictitious play dans le cas d'un jeu à fonctions d'utilité identiques + (Jean-Philippe Garcia Ballester)
- Past People + (Yann Jacquelet)
- People/Jean-Philippe Garcia-Ballester + (Jean-Philippe Garcia-Ballester)
- Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation) + (Michael Atlan)
- People/Jean-Sébastien Mouret + (Jean-Sébastien Mouret)
- 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)
- Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy + (Sharib Ali)
- PAIP 2019: Liver Cancer Segmentation Challenge + (Yoo Jung Kim)
- Practical Application of Probabilistic Model Checking to Communication Protocols + (Marie Duflot)