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
- Model Checking using Generalized Testing Automata + (Model Checking using Generalized Testing Automata)
- Model checking with generalized Rabin and Fin-less automata + (Model checking with generalized Rabin and Fin-less automata)
- Model classification in model checking using random forest + (Model classification in model checking using random forest)
- Modeling of Sensor Networks Using XRM + (Modeling of Sensor Networks Using XRM)
- Modelling and Identifying Troll Farm Accounts on Twitter + (Modelling and Identifying Troll Farm Accounts on Twitter)
- Modern vectorization and alignement of historical maps: An application to Paris atlas (1789-1950) + (Modern vectorization and alignement of historical maps: An application to Paris atlas (1789-1950))
- Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework + (Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework)
- Modèle du monde à base de réseaux de neurones à délai temporel pour la reconnaissance du locuteur + (Modèle du monde à base de réseaux de neurones à délai temporel pour la reconnaissance du locuteur)
- Modèles de mélanges de gaussiennes fondés sur des matrices de covariance pleines + (Modèles de mélanges de gaussiennes fondés sur des matrices de covariance pleines)
- Modélisation et Identification des Troll Farmers sur Twitter + (Modélisation et Identification des Troll Farmers sur Twitter)
- Monads in Common Lisp + (Monads in Common Lisp)
- Morphological Analysis of Brownian Motion for Physical Measurements + (Morphological Analysis of Brownian Motion for Physical Measurements)
- Morphological Filtering in Shape Spaces : Applications using Tree-Based Image Representations + (Morphological Filtering in Shape Spaces : Applications using Tree-Based Image Representations)
- Morphological Hierarchical Image Decomposition Based on Laplacian 0-Crossings + (Morphological Hierarchical Image Decomposition Based on Laplacian 0-Crossings)
- Morphological Object Picking Based on the Color Tree of Shapes + (Morphological Object Picking Based on the Color Tree of Shapes)
- Morphologie et algorithmes + (Morphologie et algorithmes)
- Morphologie mathématique et réseaux convolutionnels profonds + (Morphologie mathématique et réseaux convolutionnels profonds)
- Morphologie sur images couleur + (Morphologie sur images couleur)
- Morphology on color images + (Morphology on color images)
- Morphology-Based Hierarchical Representation with Application to Text Segmentation in Natural Images + (Morphology-Based Hierarchical Representation with Application to Text Segmentation in Natural Images)
- Morse-Smale Complex computation with Watershed Cut + (Morse-Smale Complex computation with Watershed Cut)