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
- A Tutorial on Well-Composedness +
- Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis +
- Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set +
- Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness +
- Benchmarking Keypoint Filtering Approaches for Document Image Matching +
- Caractérisation des zones de mouvement périodiques pour applications bio-médicales +
- Contributions to LTL and ω-Automata for Model Checking +
- Derived-Term Automata of Multitape Expressions with Composition +
- Derived-Term Automata of Weighted Rational Expressions with Quotient Operators +
- Explicit State Model Checking with Generalized Büchi and Rabin Automata +
- Extraction of Ancient Map Contents Using Trees of Connected Components +
- From Neonatal to Adult Brain MR Image Segmentation in a Few Seconds Using 3D-Like Fully Convolutional Network and Transfer Learning +
- Introducing the Dahu Pseudo-Distance +
- La pseudo-distance du dahu +
- Morphological Analysis of Brownian Motion for Physical Measurements +
- Morphological Hierarchical Image Decomposition Based on Laplacian 0-Crossings +
- Object tracking by hierarchical decomposition of hyperspectral video sequences: Application to chemical gas plume tracking +
- PaInleSS: a Framework for Parallel SAT Solving +
- Parallel Learning Portfolio-Based Solvers +
- Parallel Satisfiability Solver Based on Hybrid Partitioning Method +
- Periodic Area-of-Motion characterization for Bio-Medical applications +
- Programmatic Manipulation of Common Lisp Type Specifiers +
- 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 +
- Seminator: A Tool for Semi-Determinization of Omega-Automata +
- SmartDoc 2017 Video Capture: Mobile Document Acquisition in Video Mode +
- The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results +
- Well-Composedness in Alexandrov spaces implies Digital Well-Composedness in Z^n +