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

• L'Arbre de partition binaire pour le traitement d'images  + (1711)
• Integration of TChecker in Spot  + (1712)
• Intégration de TChecker dans Spot  + (1712)
• Tester l'appartenance à Persistence ou Récurrence dans Spot  + (1801)
• Deciding Persistence or Recurrence Membership in Spot  + (1801)
• Efficient Translation of Fairness LTL Formulae into Deterministic Automata  + (1802)
• Traduction efficace de formules LTL d'équité en automates déterministes  + (1802)
• Creation of an antichain library  + (1803)
• Création d'une bibliothèque d'antichaîne  + (1803)
• Integration of histograms in the NL-Mean algorithm for image denoising.  + (1804)
• Intégration d'histogrammes dans l'algorithme NL-Mean pour le débruitage d'images  + (1804)
• Two-automaton accepting run search in Spot  + (1805)
• Recherche de chemin acceptant bi-bande dans Spot  + (1805)
• go2pins: A model checking toolset for the Go programming language  + (1806)
• go2pins: vérification de modèles pour le langage de programmation Go  + (1806)
• Automatic Heart Segmentation  + (1807)
• Segmentation automatique du coeur  + (1807)
• 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)

• Apprentissage d'une distance entre deux i-vectors via des réseaux de neurones à convolution  + (1903)
• Counterexample searches in Spot  + (1903)
• I-Vectors distance learning with Convolutional Neural Networks  + (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)