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
- 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)
- Identifying Botnets in the Network using Gaussian Mixture Models + (2012)
- Identification de Botnets à travers le réseau en utilisant les moèles de mélange gaussien + (2012)
- Detecting Botnets Behaviors over Network Flows using Hidden Markov Models + (2013)
- Détection des comportements de botnets au travers d'un flux en réseau en utilisant des modèles de Markov cachés + (2013)
- Loss functions benchmark for brain tumour segmentation + (2015)
- Banc d'essai de fonctions de coûts appliquées á la segmentation de tumeurs cérébrales + (2015)
- Smart and robust segmentation of medical images using neural networks + (2017)
- Segmentation robuste et intelligente d'images médicales par réseau de neurones + (2017)
- Verifying Properties on a Program Using Static Analysis and Model Checking + (2020)
- Verification de proprietes sur un programme en utilisant de l'analyse statique et de la verification de modele + (2020)
- Smart and robust segmentation of medical images using neural networks + (2101)
- Segmentation robuste et intelligente d'images médicales par réseau de neurones + (2101)
- Handling blackbox transitions in go2pins + (2108)
- Gestion des transitions blackbox dans go2pins + (2108)
- Efficient implementations of hierarchical morphological representations + (2111)
- Implementations efficaces des representations hierarchiques morphologiques + (2111)
- Polynomial Identification of omega-Language + (2113)
- Identification Polynomiale des omega-Langages + (2113)
- Building a quantum perceptron + (2117)
- Construire un perceptron quantique + (2117)
- Brain MRI segmentation using mathematical morphology + (2119)
- Segmentation d'IRM du cerveau avec la morphologie mathematique + (2119)
- genus.py: a Simple Embeddable Type System for the Python language + (2120)
- genus.py: un Système Simple de Typage Embarqué pour le language Python + (2120)
- Integration of Morphological Operators in Neural Networks + (2122)
- Inégration des Opérateurs de la Morphologie Mathématique dans des Réseaux de Neurones + (2122)
- Fast simulation based reduction for ω-automaton + (2123)
- Réduction basée sur des simulations d'ω-automates + (2123)
- Active Learning on Visibly One Counter Systems + (2124)
- Aprentissage Actif d'Automates Visiblement á un compteur + (2124)
- Fast reductions for ω-automaton + (2202)
- Réduction efficace d'ω-automate + (2202)
- Optimization in Common Lisp, and its application to Climb + (667)
- Optimisation en Common Lisp et son application à Climb + (667)