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

• 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)
• Seminator: A Tool for Semi-Determinization of Omega-Automata  + (Seminator: A Tool for Semi-Determinization of Omega-Automata)
• Shape-based hand recognition  + (Shape-based hand recognition)
• Simulation-based Reductions for TGBA  + (Simulation-based Reductions for TGBA)
• Single-pass Testing Automata for LTL Model Checking  + (Single-pass Testing Automata for LTL Model Checking)
• Smart and robust segmentation of medical images using neural networks  + (Smart and robust segmentation of medical images using neural networks)
• Smart and robust segmentation of medical images using neural networks  + (Smart and robust segmentation of medical images using neural networks)
• SmartDoc 2017 Video Capture: Mobile Document Acquisition in Video Mode  + (SmartDoc 2017 Video Capture: Mobile Document Acquisition in Video Mode)
• SnooperText: A Multiresolution System for Text Detection in Complex Visual Scenes  + (SnooperText: A Multiresolution System for Text Detection in Complex Visual Scenes)
• Software engineering in Olena Core  + (Software engineering in Olena Core)