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
- Qu'est-ce que mon GNN capture vraiment ? Exploration des représentations internes d'un GNN + (Luca Veyrin-Forrer)
- What Does my GNN Really Capture? On Exploring Internal GNN Representations + (Luca Veyrin-Forrer)
- In Pursuit of the Hidden Features of GNN's Internal Representations + (Luca Veyrin-Forrer)
- People/Stefania Calarasanu + (Stefania Calarasanu)
- 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)
- Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms + (Stefania Calarasanu)
- TextCatcher: A method to detect curved and challenging text in natural scenes + (Jonathan Fabrizio)
- Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy + (Sharib Ali)
- 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)
- Olena Publications + (Edwin Carlinet)
- 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)
- Past People + (Yann Jacquelet)
- 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)
- Améliorer Horn-Schunck + (Sylvain Lobry)
- Calcul du flux optique dans des séquences avec des parties manquantes + (Sylvain Lobry)
- Computing the optical flow in sequences with missing parts + (Sylvain Lobry)
- Désambiguïsation de la superposition de lignes. + (Sylvain Lobry)
- Improving Horn-Schunck + (Sylvain Lobry)
- Olena Publications + (Sylvain Lobry)
- Past People + (Sylvain Lobry)
- People/Sylvain Lobry + (Sylvain Lobry)
- Scribo: Disambiguation of lines superimposement + (Sylvain Lobry)
- 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)