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 Color Tree of Shapes with Illustrations on FilteringSimplification, and Segmentation +
- A Self-Adaptive Likelihood Function for Tracking with Particle Filter +
- A Tree of Shapes for Multivariate Images +
- Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata +
- Connected Filtering on Tree-Based Shape-Spaces +
- Context-Oriented Image Processing +
- Efficient Computation of Attributes and Saliency Maps on Tree-Based Image Representations +
- Extending Testing Automata to All LTL +
- Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection +
- How to Make nD Functions Digitally Well-Composed in a Self-Dual Way +
- How to Make nD Images Well-Composed Without Interpolation +
- Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms +
- MToS: A Tree of Shapes for Multivariate Images +
- Morphological Object Picking Based on the Color Tree of Shapes +
- On Refinement of Büchi Automata for Explicit Model Checking +
- Parallel Explicit Model Checking for Generalized Büchi Automata +
- Practical Stutter-Invariance Checks for ω-Regular Languages +
- SAT-based Minimization of Deterministic ω-Automata +
- Self-Duality and Digital Topology: Links Between the Morphological Tree of Shapes and Well-Composed Gray-Level Images +
- Single-pass Testing Automata for LTL Model Checking +
- TextTrail: A Robust Text Tracking Algorithm In Wild Environments +
- The Hanoi Omega-Automata Format +
- Une approche morphologique de segmentation interactive avec l'arbre des formes couleur +
- Using histogram representation and Earth Mover's Distance as an evaluation tool for text detection +
- Variations on Parallel Explicit Model Checking for Generalized Büchi Automata +