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
- Evaluating complex MAC protocols for sensor networks with APMC + (Michaël Cadilhac)
- Probabilistic Verification of Sensor Networks + (Akim Demaille)
- Approximate Probabilistic Model Checking for Programs + (Jérôme Darbon)
- Modeling of Sensor Networks Using XRM + (Akim Demaille)
- Probabilistic verification and approximation + (Richard Lassaigne)
- Distribution, approximation and probabilistic model checking + (Guillaume Guirado)
- Probabilistic abstraction for model checking: an approach based on property testing + (Sophie Laplante)
- 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)
- Approximate Nash Equilibria for Multi-Player Games + (Sébastien Hémon)
- People/Sébastien Hémon + (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)
- From text detection to text segmentation: a unified evaluation scheme + (Stefania Calarasanu)
- Using histogram representation and Earth Mover's Distance as an evaluation tool for text detection + (Stefania Calarasanu)
- Towards the rectification of highly distorted texts + (Stefania Calarasanu)
- What is a good evaluation protocol for text localization systems? Concerns, arguments, comparisons and solutions + (Stefania Calarasanu)
- Motion compensation based on Tangent Distance prediction for video compression + (Jonathan Fabrizio)
- TextCatcher: A method to detect curved and challenging text in natural scenes + (Jonathan Fabrizio)
- A Self-Adaptive Likelihood Function for Tracking with Particle Filter + (Séverine Dubuisson)
- TextTrail: A Robust Text Tracking Algorithm In Wild Environments + (Myriam Robert-Seidowsky)
- Olena Publications + (Edwin Carlinet)
- 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)