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
- 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)
- The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm + (Edwin Carlinet)
- Parallel Computation of Component Trees on Distributed Memory Machines + (Markus Götz)
- Connected Filtering on Tree-Based Shape-Spaces + (Yongchao Xu)
- Document type recognition using evidence theory + (Thierry Géraud)
- Atlas-guided recognition of cerebral structures in MRI using fusion of fuzzy structural information + (Thierry Géraud)
- Morphologie et algorithmes + (Thierry Géraud)
- Generic implementation of morphological image operators + (Jérôme Darbon)
- Meaningful disjoint level lines selection + (Yongchao Xu)
- Introducing the Dahu Pseudo-Distance + (Thierry Géraud)
- Writing Reusable Digital Topology Algorithms in a Generic Image Processing Framework + (Roland Levillain)
- Hierarchical Segmentation Using Tree-Based Shape Spaces + (Yongchao Xu)
- Efficient Computation of Attributes and Saliency Maps on Tree-Based Image Representations + (Yongchao Xu)
- Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection + (Yongchao Xu)
- Segmentation d'objets curvilignes à l'aide des champs de Markov sur un graphe d'adjacence de courbes issu de l'algorithme de la ligne de partage des eaux + (Thierry Géraud)
- White Matter Hyperintensities Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning + (Yongchao Xu)
- Practical Genericity: Writing Image Processing Algorithms Both Reusable and Efficient + (Roland Levillain)
- Two applications of shape-based morphology: blood vessels segmentation and a generalization of constrained connectivity + (Yongchao Xu)
- Speckle Spot Detection in Ultrasound Images: Application to Speckle Reduction and Speckle Tracking + (Nicolas Widynski)
- Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection + (Yongchao Xu)
- Segmentation d'IRM de cerveaux de nouveau-nés en quelques secondes à l'aide d'un réseau de neurones convolutif pseudo-3D et de transfert d'apprentissage + (Yongchao Xu)
- Self-Duality and Digital Topology: Links Between the Morphological Tree of Shapes and Well-Composed Gray-Level Images + (Thierry Géraud)
- Espaces des formes basés sur des arbres : définition et applications en traitement d'images et vision par ordinateur + (Yongchao Xu)
- Salient Level Lines Selection Using the Mumford-Shah Functional + (Yongchao Xu)
- Context-Based Energy Estimator: Application to Object Segmentation on the Tree of Shapes + (Yongchao Xu)
- Morphological Filtering in Shape Spaces : Applications using Tree-Based Image Representations + (Yongchao Xu)
- A Color Tree of Shapes with Illustrations on FilteringSimplification, and Segmentation + (Edwin Carlinet)
- Algorithms for Mathematical Morphology + (Thierry Géraud)
- A framework to dynamically manage distributed virtual environments + (Yoann Fabre)
- An asynchronous architecture to manage communicationdisplay, and user interaction in distributed virtual environments + (Yoann Fabre)
- Tree-Based Morse Regions: A Topological Approach to Local Feature Detection + (Yongchao Xu)
- From Neonatal to Adult Brain MR Image Segmentation in a Few Seconds Using 3D-Like Fully Convolutional Network and Transfer Learning + (Yongchao Xu)
- MToS: A Tree of Shapes for Multivariate Images + (Edwin Carlinet)
- Discrete set-valued continuity and interpolation + (Laurent Najman)
- Multi-band segmentation using morphological clustering and fusion application to color image segmentation + (Heru Xue)
- Olena Publications + (Edwin Carlinet)
- Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina + (Julie Rivet)
- An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming + (Michaël Roynard)
- Left Atrial Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning + (Élodie Puybareau)
- Intervertebral Disc Segmentation Using Mathematical Morphology—A CNN-Free Approach + (Edwin Carlinet)
- Motion Compensation in Digital Holography for Retinal Imaging + (Julie Rivet)
- How to Make n-D Plain Maps Alexandrov-Well-Composed in a Self-dual Way + (Nicolas Boutry)
- An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1D + (Nicolas Boutry)
- Introducing Multivariate Connected Openings and Closings + (Edwin Carlinet)
- Filtres connexes multivariés par fusion d'arbres de composantes + (Edwin Carlinet)
- Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques + (Baptiste Esteban)
- Estimating the noise level function with the tree of shapes and non-parametric statistics + (Baptiste Esteban)
- Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images + (Guillaume Tochon)
- Jobs/LANGEVIN + (Thierry Géraud)
- Connected Filters on Generalized Shape-Spaces + (Lê Duy Huỳnh)
- A Two-Stage Temporal-Like Fully Convolutional Network Framework for Left Ventricle Segmentation and Quantification on MR Images + (Zhou Zhao)
- Using Separated Inputs for Multimodal Brain Tumor Segmentation with 3D U-Net-like Architectures + (Nicolas Boutry)
- A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation + (Minh Ôn Vũ Ngoc)
- A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D + (Nicolas Boutry)
- Topological Properties of the First Non-Local Digitally Well-Composed Interpolation on n-D Cubical Grids + (Nicolas Boutry)
- Equivalence between Digital Well-Composedness and Well-Composedness in the Sense of Alexandrov on n-D Cubical Grids + (Nicolas Boutry)
- FOANet: A Focus of Attention Network with Application to Myocardium Segmentation + (Zhou Zhao)
- Do not Treat Boundaries and Regions Differently: An Example on Heart Left Atrial Segmentation + (Zhou Zhao)
- A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging + (Zhaohan Xiong)
- An Equivalence Relation between Morphological Dynamics and Persistent Homology in n-D + (Nicolas Boutry)
- A New Matching Algorithm between Trees of Shapes and its Application to Brain Tumor Segmentation + (Nicolas Boutry)
- ICDAR 2021 Competition on Historical Map Segmentation + (Joseph Chazalon)
- Introducing the Boundary-Aware Loss for Deep Image Segmentation + (Minh Ôn Vũ Ngoc)
- Document detection in videos captured by smartphones using a saliency-based method + (Minh Ôn Vũ Ngoc)
- Max-Tree Computation on GPUs + (Nicolas Blin)
- Local Intensity Order Transformation for Robust Curvilinear Object Segmentation + (Tianyi Shi)
- Some Equivalence Relation between Persistent Homology and Morphological Dynamics + (Nicolas Boutry)
- A Modern C++ Point of View of Programming in Image Processing + (Michaël Roynard)
- The Dahu Graph-Cut for Interactive Segmentation on 2D/3D Images + (Minh Ôn Vũ Ngoc)
- Continuous Well-Composedness implies Digital Well-Composedness in n-D + (Nicolas Boutry)
- The Challenge of Cerebral Magnetic Resonance Imaging in Neonates: A New Method using Mathematical Morphology for the Segmentation of Structures Including Diffuse Excessive High Signal Intensities + (Yongchao Xu)
- People/Thomas Badie + (Thomas Badie)
- Réduction par simulation directe pour les TGBA + (Thomas Badie)
- Réduction par simulation pour les TGBA + (Thomas Badie)
- Compositional Approach to Suspension and Other Improvements to LTL Translation + (Tomáš Babiak)
- Réduction basées sur la bisimulation appliquées aux TGBA + (Thomas Badie)
- Bisimulation-based Reductions on TGBA + (Thomas Badie)
- Simulation-based Reductions for TGBA + (Thomas Badie)
- Direct-Simulation Reduction for TGBA + (Thomas Badie)
- Past People + (Yann Jacquelet)
- People/Thomas Claveirole + (Thomas Claveirole)
- Inside Vaucanson + (Thomas Claveirole)
- An overview of Vaucanson + (Thomas Claveirole)
- Analysis of the Vaucanson project + (Thomas Claveirole)
- An overview of Vaucanson + (Thomas Claveirole)
- Analysis of the Vaucanson project + (Thomas Claveirole)
- Papers about Vaucanson + (Akim Demaille)
- ... Insert a title in French here ... + (Thomas De Carvalho)
- Artificial states generation in state spaces using kernel density estimation + (Thomas De Carvalho)
- Artificial states generation in state spaces using kernel density estimation + (Thomas De Carvalho)
- Model classification in model checking using random forest + (Thomas De Carvalho)
- Distribution, approximation and probabilistic model checking + (Guillaume Guirado)
- Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC + (Marie Duflot)
- Evaluating complex MAC protocols for sensor networks with APMC + (Michaël Cadilhac)
- Probabilistic Verification of Sensor Networks + (Akim Demaille)
- APMC 3.0: Approximate verification of Discrete and Continuous Time Markov Chains + (Thomas Hérault)
- Past People + (Yann Jacquelet)
- People/Thomas Largillier + (Thomas Largillier)
- ESDF: A proposal for a more flexible SDF handling + (Akim Demaille)
- From Spot 2.0 to Spot 2.10: What's New? + (Alexandre Duret-Lutz)
- People/Thomas Moulard + (Thomas Moulard)
- Conception of a static oriented language: an overview of Scool + (Thomas Moulard)
- C++ container library with the SCOOP paradigm + (Thomas Moulard)
- An overview of Scoop, a static object-oriented paradigm + (Thomas Moulard)
- Une introduction à Scoop, un paradigme Cxx orienté objet + (Thomas Moulard)
- Conception of a static oriented language: an overview of Scool + (Thomas Moulard)
- C++ container library with the SCOOP paradigm + (Thomas Moulard)
- Olena Publications + (Edwin Carlinet)
- PAIP 2019: Liver Cancer Segmentation Challenge + (Yoo Jung Kim)
- Label-Efficient Self-Supervised Speaker Verification With Information Maximization and Contrastive Learning + (Théo Lepage)
- VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images + (Anjany Sekuboyina)
- Local Intensity Order Transformation for Robust Curvilinear Object Segmentation + (Tianyi Shi)
- Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge + (Li Wang)
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results + (Raghav Mehta)
- Compositional Approach to Suspension and Other Improvements to LTL Translation + (Tomáš Babiak)
- The Hanoi Omega-Automata Format + (Tomáš Babiak)
- A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers + (Sylvie Boldo)
- People/Ugo Jardonnet + (Ugo Jardonnet)
- Fast Image Registration + (Ugo Jardonnet)
- Canvas in Morphological Algorithms + (Ugo Jardonnet)
- Reconstruction d'image + (Ugo Jardonnet)
- Canvas in Morphological Algorithms + (Ugo Jardonnet)
- Recalage d'images rapide + (Ugo Jardonnet)
- Image reconstruction + (Ugo Jardonnet)
- Posets With Interfaces as a Model for Concurrency + (Uli Fahrenberg)
- A Kleene Theorem for Higher-Dimensional Automata + (Uli Fahrenberg)
- Featured Games + (Uli Fahrenberg)
- Introduction to the Special Issue on Distributed Hybrid Systems + (Alessandro Abate)
- Higher-Dimensional Timed and Hybrid Automata + (Uli Fahrenberg)
- Energy Problems in Finite and Timed Automata with Büchi Conditions + (Sven Dziadek)
- A Myhill-Nerode Theorem for Higher-Dimensional Automata + (Uli Fahrenberg)
- Catoids and Modal Convolution Algebras + (Uli Fahrenberg)
- Diversifying a Parallel SAT Solver with Bayesian Moment Matching + (V Vallade)
- 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)
- Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge + (H J Kuijf)
- People/Valentin David + (Valentin David)
- C-Transformers — A Framework to Write C Program Transformations + (Alexandre Borghi)
- Attribute grammars for C++ disambiguation + (Valentin David)
- Transformers: a C++ program transformation framework + (Robert Anisko)
- C/C++ Disambiguation Using Attribute Grammars + (Valentin David)
- Implementing attributes in SDF + (Alexandre Borghi)
- Attribute Grammars for Modular Disambiguation + (Valentin David)
- Attribute grammars for C++ disambiguation + (Valentin David)
- Transformers: a C++ program transformation framework + (Robert Anisko)
- I-Vectors distance learning with Convolutional Neural Networks + (Valentin Iovene)
- Apprentissage d'une distance entre deux i-vectors via des réseaux de neurones à convolution + (Valentin Iovene)
- Modèle du monde à base de réseaux de neurones à délai temporel pour la reconnaissance du locuteur + (Valentin Iovene)
- Domain Mismatch Compensation for Text-Independant Speaker Recognition + (Valentin Iovene)
- Time Delay Neural Networks-Based Universal Background Model for Speaker Recognition + (Valentin Iovene)
- Domain Mismatch Compensation for Text-Independant Speaker Recognition + (Valentin Iovene)
- People/Valentin Tolmer + (Valentin Tolmer)
- Transducer composition in Vaucanson 2 + (Valentin Tolmer)
- Algorithms on Transducers + (Valentin Tolmer)
- Composition Efficace de Transducteurs dans Vcsn + (Valentin Tolmer)
- Composition de transducteur dans Vaucanson 2 + (Valentin Tolmer)
- Efficient Transducer Composition in Vcsn + (Valentin Tolmer)
- Algorithmes sur les Transducteurs + (Valentin Tolmer)
- People/Valentine Ogier-Galland + (Valentine Ogier-Galland)
- Support Vector Machines and Joint Factor Analysis for Speaker Verification + (Najim Dehak)
- Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy + (Sharib Ali)
- Morse-Smale Complex computation with Watershed Cut + (Victor Collette)
- Calcul du Complexe de Morse-Smale à l'aide de coupe de ligne de partage des eaux + (Victor Collette)
- People/Victor Lenoir + (Victor Lenoir)
- Détection de voix + (Victor Lenoir)
- Séparation de locuteur + (Victor Lenoir)
- Speaker Diarization + (Victor Lenoir)
- Voice Activity Detection + (Victor Lenoir)
- Transducers in Vaucanson 2 + (Victor Marie-Santet)
- Transducteurs dans Vaucanson 2 + (Victor Marie-Santet)
- Papers about Vaucanson + (Akim Demaille)
- Efficient implementations of hierarchical morphological representations + (Victor Simonin)
- Implementations efficaces des representations hierarchiques morphologiques + (Victor Simonin)
- A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers + (Saeed Nejati)
- Community and LBD-based Clause Sharing Policy for Parallel SAT Solving + (Vincent Vallade)
- People/Vincent Berruchon + (Vincent Berruchon)
- Parallel Model Checking Algorithms for Linear-Time Temporal Logic + (Jiri Barnat)
- Explicit State Model Checking with Generalized Büchi and Rabin Automata + (Vincent Bloemen)
- Model checking with generalized Rabin and Fin-less automata + (Vincent Bloemen)
- ICDAR 2021 Competition on Historical Map Segmentation + (Joseph Chazalon)
- People/Vincent Ordy + (Vincent Ordy)
- Ajout de la programmation par contrats au C++ avec Transformers + (Vincent Ordy)
- Adding Contracts to C++ with Transformers + (Vincent Ordy)
- Study and Analysis of C++ Extension Conception with Transformers + (Vincent Ordy)
- Étude et analyse de l'écriture d'extensions du C++ grâce à Transformers + (Vincent Ordy)
- Implementing a C++ extension with Transformers: class namespace + (Vincent Ordy)
- Implémentation d'une extension du C++ dans Transformers: class namespace + (Vincent Ordy)
- Implémentation des transitions invisibles et transparentes dans Spot + (Vincent Tourneur)
- Réduction d'ordre partiel dans SPOT + (Vincent Tourneur)
- Partial order reduction in SPOT + (Vincent Tourneur)
- Implementation of Invisible and Transparent Transitions in Spot + (Vincent Tourneur)
- Benchmarking of Partial Order Reduction in Spot + (Vincent Tourneur)
- Mesures sur la réduction d'ordre partiel dans Spot + (Vincent Tourneur)
- On the Usefulness of Clause Strengthening in Parallel SAT Solving + (Vincent Vallade)
- Optimisation d'une bibliothèque de traitement d'images + (Virgile Hirtz)
- Optimization of an image processing library + (Virgile Hirtz)
- The Role of Speaker Factors in the NIST Extended Data Task + (Patrick Kenny)
- People/Vivien Delmon + (Vivien Delmon)
- Parser d'expressions rationnelles + (Vivien Delmon)
- Automata Reduction + (Vivien Delmon)
- Rational Expression Parser + (Vivien Delmon)
- Generic epsilon-removal + (Vivien Delmon)
- Reduction d'automates + (Vivien Delmon)
- Generic epsilon-removal + (Vivien Delmon)
- On Refinement of Büchi Automata for Explicit Model Checking + (František Blahoudek)
- Extraction of Ancient Map Contents Using Trees of Connected Components + (Jordan Drapeau)
- A Channel-Blind System for Speaker Verification + (Najim Dehak)
- People/Warren Seine + (Warren Seine)
- Désambiguïsation des patrons de type C++ avec les Grammaires Attribuées de Transformers + (Warren Seine)
- Une implémentation des conteneurs C++ avec SCOOL + (Warren Seine)
- Integrating modern parallel techniques in the Tiger compiler + (Warren Seine)
- An implementation of the C++ container library with SCOOL + (Warren Seine)
- C++ template disambiguation with Transformers Attribute Grammars + (Warren Seine)
- Intégration de techniques de parallélisation dans le compilateur Tiger + (Warren Seine)
- A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging + (Zhaohan Xiong)