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
- 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 +