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
- Artificial states generation in state spaces using kernel density estimation +
- Artificial states generation in state spaces using kernel density estimation +
- Automatic troll farm account detection on Twitter +
- Benchmarking of Partial Order Reduction in Spot +
- Binding a high-performance C++ image processing library to Python +
- Brain Tumor Segmentation with deep convolutional network approach +
- Comment implémenter le support des goroutines dans go2pins +
- Compression d'états dans Spot +
- Counterexample searches in Spot +
- Création d'un lien entre une bibliothèque de traitement d'image en C++ hautes performances vers Python +
- Detecting danger in marine environnement +
- Distributed State Space Exploration +
- Détection Automatique de Comptes Troll Farm sur Twitter +
- Détection de danger en milieu marin +
- Estimation de la fonction de niveau de bruit dans des images naturelles en utilisant l'arbre des formes +
- Estimation of the noise level function in natural images using the tree of shapes +
- Exploration d'espace d'état distribué +
- Exploring various implementations for goroutines support in go2pins +
- Implementing Baker's SUBTYPEP decision procedure +
- Implémentation de l'algorithme de SUBTYPEP de Baker +
- Integrating Mathematical Morphology within Deep Convolutional Neural Networks +
- Intégration de la Morphologie Mathématique dans les Réseaux Neuronaux Profonds +
- Mathematical morphology and deep convolutional neural networks +
- Mesures sur la réduction d'ordre partiel dans Spot +
- Modelling and Identifying Troll Farm Accounts on Twitter +
- Modélisation et Identification des Troll Farmers sur Twitter +
- Morphologie mathématique et réseaux convolutionnels profonds +
- Parallelism and Indexation in Quickref +
- Parallélisation et Indexation de Quickref +
- Recherches de contrexemple dans Spot +
- Reimplementation of testing-automata in Spot +
- Réimplémentation des automates testeurs dans Spot +
- Segmentation de tumeur cérébrale par réseau de neurones convolutionel +
- State compression in Spot +