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

• C++ Program Slicing with Transformers  + (16:07:07, 9 January 2018)
• Transformers: toward the end of the pipeline  + (16:07:08, 9 January 2018)
• Découpage de programme C++ avec Transformers  + (16:07:08, 9 January 2018)
• Transformers : vers la fin du tunnel  + (16:07:09, 9 January 2018)
• Centaur: A generic framework simplifying C++ transformation  + (16:07:10, 9 January 2018)
• Integration of TChecker in Spot  + (16:07:11, 9 January 2018)
• Centaur : Une infrastructure générique simplifiant les transformations de C++  + (16:07:11, 9 January 2018)
• Intégration de TChecker dans Spot  + (16:07:12, 9 January 2018)
• L'algorithme de Partitionnement de Markov pour le Système Supervisé de Vérification du Locuteur  + (16:07:13, 9 January 2018)
• Markov Clustering Algorithm for Unsupervised Speaker Recognition System  + (16:07:13, 9 January 2018)
• Speaker Diarization based on Independent Component Analysis  + (16:07:14, 9 January 2018)
• La Segmentation du Locuteur basée sur l'Analyse en Composantes Indépendantes  + (16:07:15, 9 January 2018)
• La Segmentation du Locuteur Basée sur les Coefficients Cepstraux sur l'échelle de Mel  + (16:07:16, 9 January 2018)
• Optimisation en Common Lisp et son application à Climb  + (16:07:18, 9 January 2018)
• Optimization in Common Lisp, and its application to Climb  + (16:07:18, 9 January 2018)
• Context-oriented programming applied to image processing  + (16:07:19, 9 January 2018)
• On coercion in Context-Oriented Programming  + (16:07:20, 9 January 2018)
• La programmation orientée contexte appliquée au traitement d'images  + (16:07:20, 9 January 2018)
• Coercition et programmation orientée contexte  + (16:07:21, 9 January 2018)
• C++ type-checking: A study of existing solutions  + (16:07:22, 9 January 2018)
• C++ type-checking: A study of existing solutions  + (16:07:23, 9 January 2018)
• Full Covariance Matrices based Gaussian Mixture Models  + (16:07:23, 9 January 2018)
• Modèles de mélanges de gaussiennes fondés sur des matrices de covariance pleines  + (16:07:24, 9 January 2018)
• Projection non-linéaire pour l'attribution de score selon la distance en cosinus dans le contexte des systèmes de vérification du locuteur à base d'i-vectors.  + (16:07:25, 9 January 2018)
• Nonlinear Projection for Cosine Distance Scoring in I-Vector based Speaker Verification Systems.  + (16:07:25, 9 January 2018)
• SVM decision taking in I-Vector based Speaker Verification Systems  + (16:07:26, 9 January 2018)

• A Promela front-end for Spot  + (16:07:27, 9 January 2018)
• Prise de décision à l'aide de SVM dans le contexte des systèmes de vérification du loctueur à base d'I-Vector  + (16:07:27, 9 January 2018)

• Front-end Promela dans Spot  + (16:07:29, 9 January 2018)
• La complémentation d'automates de Büchi  + (16:07:30, 9 January 2018)
• Complementing Büchi Automata  + (16:07:30, 9 January 2018)
• Complementing Büchi Automata With Alternating Automata  + (16:07:31, 9 January 2018)
• La complémentation d'automates de Büchi à travers des automates alternants  + (16:07:32, 9 January 2018)
• Améliorer l'architecture de Vaucanson 2  + (16:07:33, 9 January 2018)
• Improving Vaucanson's design  + (16:07:33, 9 January 2018)
• Transducers in Vaucanson 2  + (16:07:34, 9 January 2018)
• Transducteurs dans Vaucanson 2  + (16:07:35, 9 January 2018)
• C++ template disambiguation with Transformers Attribute Grammars  + (16:07:35, 9 January 2018)
• Désambiguïsation des patrons de type C++ avec les Grammaires Attribuées de Transformers  + (16:07:36, 9 January 2018)
• An implementation of the C++ container library with SCOOL  + (16:07:37, 9 January 2018)
• Une implémentation des conteneurs C++ avec SCOOL  + (16:07:38, 9 January 2018)
• Integrating modern parallel techniques in the Tiger compiler  + (16:07:38, 9 January 2018)
• Intégration de techniques de parallélisation dans le compilateur Tiger  + (16:07:40, 9 January 2018)
• Climb: Weighted Neighborhood Implementation  + (16:07:42, 9 January 2018)
• Climb: Implémentation de voisinage pondérés  + (16:07:42, 9 January 2018)
• Building an interface for and with Climb  + (16:07:43, 9 January 2018)
• Construction d'une interface pour et avec Climb  + (16:07:44, 9 January 2018)
• Parallel Climb  + (16:07:45, 9 January 2018)
• Parallélisation de Climb  + (16:07:45, 9 January 2018)
• Logotypes detection and other characteristic invariants  + (16:07:46, 9 January 2018)
• Détection de logotypes et autres invariants caractéristiques  + (16:07:47, 9 January 2018)
• Logotypes detection and other characteristics invariants using SIFT descriptors  + (16:07:48, 9 January 2018)