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
- 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)
- People/Sylvain Peyronnet + (Sylvain Peyronnet)
- Practical Application of Probabilistic Model Checking to Communication Protocols + (Marie Duflot)
- A Vectorial Self-Dual Morphological Filter based on Total Variation Minimization + (Jérôme Darbon)
- 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)
- A First Parallel Algorithm to Compute the Morphological Tree of Shapes of nD Images + (Sébastien Crozet)
- A Quasi-Linear Algorithm to Compute the Tree of Shapes of n-D Images + (Sébastien Crozet)
- About the computation of the Tree of Shapes on n-dimensional images in quasi-linear time. + (Sébastien Crozet)
- Approche parallèle pour le calcul de l'arbre des formes en n-dimensions + (Sébastien Crozet)
- Olena Publications + (Sébastien Crozet)
- Parallel approach for the computation of the tree of shapes on n-dimensional images + (Sébastien Crozet)
- Revue comparative des algorithmes de calcul de l'arbre des formes. + (Sébastien Crozet)
- Self-Duality and Digital Topology: Links Between the Morphological Tree of Shapes and Well-Composed Gray-Level Images + (Sébastien Crozet)
- The Tree of Shapes Comparative Review of Component Tree Computation Algorithms. + (Sébastien Crozet)
- The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm + (Sébastien Crozet)
- The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm + (Sébastien Crozet)
- Un algorithme de complexité linéaire pour le calcul de l'arbre des formes + (Sébastien Crozet)
- À propos du calcul de l'arbre des formes sur des images n-dimensionnelles en temps quasi-linéaire. + (Sébastien Crozet)
- 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)
- 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)