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
- Unsupervised Speaker Adaptation based on the Cosine Similarity for Text-Independent Speaker Verification + (S Shum)
- Unsupervised Methods for Speaker Diarization: An Integrated and Iterative Approach + (S Shum)
- SmartDoc 2017 Video Capture: Mobile Document Acquisition in Video Mode + (J Chazalon)
- Olena Publications + (Edwin Carlinet)
- Diversifying a Parallel SAT Solver with Bayesian Moment Matching + (V Vallade)
- Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge + (H J Kuijf)
- 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)
- PAIP 2019: Liver Cancer Segmentation Challenge + (Yoo Jung Kim)
- Parallel Model Checking Algorithms for Linear-Time Temporal Logic + (Jiri Barnat)
- Explicit State Model Checking with Generalized Büchi and Rabin Automata + (Vincent Bloemen)
- Model checking with generalized Rabin and Fin-less automata + (Vincent Bloemen)
- Inside Vaucanson + (Thomas Claveirole)
- Implementation Concepts in Vaucanson 2 + (Akim Demaille)
- An XML format proposal for the description of weighted automata, transducers, and regular expressions + (Akim Demaille)
- Introducing Vaucanson + (Sylvain Lombardy)
- Introducing Vaucanson + (Sylvain Lombardy)
- A Type System for Weighted Automata and Rational Expressions + (Akim Demaille)
- Papers about Vaucanson + (Akim Demaille)
- Local reasoning in fuzzy attribute graphs for optimizing sequential segmentation + (Geoffroy Fouquier)
- 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)
- The Hanoi Omega-Automata Format + (Tomáš Babiak)
- 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)
- 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)
- Past People + (Yann Jacquelet)
- People/Jean-Baptiste Mouret + (Jean-Baptiste Mouret)
- Fast road network extraction in satellite images using mathematical morphology and Markov random fields + (Thierry Géraud)
- Extraction of Ancient Map Contents Using Trees of Connected Components + (Jordan Drapeau)
- 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)