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
- 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)
- NewsEntry (2015/09/01) + (September 1, 2015)
- SAT-based Minimization of Deterministic ω-Automata + (September 1, 2015)
- NewsEntry (2015/09/06) + (September 6, 2015)
- L'air de rien 34 + (September 10, 2015)
- Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection + (September 16, 2015)
- NewsEntry (2015/10/01) + (October 1, 2015)
- NewsEntry (2015/10/11) + (October 11, 2015)
- NewsEntry (2015/10/14) + (October 14, 2015)
- Seminar/2015-10-14 + (October 14, 2015)
- MToS: A Tree of Shapes for Multivariate Images + (October 26, 2015)
- Variations on Parallel Explicit Model Checking for Generalized Büchi Automata + (October 26, 2015)
- A Tree of Shapes for Multivariate Images + (November 1, 2015)
- NewsEntry (2015/11/27) + (November 27, 2015)
- Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms + (December 1, 2015)
- L'air de rien 35 + (December 5, 2015)
- NewsEntry (2015/12/11) + (December 11, 2015)
- NewsEntry (2016/01/20) + (January 20, 2016)
- NewsEntry (2016/01/27) + (January 27, 2016)
- Seminar/2016-01-27 + (January 27, 2016)
- Towards the rectification of highly distorted texts + (February 1, 2016)
- What is a good evaluation protocol for text localization systems? Concerns, arguments, comparisons and solutions + (February 1, 2016)
- NewsEntry (2016/02/17) + (February 17, 2016)
- Seminar/2016-02-17 + (February 17, 2016)
- NewsEntry (2016/02/19) + (February 19, 2016)
- Efficient Dynamic Type Checking of Heterogeneous Sequences + (February 22, 2016)
- NewsEntry (2016/03/16) + (March 16, 2016)
- Seminar/2016-03-16 + (March 16, 2016)
- NewsEntry (2016/03/23) + (March 23, 2016)
- Seminar/2016-03-23 + (March 23, 2016)
- Type-Checking of Heterogeneous Sequences in Common Lisp + (March 25, 2016)
- NewsEntry (2016/04/04) + (April 4, 2016)
- NewsEntry (2016/04/08)2 + (April 8, 2016)
- TextCatcher: A method to detect curved and challenging text in natural scenes + (April 8, 2016)
- Hierarchical Segmentation Using Tree-Based Shape Spaces + (April 11, 2016)
- NewsEntry (2016/04/11) + (April 11, 2016)
- Region-Based Classification of Remote Sensing Images with the Morphological Tree of Shapes + (April 12, 2016)
- NewsEntry (2016/04/22) + (April 22, 2016)