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

• 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)
• Seminator: A Tool for Semi-Determinization of Omega-Automata  + (April 3, 2017)
• Object tracking by hierarchical decomposition of hyperspectral video sequences: Application to chemical gas plume tracking  + (April 20, 2017)
• NewsEntry (2017/05/03)  + (May 3, 2017)
• Seminar/2017-05-03  + (May 3, 2017)
• Explicit State Model Checking with Generalized Büchi and Rabin Automata  + (May 22, 2017)
• Well-Composedness in Alexandrov spaces implies Digital Well-Composedness in Z^n  + (June 1, 2017)
• Parallel Learning Portfolio-Based Solvers  + (June 1, 2017)
• From Neonatal to Adult Brain MR Image Segmentation in a Few Seconds Using 3D-Like Fully Convolutional Network and Transfer Learning  + (June 12, 2017)
• NewsEntry (2017/06/13)  + (June 13, 2017)
• NewsEntry (2017/06/14)  + (June 14, 2017)
• Seminar/2017-06-14  + (June 14, 2017)
• Segmentation d'IRM de cerveaux de nouveau-nés en quelques secondes à l'aide d'un réseau de neurones convolutif pseudo-3D et de transfert d'apprentissage  + (June 20, 2017)
• Caractérisation des zones de mouvement périodiques pour applications bio-médicales  + (June 28, 2017)
• 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)

• Benchmarking Keypoint Filtering Approaches for Document Image Matching  + (July 4, 2017)
• NewsEntry (2017/07/04)  + (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)
• Saliency-Based Detection of Identity Documents Captured by Smartphones  + (February 2, 2018)
• A first step toward a fair comparison of evaluation protocols for text detection algorithms  + (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)