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

• Component trees in Milena  + (0910)
• Les arbres de composantes dans Milena  + (0910)
• Integrating modern parallel techniques in the Tiger compiler  + (0911)
• Intégration de techniques de parallélisation dans le compilateur Tiger  + (0911)
• A new translation from LTL into TGBA in Spot  + (0912)
• Nouvelle traduction de LTL en TGBA dans Spot  + (0912)
• Study and Analysis of C++ Extension Conception with Transformers  + (0913)
• Étude et analyse de l'écriture d'extensions du C++ grâce à Transformers  + (0913)
• Adapting Vaucanson algorithms to a simpler interface  + (0914)
• Adaptation d'algorithmes de Vaucanson à une interface plus simple  + (0914)
• Complementing Büchi Automata With Alternating Automata  + (0915)
• La complémentation d'automates de Büchi à travers des automates alternants  + (0915)
• Adapting the data structures of Vaucanson to the concept of kind and a new interface  + (0916)
• Adapter les structures de données de Vaucanson au concept de kind et à une interface rénovée  + (0916)
• Functionnal approach of image processing genericity  + (1001)
• Approche fonctionnelle de la généricité du traitement d'image  + (1001)
• Towards Vaucanson 2.0  + (1002)
• Vers Vaucanson 2.0  + (1002)
• Vaucanson 2.0 Internals  + (1002)
• Mécanique de Vaucanson 2.0  + (1002)
• Property-Based Genericity: A Dynamic Approach  + (1003)
• La généricité par propriétés  + (1003)
• Minimization of automata representing obligation formulae  + (1004)
• Minimisation d'automates représentant des obligations  + (1004)
• An edge-based attribute filter dedicated to image segmentation  + (1005)
• Filtrage à base de contours pour la segmentation d'images  + (1005)

• Analyse de la mise en page d'un document dans SCRIBO  + (1102)
• Document layout analysis in SCRIBO  + (1102)

• Optimizations in the Tiger Compiler  + (1103)
• Optimisations dans le compilateur Tiger  + (1103)
• Bisimulation-based Reductions on TGBA  + (1104)
• Réduction basées sur la bisimulation appliquées aux TGBA  + (1104)
• Climb: Weighted Neighborhood Implementation  + (1106)
• Climb: Implémentation de voisinage pondérés  + (1106)
• Implementing rational semiring  + (1107)
• Implémentation du corps des (nombres) rationnels  + (1107)
• Component Trees and Chaining Operators in Climb  + (1108)
• Arbres de composantes et opérateurs de chaînage  + (1108)
• Scribo: Disambiguation of lines superimposement  + (1110)
• Désambiguïsation de la superposition de lignes.  + (1110)
• Improving degeneralization in Spot  + (1111)
• Amélioration de la dégénéralisation dans Spot  + (1111)
• Progresses towards Vaucanson 1.4 and 2.0  + (1113)
• Avancées vers Vaucanson 1.4 et 2.0  + (1113)
• Inverse Video extraction in Scribo  + (1114)
• Extraction de l'inverse video dans SCRIBO.  + (1114)
• A comparative study of image invariants for text / non-text classification  + (1115)
• Etude comparative d'invariants de forme pour la classification texte / non-texte  + (1115)
• Property based dispatch in functional languages  + (1116)
• Dispatch par propriétés dans les langages fonctionnels  + (1116)
• Parallelization in a generic image processing library  + (1117)
• Parallélisation dans une bibliothèque de traitement d'images générique  + (1117)