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

• 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)
• Blockchain-Based Solution for Detecting and Preventing Fake Check Scams  + (Badis Hammi)
• 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)
• The Hanoi Omega-Automata Format  + (Tomáš Babiak)
• VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images  + (Anjany Sekuboyina)

• Compositional Approach to Suspension and Other Improvements to LTL Translation  + (Jan Strejček)
• Generic Emptiness Check for Fun and Profit  + (Jan Strejček)
• Is There a Best Büchi Automaton for Explicit Model Checking?  + (Jan Strejček)
• On Refinement of Büchi Automata for Explicit Model Checking  + (Jan Strejček)
• Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization  + (Jan Strejček)
• Seminator: A Tool for Semi-Determinization of Omega-Automata  + (Jan Strejček)
• The Hanoi Omega-Automata Format  + (Jan Strejček)

• 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)
• 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)