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

• Centaur: A generic framework simplifying C++ transformation  + (0823)
• Centaur : Une infrastructure générique simplifiant les transformations de C++  + (0823)
• Improving Vaucanson's transducers composition algorithm  + (0824)
• Amélioration de la composition des transducteurs dans Vaucanson  + (0824)
• C++ Program Slicing with Transformers  + (0825)
• Découpage de programme C++ avec Transformers  + (0825)
• Alternate Fictitious Play study and implementation  + (0826)
• Étude et implémentation du Fictitious Play alterné  + (0826)
• Properties in Milena  + (0829)
• Les propriétés dans Milena  + (0829)
• Automata Reduction  + (0830)
• Reduction d'automates  + (0830)
• Image reconstruction  + (0831)
• Reconstruction d'image  + (0831)
• Tarjan Union-Find algorithm and connected operators  + (0832)
• L'algorithme Union-Find de Tarjan et les filtres connectès  + (0832)
• Synchronous relations in Vaucanson  + (0833)
• Les relations synchrones dans Vaucanson  + (0833)
• Automata in Natural Language Processing  + (0834)
• Les automates en traitement automatique des langues naturelles  + (0834)
• Morphology on color images  + (0835)
• Morphologie sur images couleur  + (0835)
• Transformers: toward the end of the pipeline  + (0836)
• Transformers : vers la fin du tunnel  + (0836)
• Efficiency comparison between Fictitious Play and Alternate Fictitious Play algorithms on the restricted set of zero-sum games  + (0837)
• Comparaison entre le Fictitious Play et le Fictitious Play Alterné dans le cadre des jeux à somme nulle  + (0837)

• 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)