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
- Representing and Computing with Types in Dynamically Typed Languages + (Representing and Computing with Types in Dynamically Typed Languages)
- Reseaux de neurones en goulot pour la Reconnaissance du Locuteur + (Reseaux de neurones en goulot pour la Reconnaissance du Locuteur)
- Residual 3D U-Net with Localization for Brain Tumor Segmentation + (Residual 3D U-Net with Localization for Brain Tumor Segmentation)
- Revisiting the Coco Panoptic Metric to Enable Visual and Qualitative Analysis of Historical Map Instance Segmentation + (Revisiting the Coco Panoptic Metric to Enable Visual and Qualitative Analysis of Historical Map Instance Segmentation)
- Revisiting the Visitor: the Just Do It Pattern + (Revisiting the Visitor: the Just Do It Pattern)
- Revisiting the Visitor: the Just Do It Pattern + (Revisiting the Visitor: the Just Do It Pattern)
- Revue comparative des algorithmes de calcul de l'arbre des formes. + (Revue comparative des algorithmes de calcul de l'arbre des formes.)
- Ruminations on Tarjan's Union-Find algorithm and connected operators + (Ruminations on Tarjan's Union-Find algorithm and connected operators)
- Run-Time Concrete-Syntax Program-Transformation in General Purpose Languages + (Run-Time Concrete-Syntax Program-Transformation in General Purpose Languages)
- Run-Time Concrete-Syntax Program-Transformation in General Purpose Languages + (Run-Time Concrete-Syntax Program-Transformation in General Purpose Languages)
- Réduction basée sur des simulations d'ω-automates + (Réduction basée sur des simulations d'ω-automates)
- Réduction basées sur la bisimulation appliquées aux TGBA + (Réduction basées sur la bisimulation appliquées aux TGBA)
- Réduction d'ordre partiel dans SPOT + (Réduction d'ordre partiel dans SPOT)
- Réduction efficace d'ω-automate + (Réduction efficace d'ω-automate)
- Réduction par simulation directe pour les TGBA + (Réduction par simulation directe pour les TGBA)
- Réduction par simulation pour les TGBA + (Réduction par simulation pour les TGBA)
- Réduire les ressources utilisées par une chaîne de traitement d'images complexe + (Réduire les ressources utilisées par une chaîne de traitement d'images complexe)
- Réimplémentation des automates testeurs dans Spot + (Réimplémentation des automates testeurs dans Spot)
- SAT-based Minimization of Deterministic ω-Automata + (SAT-based Minimization of Deterministic ω-Automata)
- SCOOL: Concept-Oriented Programming + (SCOOL: Concept-Oriented Programming)
- SCOOL: Generic programming + (SCOOL: Generic programming)
- SCOOL: Programmation générique + (SCOOL: Programmation générique)
- SCOOL: Programmation générique et concepts + (SCOOL: Programmation générique et concepts)
- SCOOL: object orientation of a static language + (SCOOL: object orientation of a static language)
- SCOOL: object orientation of a static language + (SCOOL: object orientation of a static language)
- SUBTYPEP: An Implementation of Baker's Algorithm + (SUBTYPEP: An Implementation of Baker's Algorithm)
- SUBTYPEP: Une implémentation de l'algorithme de Baker + (SUBTYPEP: Une implémentation de l'algorithme de Baker)
- SVM Kernel Combining System for Speaker Verification + (SVM Kernel Combining System for Speaker Verification)
- SVM Kernel Combining System for Speaker Verification + (SVM Kernel Combining System for Speaker Verification)
- SVM decision taking in I-Vector based Speaker Verification Systems + (SVM decision taking in I-Vector based Speaker Verification Systems)
- SVM-MLLR et fusion pour la vérification du locuteur + (SVM-MLLR et fusion pour la vérification du locuteur)
- SVM-MLLR for multi-speaker verification systems score fusion + (SVM-MLLR for multi-speaker verification systems score fusion)
- Saliency-Based Detection of Identity Documents Captured by Smartphones + (Saliency-Based Detection of Identity Documents Captured by Smartphones)
- Salient Level Lines Selection Using the Mumford-Shah Functional + (Salient Level Lines Selection Using the Mumford-Shah Functional)
- Scool transformation towards C++ + (Scool transformation towards C++)
- Scool transformation towards C++ + (Scool transformation towards C++)
- Scribo: Disambiguation of lines superimposement + (Scribo: Disambiguation of lines superimposement)
- Segmentation automatique du coeur + (Segmentation automatique du coeur)
- Segmentation d'IRM de cerveau en utilisant un reseau de neurones convolutif + (Segmentation d'IRM de cerveau en utilisant un reseau de neurones convolutif)
- Segmentation d'IRM de cerveaux de nouveau-nés en quelques secondes à l'aide d'un réseau de neurones convolutif pseudo-3D et de transfert d'apprentissage + (Segmentation d'IRM de cerveaux de nouveau-nés en quelques secondes à l'aide d'un réseau de neurones convolutif pseudo-3D et de transfert d'apprentissage)
- Segmentation d'IRM du cerveau avec la morphologie mathematique + (Segmentation d'IRM du cerveau avec la morphologie mathematique)
- Segmentation d'images en couleur par classification morphologique non supervisée + (Segmentation d'images en couleur par classification morphologique non supervisée)
- Segmentation d'objets curvilignes à l'aide des champs de Markov sur un graphe d'adjacence de courbes issu de l'algorithme de la ligne de partage des eaux + (Segmentation d'objets curvilignes à l'aide des champs de Markov sur un graphe d'adjacence de courbes issu de l'algorithme de la ligne de partage des eaux)
- Segmentation de tumeur cérébrale par réseau de neurones convolutionel + (Segmentation de tumeur cérébrale par réseau de neurones convolutionel)
- Segmentation des hyperintensités de la matière blanche en quelques secondes à l'aide d'un réseau de neurones convolutif et de transfert d'apprentissage + (Segmentation des hyperintensités de la matière blanche en quelques secondes à l'aide d'un réseau de neurones convolutif et de transfert d'apprentissage)
- Segmentation of Gliomas and Prediction of Patient Overall Survival: A Simple and Fast Procedure + (Segmentation of Gliomas and Prediction of Patient Overall Survival: A Simple and Fast Procedure)
- Segmentation of curvilinear objects using a watershed-based curve adjacency graph + (Segmentation of curvilinear objects using a watershed-based curve adjacency graph)
- Segmentation robuste et intelligente d'images médicales par réseau de neurones + (Segmentation robuste et intelligente d'images médicales par réseau de neurones)
- Segmentation robuste et intelligente d'images médicales par réseau de neurones + (Segmentation robuste et intelligente d'images médicales par réseau de neurones)
- Self-Duality and Digital Topology: Links Between the Morphological Tree of Shapes and Well-Composed Gray-Level Images + (Self-Duality and Digital Topology: Links Between the Morphological Tree of Shapes and Well-Composed Gray-Level Images)
- Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking + (Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking)