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
- Tuning SAT Solvers for LTL Model Checking + (Anissa Kheireddine)
- Towards Better Heuristics for Solving Bounded Model Checking Problems + (Anissa Kheireddine)
- 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)
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results + (Raghav Mehta)
- 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)
- 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)
- 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)
- 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)
- 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)
- Brain Tumor Segmentation with deep convolutional network approach + (Thibault Buatois)
- Segmentation de tumeur cérébrale par réseau de neurones convolutionel + (Thibault Buatois)
- Smart and robust segmentation of medical images using neural networks + (Thibault Buatois)
- Segmentation robuste et intelligente d'images médicales par réseau de neurones + (Thibault Buatois)
- Two Stages CNN-Based Segmentation of GliomasUncertainty Quantification and Prediction of Overall Patient Survival + (Thibault Buatois)
- Smart and robust segmentation of medical images using neural networks + (Thibault Buatois)
- Segmentation robuste et intelligente d'images médicales par réseau de neurones + (Thibault Buatois)
- Discrimination supervisé de caractères sur des images + (Thibault Deutsch)
- Supervised Discrimination of Characters on Images + (Thibault Deutsch)
- Olena/Day + (Thierry Geraud)
- Jobs/M2 2015 TG Document Image Simplification + (Thierry Geraud)
- Jobs/M2 2015 TG Self Dual Filters + (Thierry Geraud)
- Jobs/M2 2015 TG Text Extraction + (Thierry Geraud)
- Jobs/M2 2017 TG Modern Generic C ++ programming + (Thierry Geraud)
- Jobs/M2 TG 2014 text-extraction + (Thierry Géraud)
- Jobs/M2 TG 2014 self-dual-filters + (Thierry Géraud)
- Jobs/M2 TG 2014 image-simplication + (Thierry Géraud)
- Jobs/M2 TG 2014 image-simplication/fr + (Thierry Géraud)
- Jobs/M2 TG 2014 self-dual-filters/fr + (Thierry Géraud)
- Jobs/M2 TG 2014 text-extraction/fr + (Thierry Géraud)
- About + (Thierry Géraud)
- People/Thierry Géraud + (Thierry Géraud)
- Saliency-Based Detection of Identity Documents Captured by Smartphones + (Minh Ôn Vũ Ngoc)
- Effective Component Tree Computation with Application to Pattern Recognition in Astronomical Imaging + (Christophe Berger)
- How to Make nD Functions Digitally Well-Composed in a Self-Dual Way + (Nicolas Boutry)
- Morphological Object Picking Based on the Color Tree of Shapes + (Edwin Carlinet)
- Une généralisation du bien-composé à la dimension n + (Nicolas Boutry)
- A comparison of many max-tree computation algorithms + (Edwin Carlinet)
- The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm + (Edwin Carlinet)
- A Tutorial on Well-Composedness + (Nicolas Boutry)
- Project EFIGI: Automatic classification of galaxies + (Anthony Baillard)
- Fusion of spatial relationships for guiding recognitionexample of brain structure recognition in 3D MRI + (Isabelle Bloch)
- Generic algorithmic blocks dedicated to image processing + (Jérôme Darbon)
- A First Parallel Algorithm to Compute the Morphological Tree of Shapes of nD Images +
- Une approche morphologique de segmentation interactive avec l'arbre des formes couleur + (Edwin Carlinet)
- Algorithme de calcul de l'arbre des composantes avec applications à la reconnaissance des formes en imagerie satellitaire + (Anthony Baillard)
- A static C++ object-oriented programming (SCOOP) paradigm mixing benefits of traditional OOP and generic programming + (Nicolas Burrus)
- Region-Based Classification of Remote Sensing Images with the Morphological Tree of Shapes + (Gabriele Cavallaro)
- Getting a morphological Tree of Shapes for Multivariate Images: Paths, Traps and Pitfalls + (Edwin Carlinet)
- A Comparative Review of Component Tree Computation Algorithms + (Edwin Carlinet)
- Un algorithme de complexité linéaire pour le calcul de l'arbre des formes + (Edwin Carlinet)
- Well-Composedness in Alexandrov spaces implies Digital Well-Composedness in Z^n + (Nicolas Boutry)
- Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition—application to 3D brain imaging + (Isabelle Bloch)
- Obtaining genericity for image processing and pattern recognition algorithms + (Thierry Géraud)
- La pseudo-distance du dahu + (Edwin Carlinet)
- Morphology-Based Hierarchical Representation with Application to Text Segmentation in Natural Images + (Lê Duy Huỳnh)
- Applying generic programming to image processing + (Thierry Géraud)
- Outil logiciel pour le traitement d'images: Bibliothèque, paradigmes, types et algorithmes + (Thierry Géraud)
- How to Make nD Images Well-Composed Without Interpolation + (Nicolas Boutry)
- Efficient Multiscale Sauvola's Binarization + (Guillaume Lazzara)
- Extraction of Ancient Map Contents Using Trees of Connected Components + (Jordan Drapeau)
- Fast Road Network Extraction in Satellite Images using Mathematical Morphology and MRF + (Thierry Géraud)
- Segmentation of curvilinear objects using a watershed-based curve adjacency graph + (Thierry Géraud)
- A Quasi-Linear Algorithm to Compute the Tree of Shapes of n-D Images + (Thierry Géraud)
- Fast color image segmentation based on levellings in feature Space + (Thierry Géraud)
- A Morphological Tree of Shapes for Color Images + (Edwin Carlinet)
- Ruminations on Tarjan's Union-Find algorithm and connected operators + (Thierry Géraud)
- Fast road network extraction in satellite images using mathematical morphology and Markov random fields + (Thierry Géraud)
- Color image segmentation based on automatic morphological clustering + (Thierry Géraud)
- A Morphological Method for Music Score Staff Removal + (Thierry Géraud)
- Vers une réutilisabilité totale des algorithmes de traitement d'images + (Thierry Géraud)
- A Challenging Issue: Detection of White Matter Hyperintensities in Neonatal Brain MRI + (Baptiste Morel)
- Semantics-Driven Genericity: A Sequel to the Static C++ Object-Oriented Programming Paradigm (SCOOP 2) + (Thierry Géraud)
- Generic programming redesign of patterns + (Thierry Géraud)
- On Making nD Images Well-Composed by a Self-Dual Local Interpolation + (Nicolas Boutry)
- Why and How to Design a Generic and Efficient Image Processing Framework: The Case of the Milena Library + (Roland Levillain)
- Une approche générique du logiciel pour le traitement d'images préservant les performances + (Roland Levillain)
- Morphological Hierarchical Image Decomposition Based on Laplacian 0-Crossings + (Lê Duy Huỳnh)
- Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images + (Roland Levillain)
- Segmentation d'images en couleur par classification morphologique non supervisée + (Thierry Géraud)
- Writing Reusable Digital Geometry Algorithms in a Generic Image Processing Framework + (Roland Levillain)
- The SCRIBO Module of the Olena Platform: a Free Software Framework for Document Image Analysis + (Guillaume Lazzara)
- Real-Time Document Detection in Smartphone Videos + (Élodie Puybareau)
- Segmentation des hyperintensités de la matière blanche en quelques secondes à l'aide d'un réseau de neurones convolutif et de transfert d'apprentissage + (Élodie Puybareau)
- Traitement d'images multivariées avec l'arbre des formes + (Edwin Carlinet)
- Generic design patterns in C++ + (Alexandre Duret-Lutz)
- Reconnaissance de structures cérébrales à l'aide d'un atlas et par fusion d'informations structurelles floues + (Thierry Géraud)
- Real-Time Document Detection in Smartphone Videos + (Élodie Puybareau)
- Resources for the DAS 2014 submission + (Guillaume Lazzara)