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 First Parallel Algorithm to Compute the Morphological Tree of Shapes of nD Images +
- A Morphological Method for Music Score Staff Removal +
- A Morphological Tree of Shapes for Color Images +
- A Type System for Weighted Automata and Rational Expressions +
- A precise skew estimation algorithm for document images using KNN clustering and Fourier transform +
- Contribution aux tests de vacuité pour le model checking explicite +
- Espaces des formes basés sur des arbres : définition et applications en traitement d'images et vision par ordinateur +
- GMM Weights Adaptation Based on Subspace Approaches for Speaker Verification +
- Getting a morphological Tree of Shapes for Multivariate Images: Paths, Traps and Pitfalls +
- Improving the Model Checking of Stutter-Invariant LTL Properties +
- Is There a Best Büchi Automaton for Explicit Model Checking? +
- LTL Translation Improvements in Spot 1.0 +
- Meaningful disjoint level lines selection +
- Mechanizing the Minimization of Deterministic Generalized Büchi Automata +
- On Making nD Images Well-Composed by a Self-Dual Local Interpolation +
- Practical Genericity: Writing Image Processing Algorithms Both Reusable and Efficient +
- Speckle Spot Detection in Ultrasound Images: Application to Speckle Reduction and Speckle Tracking +
- Symbolic Model Checking of Stutter Invariant Properties Using Generalized Testing Automata +
- Traitement d'images multivariées avec l'arbre des formes +
- Tree-Based Morse Regions: A Topological Approach to Local Feature Detection +
- Une généralisation du bien-composé à la dimension n +