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
- NewsEntry (2013/12/11) + (December 11, 2013)
- Seminar/2013-12-11 + (December 11, 2013)
- Tree-based shape spaces: Definition and applications in image processing and computer vision + (December 12, 2013)
- NewsEntry (2013/12/12) + (December 12, 2013)
- NewsEntry (2013/12/18) + (December 18, 2013)
- NewsEntry (2014/01/22) + (January 22, 2014)
- NewsEntry (2014/02/03) + (February 3, 2014)
- Seminar/2014-02-05 + (February 5, 2014)
- NewsEntry (2014/02/12) + (February 12, 2014)
- NewsEntry (2014/02/14) + (February 14, 2014)
- NewsEntry (2014/02/18) + (February 18, 2014)
- Seminar/2014-02-18 + (February 18, 2014)
- NewsEntry (2014/02/21) + (February 21, 2014)
- LTL Translation Improvements in Spot 1.0 + (March 6, 2014)
- NewsEntry (2014/02/05) + (March 12, 2014)
- Seminar/2014-03-12 + (March 12, 2014)
- Mechanizing the Minimization of Deterministic Generalized Büchi Automata + (March 21, 2014)
- L'air de rien 30 + (March 21, 2014)
- NewsEntry (2014/03/28) + (March 28, 2014)
- Symbolic Model Checking of Stutter Invariant Properties Using Generalized Testing Automata + (April 1, 2014)
- A Morphological Tree of Shapes for Color Images + (April 2, 2014)
- NewsEntry (2014/05/05) + (May 5, 2014)
- NewsEntry (2014/05/12) + (May 12, 2014)
- NewsEntry (2014/05/14) + (May 14, 2014)
- Seminar/2014-05-14 + (May 14, 2014)
- A Type System for Weighted Automata and Rational Expressions + (May 20, 2014)
- NewsEntry (2014/05/23) + (May 23, 2014)
- Getting a morphological Tree of Shapes for Multivariate Images: Paths, Traps and Pitfalls + (May 26, 2014)
- A First Parallel Algorithm to Compute the Morphological Tree of Shapes of nD Images + (May 26, 2014)
- A precise skew estimation algorithm for document images using KNN clustering and Fourier transform + (May 26, 2014)
- Meaningful disjoint level lines selection + (May 26, 2014)
- On Making nD Images Well-Composed by a Self-Dual Local Interpolation + (May 28, 2014)
- A Morphological Method for Music Score Staff Removal + (June 3, 2014)
- NewsEntry (2014/06/09) + (June 9, 2014)
- NewsEntry (2014/06/11) + (June 11, 2014)
- Is There a Best Büchi Automaton for Explicit Model Checking? + (June 16, 2014)
- GMM Weights Adaptation Based on Subspace Approaches for Speaker Verification + (June 16, 2014)
- A Comparative Review of Component Tree Computation Algorithms + (June 16, 2014)
- NewsEntry (2014/06/17) + (June 17, 2014)
- NewsEntry (2014/06/24) + (June 24, 2014)
- Espaces des formes basés sur des arbres : définition et applications en traitement d'images et vision par ordinateur + (July 1, 2014)
- L'air de rien 31 + (July 4, 2014)
- NewsEntry (2014/07/04) + (July 4, 2014)
- OlenaNewsEntry (2014/07/08) + (July 8, 2014)
- NewsEntry (2014/07/25) + (July 25, 2014)
- NewsEntry (2014/09/01) + (September 1, 2014)
- Practical Genericity: Writing Image Processing Algorithms Both Reusable and Efficient + (September 10, 2014)
- Speckle Spot Detection in Ultrasound Images: Application to Speckle Reduction and Speckle Tracking + (September 10, 2014)
- L'air de rien 32 + (September 12, 2014)
- NewsEntry (2014/09/25) + (September 25, 2014)
- Improving the Model Checking of Stutter-Invariant LTL Properties + (September 25, 2014)