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 (2016/04/22) + (April 22, 2016)
- Derived-Term Automata of Multitape Rational Expressions + (April 26, 2016)
- NewsEntry (2016/05/18) + (May 18, 2016)
- A Challenging Issue: Detection of White Matter Hyperintensities in Neonatal Brain MRI + (May 20, 2016)
- Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection + (May 20, 2016)
- Heuristics for Checking Liveness Properties with Partial Order Reductions + (June 17, 2016)
- Spot 2.0 — a framework for LTL and ω-automata manipulation + (June 17, 2016)
- NewsEntry (2016/06/22) + (June 22, 2016)
- L'air de rien 36 + (June 29, 2016)
- NewsEntry (2016/07/01) + (July 1, 2016)
- Derived-term Automata for Extended Weighted Rational Expressions + (July 6, 2016)
- NewsEntry (2016/07/07) + (July 7, 2016)
- Morphology-Based Hierarchical Representation with Application to Text Segmentation in Natural Images + (July 13, 2016)
- NewsEntry (2016/09/01) + (September 1, 2016)
- NewsEntry (2016/09/01)2 + (September 1, 2016)
- Seminar/2016-09-28 + (September 28, 2016)
- From text detection to text segmentation: a unified evaluation scheme + (October 1, 2016)
- NewsEntry (2016/10/03) + (October 3, 2016)
- NewsEntry (2016/11/14) + (November 14, 2016)
- NewsEntry (2016/11/16) + (November 16, 2016)
- Finding Maximal Common Joins in a DAG + (November 17, 2016)
- Monads in Common Lisp + (November 18, 2016)
- Estimating the Number of Endmembers to Use in Spectral Unmixing of Hyperspectral Data with Collaborative Sparsity + (November 22, 2016)
- NewsEntry (2016/11/23) + (November 23, 2016)
- Seminar/2016-11-23 + (November 23, 2016)
- A Study of Well-Composedness in n-D + (December 1, 2016)
- NewsEntry (2016/12/07) + (December 7, 2016)
- Seminar/2016-12-07 + (December 7, 2016)
- The MIT Lincoln Laboratory 2016 Speaker Recognition System + (December 12, 2016)
- NewsEntry (2016/12/14) + (December 14, 2016)
- NewsEntry (2017/01/01) + (January 1, 2017)
- NewsEntry (2017/01/17) + (January 17, 2017)
- Seminar/2017-01-18 + (January 18, 2017)
- NewsEntry (2017/01/19) + (January 19, 2017)
- NewsEntry (2017/01/31)2 + (January 28, 2017)
- NewsEntry (2017/01/31) + (January 31, 2017)
- Contributions to LTL and ω-Automata for Model Checking + (February 1, 2017)
- Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set + (February 2, 2017)
- Programmatic Manipulation of Common Lisp Type Specifiers + (February 6, 2017)
- NewsEntry (2017/02/08) + (February 8, 2017)
- Seminar/2017-02-08 + (February 8, 2017)
- NewsEntry (2017/02/10) + (February 10, 2017)
- Periodic Area-of-Motion characterization for Bio-Medical applications + (February 20, 2017)
- Seminar/2017-02-22 + (February 22, 2017)
- Introducing the Dahu Pseudo-Distance + (February 23, 2017)
- Morphological Hierarchical Image Decomposition Based on Laplacian 0-Crossings + (February 23, 2017)
- Morphological Analysis of Brownian Motion for Physical Measurements + (February 23, 2017)
- Parallel Satisfiability Solver Based on Hybrid Partitioning Method + (March 1, 2017)
- NewsEntry (2017/03/08) + (March 8, 2017)
- La pseudo-distance du dahu + (March 21, 2017)
- L'air de rien 37 + (March 21, 2017)