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
- Automata in Natural Language Processing + (2009)
- Les automates en traitement automatique des langues naturelles + (2009)
- Adding Contracts to C++ with Transformers + (2009)
- Ajout de la programmation par contrats au C++ avec Transformers + (2009)
- Complementing Büchi Automata + (2009)
- La complémentation d'automates de Büchi + (2009)
- An implementation of the C++ container library with SCOOL + (2009)
- Une implémentation des conteneurs C++ avec SCOOL + (2009)
- Minimization of automata representing obligation formulae + (2010)
- Minimisation d'automates représentant des obligations + (2010)
- An edge-based attribute filter dedicated to image segmentation + (2010)
- Filtrage à base de contours pour la segmentation d'images + (2010)
- A fast algorithm for auto-dual trees + (2010)
- Un algorithme rapide pour l'arbre auto-dual + (2010)
- Functionnal approach of image processing genericity + (2010)
- Approche fonctionnelle de la généricité du traitement d'image + (2010)
- Adapting Vaucanson algorithms to a simpler interface + (2010)
- Adaptation d'algorithmes de Vaucanson à une interface plus simple + (2010)
- Property-Based Genericity: A Dynamic Approach + (2010)
- La généricité par propriétés + (2010)
- Adapting the data structures of Vaucanson to the concept of kind and a new interface + (2010)
- Adapter les structures de données de Vaucanson au concept de kind et à une interface rénovée + (2010)
- Towards Vaucanson 2.0 + (2010)
- Vers Vaucanson 2.0 + (2010)
- Vaucanson 2.0 Internals + (2010)
- Mécanique de Vaucanson 2.0 + (2010)
- A new translation from LTL into TGBA in Spot + (2010)
- Nouvelle traduction de LTL en TGBA dans Spot + (2010)
- Dematerialization Tools in SCRIBO + (2010)
- Outils pour la dématérialisation dans SCRIBO + (2010)
- Study and Analysis of C++ Extension Conception with Transformers + (2010)
- Étude et analyse de l'écriture d'extensions du C++ grâce à Transformers + (2010)
- Complementing Büchi Automata With Alternating Automata + (2010)
- La complémentation d'automates de Büchi à travers des automates alternants + (2010)
- Integrating modern parallel techniques in the Tiger compiler + (2010)
- Intégration de techniques de parallélisation dans le compilateur Tiger + (2010)
- Optimizations in the Tiger Compiler + (2011)
- Optimisations dans le compilateur Tiger + (2011)
- Bisimulation-based Reductions on TGBA + (2011)
- Réduction basées sur la bisimulation appliquées aux TGBA + (2011)
- Component Trees and Chaining Operators in Climb + (2011)
- Arbres de composantes et opérateurs de chaînage + (2011)
- Designing the user interface for a Common Lisp generic library + (2011)
- Concevoir l'interface d'une bibliothèque générique en Common Lisp + (2011)
- Progresses towards Vaucanson 1.4 and 2.0 + (2011)
- Avancées vers Vaucanson 1.4 et 2.0 + (2011)
- Writing generic image processing algorithms + (2011)
- Ecriture d'algorithmes de traitement d'images génériques + (2011)
- Voice Activity Detection + (2011)
- Détection de voix + (2011)
- Speaker Diarization + (2011)
- Séparation de locuteur + (2011)
- Inverse Video extraction in Scribo + (2011)
- Extraction de l'inverse video dans SCRIBO. + (2011)
- Scribo: Disambiguation of lines superimposement + (2011)
- Désambiguïsation de la superposition de lignes. + (2011)
- Document layout analysis in SCRIBO + (2011)
- Analyse de la mise en page d'un document dans SCRIBO + (2011)
- Implementing rational semiring + (2011)
- Implémentation du corps des (nombres) rationnels + (2011)
- Improving degeneralization in Spot + (2011)
- Amélioration de la dégénéralisation dans Spot + (2011)
- Climb: Weighted Neighborhood Implementation + (2011)
- Climb: Implémentation de voisinage pondérés + (2011)
- A comparative study of image invariants for text / non-text classification + (2012)
- Améliorer Horn-Schunck + (2012)
- Approche parallèle pour le calcul de l'arbre des formes en n-dimensions + (2012)
- Building an interface for and with Climb + (2012)
- Calcul du flux optique dans des séquences avec des parties manquantes + (2012)
- Computing the optical flow in sequences with missing parts + (2012)
- Construction d'une interface pour et avec Climb + (2012)
- Direct-Simulation Reduction for TGBA + (2012)
- Dispatch par propriétés dans les langages fonctionnels + (2012)
- Etude comparative d'invariants de forme pour la classification texte / non-texte + (2012)
- Extraction de texte avec des ondelettes + (2012)
- Fast structure preserving inpainting + (2012)
- Full Covariance Matrices based Gaussian Mixture Models + (2012)
- Improving Horn-Schunck + (2012)
- Inpainting rapide préservant la structure + (2012)
- Modèles de mélanges de gaussiennes fondés sur des matrices de covariance pleines + (2012)
- Méthodes de réduction par ordre partiel dans Spot + (2012)
- Optimisation en Common Lisp et son application à Climb + (2012)
- Optimization in Common Lisp, and its application to Climb + (2012)
- Parallel approach for the computation of the tree of shapes on n-dimensional images + (2012)
- Parallelization in a generic image processing library + (2012)
- Parallélisation dans une bibliothèque de traitement d'images générique + (2012)
- Partial order reduction methods for Spot + (2012)
- Property based dispatch in functional languages + (2012)
- Réduction par simulation directe pour les TGBA + (2012)
- Text extraction method based on wavelets + (2012)
- Towards Vaucanson 2.0 + (2012)
- Vers Vaucanson 2.0 + (2012)
- Simulation-based Reductions for TGBA + (2013)
- Réduction par simulation pour les TGBA + (2013)
- Reduce the resource consumption of a complex image processing chain + (2013)
- Réduire les ressources utilisées par une chaîne de traitement d'images complexe + (2013)
- Using a wavelet-based descriptor to extract information on object shape + (2013)
- Utilisation d'un descripteur à base de transformée en ondelettes pour extraire des informations sur la forme des objets + (2013)
- Boltzmann Machine in speaker verification + (2013)
- Les Machines de Boltzmann dans la reconnaissance du locuteur + (2013)
- About the computation of the Tree of Shapes on n-dimensional images in quasi-linear time. + (2013)
- À propos du calcul de l'arbre des formes sur des images n-dimensionnelles en temps quasi-linéaire. + (2013)
- The Tree of Shapes Comparative Review of Component Tree Computation Algorithms. + (2013)
- Revue comparative des algorithmes de calcul de l'arbre des formes. + (2013)
- High-level Document Structure Analysis in the Olena Scribo Module + (2013)
- Analyse structurelle haut-niveau de document dans le module Scribo d'Olena + (2013)
- Variational image inpainting by combination of features + (2013)
- Inpainting variationnel par combinaison d'invariants + (2013)
- FSMXML for Vaucanson 2.0 + (2013)
- FSMXML pour Vaucanson 2.0 + (2013)
- Adaptive partial order reduction methods + (2013)
- Méthodes de réduction par ordre partiel adaptatives. + (2013)
- Context-oriented programming applied to image processing + (2013)
- La programmation orientée contexte appliquée au traitement d'images + (2013)
- On coercion in Context-Oriented Programming + (2013)
- Coercition et programmation orientée contexte + (2013)
- Nonlinear Projection for Cosine Distance Scoring in I-Vector based Speaker Verification Systems. + (2013)
- 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. + (2013)
- SVM decision taking in I-Vector based Speaker Verification Systems + (2013)
- Prise de décision à l'aide de SVM dans le contexte des systèmes de vérification du loctueur à base d'I-Vector + (2013)
- Improving Vaucanson's design + (2013)
- Améliorer l'architecture de Vaucanson 2 + (2013)
- Transducers in Vaucanson 2 + (2013)
- Transducteurs dans Vaucanson 2 + (2013)
- Parallel Climb + (2013)
- Parallélisation de Climb + (2013)
- Logotypes detection and other characteristic invariants + (2013)
- Détection de logotypes et autres invariants caractéristiques + (2013)