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
- 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)
- Semantics driven disambiguation + (Semantics driven disambiguation)
- Semantics driven disambiguation + (Semantics driven disambiguation)
- Semantics driven disambiguation: A comparison of different approaches + (Semantics driven disambiguation: A comparison of different approaches)
- Semantics driven disambiguation: A comparison of different approaches + (Semantics driven disambiguation: A comparison of different approaches)
- Semantics driven disambiguation: A comparison of different approaches + (Semantics driven disambiguation: A comparison of different approaches)
- Semantics driven disambiguation: a comparison of different approaches + (Semantics driven disambiguation: a comparison of different approaches)
- Semantics driven disambiguation: a comparison of different approaches + (Semantics driven disambiguation: a comparison of different approaches)
- Semantics-Driven Genericity: A Sequel to the Static C++ Object-Oriented Programming Paradigm (SCOOP 2) + (Semantics-Driven Genericity: A Sequel to the Static C++ Object-Oriented Programming Paradigm (SCOOP 2))
- Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization + (Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization)