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

• Adding Contracts to C++ with Transformers  + (0901)
• Ajout de la programmation par contrats au C++ avec Transformers  + (0901)
• Benchmarking Vaucanson and large C++ libraries  + (0902)
• Analyse de performances dans Vaucanson  + (0902)
• Complementing Büchi Automata  + (0903)
• La complémentation d'automates de Büchi  + (0903)
• An implementation of the C++ container library with SCOOL  + (0904)
• Une implémentation des conteneurs C++ avec SCOOL  + (0904)
• Property based class hierarchy of Vaucanson's Algebra module  + (0905)
• Hiérarchie par propriétés du module Algebra de Vaucanson  + (0905)
• CLIMB: A Dynamic Approach To Generic Image Processing  + (0906)
• CLIMB: Une approche dynamique du traitement générique d'images  + (0906)
• Histograms  + (0907)
• Histogrammes  + (0907)
• Nondeterminisation of alternating automata in SPOT  + (0908)
• Nondéterminisation d'automates alternants dans SPOT  + (0908)
• Remedial treatment for Vaucanson: an enhanced automaton concept  + (0909)
• Traitement curatif pour Vaucanson: un renforcement du concept d'automate  + (0909)
• 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)

• Adaptation d'algorithmes de Vaucanson à une interface plus simple  + (0914)
• Adapting Vaucanson algorithms to a simpler interface  + (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)
• Document layout analysis in SCRIBO  + (1102)
• Analyse de la mise en page d'un document dans 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)