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
- Recherche de chemin acceptant bi-bande dans Spot + (Recherche de chemin acceptant bi-bande dans Spot)
- Recherche de petits mots synchronisants + (Recherche de petits mots synchronisants)
- Recherches de contrexemple dans Spot + (Recherches de contrexemple dans Spot)
- Recognizing Heterogeneous Sequences by Rational Type Expression + (Recognizing Heterogeneous Sequences by Rational Type Expression)
- Reconnaissance de structures cérébrales à l'aide d'un atlas et par fusion d'informations structurelles floues + (Reconnaissance de structures cérébrales à l'aide d'un atlas et par fusion d'informations structurelles floues)
- Reconstruction d'image + (Reconstruction d'image)
- Reduce the resource consumption of a complex image processing chain + (Reduce the resource consumption of a complex image processing chain)
- Reduction d'automates + (Reduction d'automates)
- Region-Based Classification of Remote Sensing Images with the Morphological Tree of Shapes + (Region-Based Classification of Remote Sensing Images with the Morphological Tree of Shapes)
- Regression benchmarking + (Regression benchmarking)
- Regression benchmarking + (Regression benchmarking)
- Reimplementation of testing-automata in Spot + (Reimplementation of testing-automata in Spot)
- Remedial treatment for Vaucanson: an enhanced automaton concept + (Remedial treatment for Vaucanson: an enhanced automaton concept)
- Report on the 5th Workshop ELW at ECOOP 2008 + (Report on the 5th Workshop ELW at ECOOP 2008)
- Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition—application to 3D brain imaging + (Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition—application to 3D brain imaging)
- 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++)