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

• Optimization of an image processing library  + (1808)
• Optimisation d'une bibliothèque de traitement d'images  + (1808)
• Implementation of Invisible and Transparent Transitions in Spot  + (1809)
• Implémentation des transitions invisibles et transparentes dans Spot  + (1809)
• SUBTYPEP: An Implementation of Baker's Algorithm  + (1810)
• SUBTYPEP: Une implémentation de l'algorithme de Baker  + (1810)
• Benchmarking of Partial Order Reduction in Spot  + (1901)
• Mesures sur la réduction d'ordre partiel dans Spot  + (1901)
• State compression in Spot  + (1902)
• Compression d'états dans Spot  + (1902)
• I-Vectors distance learning with Convolutional Neural Networks  + (1903)
• Apprentissage d'une distance entre deux i-vectors via des réseaux de neurones à convolution  + (1903)
• Counterexample searches in Spot  + (1903)
• Recherches de contrexemple dans Spot  + (1903)
• Distributed State Space Exploration  + (1904)
• Exploration d'espace d'état distribué  + (1904)
• Brain Tumor Segmentation with deep convolutional network approach  + (1905)
• Segmentation de tumeur cérébrale par réseau de neurones convolutionel  + (1905)
• Reimplementation of testing-automata in Spot  + (1906)
• Réimplémentation des automates testeurs dans Spot  + (1906)
• Parallelism and Indexation in Quickref  + (1907)
• Parallélisation et Indexation de Quickref  + (1907)
• Detecting danger in marine environnement  + (1908)
• Détection de danger en milieu marin  + (1908)
• Exploring various implementations for goroutines support in go2pins  + (1910)
• Comment implémenter le support des goroutines dans go2pins  + (1910)

• Binding a high-performance C++ image processing library to Python  + (1911)
• Création d'un lien entre une bibliothèque de traitement d'image en C++ hautes performances vers Python  + (1911)

• Estimation of the noise level function in natural images using the tree of shapes  + (1912)
• Estimation de la fonction de niveau de bruit dans des images naturelles en utilisant l'arbre des formes  + (1912)
• Integrating Mathematical Morphology within Deep Convolutional Neural Networks  + (1913)
• Intégration de la Morphologie Mathématique dans les Réseaux Neuronaux Profonds  + (1913)
• Implementing Baker's SUBTYPEP decision procedure  + (1914)
• Implémentation de l'algorithme de SUBTYPEP de Baker  + (1914)
• Modelling and Identifying Troll Farm Accounts on Twitter  + (1915)
• Modélisation et Identification des Troll Farmers sur Twitter  + (1915)
• Artificial states generation in state spaces using kernel density estimation  + (1916)
• Artificial states generation in state spaces using kernel density estimation  + (1916)
• Automatic troll farm account detection on Twitter  + (1920)
• Détection Automatique de Comptes Troll Farm sur Twitter  + (1920)
• Mathematical morphology and deep convolutional neural networks  + (1921)
• Morphologie mathématique et réseaux convolutionnels profonds  + (1921)
• Model classification in model checking using random forest  + (2001)
• ... Insert a title in French here ...  + (2001)
• Estimation of the Noise Level Function in Multivariate Images using the Tree of Shapes and non-parametric statistics  + (2002)
• Estimation de la fonction de niveau de bruit dans des images multivariées en utilisant l'arbre des formes et des statistiques non-paramétriques  + (2002)
• Detecting danger in marine environment: Part 1 - Making the dataset  + (2003)
• Détection de danger en milieu marin, Création du dataset  + (2003)
• Learning Morphological Operations  + (2004)
• Apprentissage d'Opérations Morphologiques  + (2004)
• Implementing Baker's SUBTYPEP decision procedure  + (2011)
• Implémentation de l'algorithme de SUBTYPEP de Baker  + (2011)