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
- 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)
- Past People + (Yann Jacquelet)
- 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)
- An overview of Vaucanson + (Thomas Claveirole)
- An overview of Vaucanson + (Thomas Claveirole)
- Analysis of the Vaucanson project + (Thomas Claveirole)
- Analysis of the Vaucanson project + (Thomas Claveirole)
- Inside Vaucanson + (Thomas Claveirole)
- Papers about Vaucanson + (Thomas Claveirole)
- Past People + (Thomas Claveirole)
- People/Thomas Claveirole + (Thomas Claveirole)
- 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)
- ... Insert a title in French here ... + (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)