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

• 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)
• Real Time Face Expression Recognition  + (2109)
• ... Insert a title in French here ...  + (2109)
• 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)