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 (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)
• Tree-Based Morse Regions: A Topological Approach to Local Feature Detection  + (October 3, 2014)
• NewsEntry (2014/10/15)  + (October 15, 2014)
• Une généralisation du bien-composé à la dimension n  + (November 17, 2014)
• Traitement d'images multivariées avec l'arbre des formes  + (November 17, 2014)
• NewsEntry (2014/11/19)  + (November 19, 2014)
• NewsEntry (2014/12/05)  + (December 5, 2014)
• Contribution aux tests de vacuité pour le model checking explicite  + (December 5, 2014)
• NewsEntry (2014/12/10)  + (December 10, 2014)
• Seminar/2014-12-10  + (December 10, 2014)
• NewsEntry (2014/12/17)  + (December 17, 2014)
• Seminar/2014-12-17  + (December 17, 2014)
• NewsEntry (2014/12/19)  + (December 19, 2014)
• Context-Oriented Image Processing  + (January 1, 2015)
• NewsEntry (2015/01/12)  + (January 12, 2015)
• Parallel Explicit Model Checking for Generalized Büchi Automata  + (January 13, 2015)
• NewsEntry (2015/01/27)  + (January 27, 2015)
• NewsEntry (2015/01/28)  + (January 28, 2015)
• NewsEntry (2015/02/16)  + (February 16, 2015)
• NewsEntry (2015/02/18)  + (February 18, 2015)
• Seminar/2015-02-18  + (February 18, 2015)

• A Self-Adaptive Likelihood Function for Tracking with Particle Filter  + (March 1, 2015)
• Single-pass Testing Automata for LTL Model Checking  + (March 1, 2015)
• TextTrail: A Robust Text Tracking Algorithm In Wild Environments  + (March 1, 2015)

• NewsEntry (2015/03/16)  + (March 16, 2015)
• How to Make nD Functions Digitally Well-Composed in a Self-Dual Way  + (April 7, 2015)
• A Color Tree of Shapes with Illustrations on FilteringSimplification, and Segmentation  + (April 7, 2015)
• Self-Duality and Digital Topology: Links Between the Morphological Tree of Shapes and Well-Composed Gray-Level Images  + (April 7, 2015)
• Efficient Computation of Attributes and Saliency Maps on Tree-Based Image Representations  + (April 7, 2015)
• NewsEntry (2015/04/09)  + (April 9, 2015)
• The Hanoi Omega-Automata Format  + (April 27, 2015)
• NewsEntry (2015/05/05)  + (May 5, 2015)
• Seminar/2015-05-13  + (May 13, 2015)
• How to Make nD Images Well-Composed Without Interpolation  + (May 14, 2015)
• Extending Testing Automata to All LTL  + (May 19, 2015)
• Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata  + (May 19, 2015)
• NewsEntry (2015/05/22)  + (May 22, 2015)
• NewsEntry (2015/06/02)  + (June 2, 2015)
• NewsEntry (2015/06/02)2  + (June 2, 2015)
• Connected Filtering on Tree-Based Shape-Spaces  + (June 5, 2015)
• NewsEntry (2015/06/09)  + (June 9, 2015)
• On Refinement of Büchi Automata for Explicit Model Checking  + (June 15, 2015)
• Practical Stutter-Invariance Checks for ω-Regular Languages  + (June 15, 2015)
• Une approche morphologique de segmentation interactive avec l'arbre des formes couleur  + (June 16, 2015)
• Morphological Object Picking Based on the Color Tree of Shapes  + (June 29, 2015)
• L'air de rien 33  + (July 2, 2015)
• NewsEntry (2015/07/06)  + (July 6, 2015)
• Using histogram representation and Earth Mover's Distance as an evaluation tool for text detection  + (August 1, 2015)