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
- Uniform Random Sampling of Traces in Very Large Models + (Alain Denise)
- APMC 3.0: Approximate verification of Discrete and Continuous Time Markov Chains + (Thomas Hérault)
- Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC + (Marie Duflot)
- A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers + (Sylvie Boldo)
- Past People + (Yann Jacquelet)
- Polar type inference with intersection types and ω + (Sébastien Carlier)
- The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm + (Edwin Carlinet)
- A First Parallel Algorithm to Compute the Morphological Tree of Shapes of nD Images + (Sébastien Crozet)
- Un algorithme de complexité linéaire pour le calcul de l'arbre des formes + (Edwin Carlinet)
- The Tree of Shapes Comparative Review of Component Tree Computation Algorithms. + (Sébastien Crozet)
- About the computation of the Tree of Shapes on n-dimensional images in quasi-linear time. + (Sébastien Crozet)
- Revue comparative des algorithmes de calcul de l'arbre des formes. + (Sébastien Crozet)
- Approche parallèle pour le calcul de l'arbre des formes en n-dimensions + (Sébastien Crozet)
- A Quasi-Linear Algorithm to Compute the Tree of Shapes of n-D Images + (Thierry Géraud)
- Parallel approach for the computation of the tree of shapes on n-dimensional images + (Sébastien Crozet)
- The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm + (Edwin Carlinet)
- À propos du calcul de l'arbre des formes sur des images n-dimensionnelles en temps quasi-linéaire. + (Sébastien Crozet)
- Self-Duality and Digital Topology: Links Between the Morphological Tree of Shapes and Well-Composed Gray-Level Images + (Thierry Géraud)
- Olena Publications + (Edwin Carlinet)
- People/Sébastien Hémon + (Sébastien Hémon)
- Approximate Nash Equilibria for Multi-Player Games + (Sébastien Hémon)
- Automation of Binary Analysis: From Open Source Collection to Threat Intelligence + (Frederic Grelot)
- Vcsn Meets Linguistics + (Sébastien Piat)
- K plus courts chemins dans Vcsn + (Sébastien Piat)
- Vcsn et la linguistique + (Sébastien Piat)
- K shortest-paths in Vcsn + (Sébastien Piat)
- K shortest-paths in Vcsn + (Sébastien Piat)
- K plus courts chemins dans Vcsn + (Sébastien Piat)
- People/Sébastien Uzeel + (Sébastien Uzeel)
- A Self-Adaptive Likelihood Function for Tracking with Particle Filter + (Séverine Dubuisson)
- From text detection to text segmentation: a unified evaluation scheme + (Séverine Dubuisson)
- Motion compensation based on Tangent Distance prediction for video compression + (Séverine Dubuisson)
- Olena Publications + (Séverine Dubuisson)
- TextCatcher: A method to detect curved and challenging text in natural scenes + (Séverine Dubuisson)
- TextTrail: A Robust Text Tracking Algorithm In Wild Environments + (Séverine Dubuisson)
- Towards the rectification of highly distorted texts + (Séverine Dubuisson)
- Using histogram representation and Earth Mover's Distance as an evaluation tool for text detection + (Séverine Dubuisson)
- What is a good evaluation protocol for text localization systems? Concerns, arguments, comparisons and solutions + (Séverine Dubuisson)
- 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)
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results + (Raghav Mehta)
- VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images + (Anjany Sekuboyina)
- Parallel Learning Portfolio-Based Solvers + (Tarek Menouer)
- Parallel Satisfiability Solver Based on Hybrid Partitioning Method + (Tarek Menouer)
- Morphological Analysis of Brownian Motion for Physical Measurements + (Élodie Puybareau)
- LTL Model Checking for Communicating Concurrent Programs + (Adrien Pommellet)
- The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results + (Swen Jacobs)
- Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy + (Sharib Ali)
- Optimization of the Product Configuration System of Renault + (Hao Xu)
- An Experience Report on the Optimization of the Product Configuration System of Renault + (Hao Xu)
- Proposal: an XML representation for automata + (The Vaucanson group)
- Derived-Term Automata of Weighted Rational Expressions with Quotient Operators + (Akim Demaille)
- Spot 2.0 — a framework for LTL and ω-automata manipulation + (Alexandre Duret-Lutz)
- LTL Synthesis with Spot + (Thibaud Michaud)
- Quotient of weighted automata and rational series + (Thibaud Michaud)
- Quotients d'automates pondérés et de séries rationnelles + (Thibaud Michaud)
- Reactive Synthesis from LTL Specification with Spot + (Thibaud Michaud)
- Practical Stutter-Invariance Checks for ω-Regular Languages + (Thibaud Michaud)
- Synthèse LTL avec Spot + (Thibaud Michaud)
- Papers about Vaucanson + (Akim Demaille)