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
- A Comparative Review of Component Tree Computation Algorithms +
- A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging +
- A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation +
- A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams +
- A Tutorial on Well-Composedness +
- A blockchain-based certificate revocation management and status verification system +
- AGAT: Building and Evaluating Binary Partition Trees for Image Segmentation +
- Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness +
- Automatically Guided Selection of a Set of Underwater Calibration Images +
- Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge +
- Binary Methods Programming: the CLOS Perspective (extended version) +
- Blockchain-Based Solution for Detecting and Preventing Fake Check Scams +
- Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images +
- Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation +
- C-Transformers — A Framework to Write C Program Transformations +
- Catoids and Modal Convolution Algebras +
- Connected Filtering on Tree-Based Shape-Spaces +
- Connected Filters on Generalized Shape-Spaces +
- Continuous Well-Composedness implies Digital Well-Composedness in n-D +
- Current Trends in Blockchain Implementations on the Paradigm of Public Key Infrastructure: A Survey +
- Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy +
- Derived-Term Automata of Multitape Expressions with Composition +
- Discrete Morse Functions and Watersheds +
- Efficient Multiscale Sauvola's Binarization +
- Electricity Price Forecasting on the Day-Ahead Market using Machine Learning +
- Equivalence between Digital Well-Composedness and Well-Composedness in the Sense of Alexandrov on n-D Cubical Grids +
- Fast road network extraction in satellite images using mathematical morphology and Markov random fields +
- Featured Games +
- Front-End Factor Analysis For Speaker Verification +
- Fusion of spatial relationships for guiding recognitionexample of brain structure recognition in 3D MRI +
- Go2Pins: A framework for the LTL verification of Go programs (Extended Version) +
- Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata +
- Hierarchical Segmentation Using Tree-Based Shape Spaces +
- Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection +
- Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection +
- High Throughput Automated Detection of Axial Malformations in Medaka Embryo +
- Higher-Dimensional Timed and Hybrid Automata +
- How to Boost Close-Range Remote Sensing Courses Using a Serious Game: Uncover in a Fun Way the Complexity and Transversality of Multi-Domain Field Acquisitions +
- How to Make n-D Plain Maps Alexandrov-Well-Composed in a Self-dual Way +
- How to help digital-native students to successfully take control of their learning : A return of 8 years of experience on a computer science e-learning platform in higher education +
- How to make Lisp go faster than C +
- Image restoration with discrete constrained Total Variation—Part I: Fast and exact optimization +
- Image restoration with discrete constrained Total Variation—Part II: Levelable functions, convex priors and non-convex case +
- Improving swarming using genetic algorithms +
- In Pursuit of the Hidden Features of GNN's Internal Representations +
- Introducing Vaucanson +
- Introduction to the Special Issue on Distributed Hybrid Systems +
- LTL Model Checking for Communicating Concurrent Programs +
- LTL Translation Improvements in Spot 1.0 +
- Learning Grayscale Mathematical Morphology with Smooth Morphological Layers +
- Lisp, Jazz, Aikido +
- Local Intensity Order Transformation for Robust Curvilinear Object Segmentation +
- MToS: A Tree of Shapes for Multivariate Images +
- Max-Tree Computation on GPUs +
- Methods for Explaining Top-N Recommendations Through Subgroup Discovery +
- Model Checking using Generalized Testing Automata +
- Model checking with generalized Rabin and Fin-less automata +
- Motion compensation based on Tangent Distance prediction for video compression +
- NixOS: A purely functional Linux distribution +
- Object tracking by hierarchical decomposition of hyperspectral video sequences: Application to chemical gas plume tracking +
- On GNN Explainability with Activation Rules +
- PAIP 2019: Liver Cancer Segmentation Challenge +
- Parallel Computation of Component Trees on Distributed Memory Machines +
- Posets With Interfaces as a Model for Concurrency +
- Probabilistic abstraction for model checking: an approach based on property testing +
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results +
- Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition—application to 3D brain imaging +
- Revisiting the Visitor: the Just Do It Pattern +
- Shape-based hand recognition +
- Some Equivalence Relation between Persistent Homology and Morphological Dynamics +
- Spatial reasoning with relative incomplete information on relative positioning +
- Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge +
- Strong Euler Wellcomposedness +
- Text detection in street level image +
- TextCatcher: A method to detect curved and challenging text in natural scenes +
- 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 +
- The Dahu Graph-Cut for Interactive Segmentation on 2D/3D Images +
- Topological Properties of the First Non-Local Digitally Well-Composed Interpolation on n-D Cubical Grids +
- Towards Better Heuristics for Solving Bounded Model Checking Problems +
- Tree-Based Morse Regions: A Topological Approach to Local Feature Detection +
- Unsupervised Methods for Speaker Diarization: An Integrated and Iterative Approach +
- Using subgroup discovery to relate odor pleasantness and intensity to peripheral nervous system reactions +
- Variations on Parallel Explicit Model Checking for Generalized Büchi Automata +
- VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images +
- Weakly Well-Composed Cell Complexes over nD Pictures +
- What is a good evaluation protocol for text localization systems? Concerns, arguments, comparisons and solutions +