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
- Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC + (Marie Duflot)
- Extraction of Ancient Map Contents Using Trees of Connected Components + (Jordan Drapeau)
- A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging + (Zhaohan Xiong)
- PAIP 2019: Liver Cancer Segmentation Challenge + (Yoo Jung Kim)
- VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images + (Anjany Sekuboyina)
- Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata + (Manfred Droste)
- Energy Problems in Finite and Timed Automata with Büchi Conditions + (Sven Dziadek)
- The MIT Lincoln Laboratory 2016 Speaker Recognition System + (Pedro A Torres-Carrasquillo)
- The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results + (Swen Jacobs)
- Olena/Day + (Thierry Geraud)
- Olena/Paradigm2003 + (Sylvain Berlemont)
- Olena/RoadMap + (David Lesage)
- People/Sylvain Berlemont + (Sylvain Berlemont)
- Unified texture management for arbitrary meshes + (Sylvain Lefebvre)
- Past People + (Yann Jacquelet)
- People/Sylvain Lobry + (Sylvain Lobry)
- Scribo: Disambiguation of lines superimposement + (Sylvain Lobry)
- Améliorer Horn-Schunck + (Sylvain Lobry)
- Improving Horn-Schunck + (Sylvain Lobry)
- Désambiguïsation de la superposition de lignes. + (Sylvain Lobry)
- Computing the optical flow in sequences with missing parts + (Sylvain Lobry)
- Calcul du flux optique dans des séquences avec des parties manquantes + (Sylvain Lobry)
- Olena Publications + (Edwin Carlinet)
- 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)
- A Vectorial Self-Dual Morphological Filter based on Total Variation Minimization + (Sylvain Peyronnet)
- APMC 3.0: Approximate verification of Discrete and Continuous Time Markov Chains + (Sylvain Peyronnet)
- Approximate Probabilistic Model Checking for Programs + (Sylvain Peyronnet)
- Distribution, approximation and probabilistic model checking + (Sylvain Peyronnet)
- Evaluating complex MAC protocols for sensor networks with APMC + (Sylvain Peyronnet)
- Modeling of Sensor Networks Using XRM + (Sylvain Peyronnet)
- People/Sylvain Peyronnet + (Sylvain Peyronnet)
- Practical Application of Probabilistic Model Checking to Communication Protocols + (Sylvain Peyronnet)
- Probabilistic Verification of Sensor Networks + (Sylvain Peyronnet)
- Probabilistic abstraction for model checking: an approach based on property testing + (Sylvain Peyronnet)
- Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC + (Sylvain Peyronnet)
- Probabilistic verification and approximation + (Sylvain Peyronnet)
- Uniform Random Sampling of Traces in Very Large Models + (Sylvain Peyronnet)
- 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)