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 Quasi-Linear Algorithm to Compute the Tree of Shapes of n-D Images +
- A comparison of many max-tree computation algorithms +
- Compositional Approach to Suspension and Other Improvements to LTL Translation +
- Discrete set-valued continuity and interpolation +
- Efficient Multiscale Sauvola's Binarization +
- Implementation Concepts in Vaucanson 2 +
- LTL Model Checking with Neco +
- Manipulating LTL formulas using Spot 1.0 +
- Resources for the DAS 2014 submission +
- Salient Level Lines Selection Using the Mumford-Shah Functional +
- Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking +
- Text detection in street level image +
- The incredible tale of the author who didn't want to do the publisher's job +
- Three SCC-based Emptiness Checks for Generalized Büchi Automata +
- TiCL: the Prototype (Star TeX: the Next GenerationSeason 2) +
- Tree-based shape spaces: Definition and applications in image processing and computer vision +
- Two applications of shape-based morphology: blood vessels segmentation and a generalization of constrained connectivity +
- Unsupervised Methods for Speaker Diarization: An Integrated and Iterative Approach +