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
- 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)
- 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)
- 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)
- Automatic maintenance of exported symbols in Common Lisp packages + (2013)
- Maintenance automatique des symboles exportés dans les packages de Common Lisp + (2013)
- I-Vector Multilayer Perceptron in Speaker Recognition System + (2013)
- Approximation de la distance entre i-vecteurs par Perceptron Multi-Couches dans les systèmes de reconnaissance du locuteur + (2013)
- A Feedback Arc Set for Spot + (2014)