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

• Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness  + (June 29, 2017)
• L'air de rien 38  + (June 30, 2017)
• PaInleSS: a Framework for Parallel SAT Solving  + (June 30, 2017)
• The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results  + (July 1, 2017)
• NewsEntry (2017/07/04)  + (July 4, 2017)
• Benchmarking Keypoint Filtering Approaches for Document Image Matching  + (July 4, 2017)
• Derived-Term Automata of Weighted Rational Expressions with Quotient Operators  + (July 5, 2017)
• SmartDoc 2017 Video Capture: Mobile Document Acquisition in Video Mode  + (July 21, 2017)
• NewsEntry (2017/08/31)  + (August 31, 2017)
• NewsEntry (2017/09/06)2  + (September 6, 2017)
• NewsEntry (2017/09/27)  + (September 27, 2017)
• Seminar/2017-09-27  + (September 27, 2017)
• NewsEntry (2017/10/03)  + (October 3, 2017)
• A Tutorial on Well-Composedness  + (October 12, 2017)
• Extraction of Ancient Map Contents Using Trees of Connected Components  + (October 20, 2017)
• NewsEntry (2017/11/02)  + (November 2, 2017)
• NewsEntry (2017/11/08)  + (November 8, 2017)
• Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis  + (November 8, 2017)
• Seminar/2017-11-08  + (November 8, 2017)
• NewsEntry (2017/11/13)  + (November 13, 2017)
• Seminar/2017-11-29  + (November 29, 2017)
• Seminar/2017-12-13  + (December 13, 2017)
• Derived-Term Automata of Multitape Expressions with Composition  + (December 29, 2017)
• CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving  + (January 5, 2018)
• NewsEntry (2018/01/20)  + (January 20, 2018)
• NewsEntry (2018/01/24)  + (January 24, 2018)

• A first step toward a fair comparison of evaluation protocols for text detection algorithms  + (February 2, 2018)
• Saliency-Based Detection of Identity Documents Captured by Smartphones  + (February 2, 2018)

• Lisp, Jazz, Aikido  + (February 5, 2018)
• White Matter Hyperintensities Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning  + (February 6, 2018)
• NewsEntry (2018/03/08)  + (March 8, 2018)
• The Challenge of Cerebral Magnetic Resonance Imaging in Neonates: A New Method using Mathematical Morphology for the Segmentation of Structures Including Diffuse Excessive High Signal Intensities  + (March 22, 2018)
• Method Combinators  + (March 25, 2018)
• NewsEntry (2018/03/29)  + (March 29, 2018)
• Parallel Computation of Component Trees on Distributed Memory Machines  + (April 2, 2018)
• Approaches in Typecase Optimization  + (April 5, 2018)
• Parallel Model Checking Algorithms for Linear-Time Temporal Logic  + (April 10, 2018)
• Un algorithme de complexité linéaire pour le calcul de l'arbre des formes  + (May 4, 2018)
• Segmentation des hyperintensités de la matière blanche en quelques secondes à l'aide d'un réseau de neurones convolutif et de transfert d'apprentissage  + (May 4, 2018)
• The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm  + (May 10, 2018)
• Real-Time Document Detection in Smartphone Videos  + (May 10, 2018)
• The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm  + (May 10, 2018)
• Real-Time Document Detection in Smartphone Videos  + (May 10, 2018)
• NewsEntry (2018/05/14)  + (May 14, 2018)
• NewsEntry (2018/05/18)  + (May 18, 2018)
• A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers  + (June 1, 2018)
• Reactive Synthesis from LTL Specification with Spot  + (June 7, 2018)
• NewsEntry (2018/06/13)  + (June 13, 2018)
• Seminar/2018-06-13  + (June 13, 2018)
• Improving Parallel State-Space Exploration Using Genetic Algorithms  + (June 14, 2018)
• NewsEntry (2018/07/03)  + (July 3, 2018)
• NewsEntry (2018/07/04)  + (July 4, 2018)