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
- A fast algorithm for auto-dual trees +
- A new translation from LTL into TGBA in Spot +
- Adaptation d'algorithmes de Vaucanson à une interface plus simple +
- Adapter les structures de données de Vaucanson au concept de kind et à une interface rénovée +
- Adapting Vaucanson algorithms to a simpler interface +
- Adapting the data structures of Vaucanson to the concept of kind and a new interface +
- An edge-based attribute filter dedicated to image segmentation +
- Approche fonctionnelle de la généricité du traitement d'image +
- Complementing Büchi Automata With Alternating Automata +
- Dematerialization Tools in SCRIBO +
- Filtrage à base de contours pour la segmentation d'images +
- Functionnal approach of image processing genericity +
- Integrating modern parallel techniques in the Tiger compiler +
- Intégration de techniques de parallélisation dans le compilateur Tiger +
- La complémentation d'automates de Büchi à travers des automates alternants +
- La généricité par propriétés +
- Minimisation d'automates représentant des obligations +
- Minimization of automata representing obligation formulae +
- Mécanique de Vaucanson 2.0 +
- Nouvelle traduction de LTL en TGBA dans Spot +
- Outils pour la dématérialisation dans SCRIBO +
- Property-Based Genericity: A Dynamic Approach +
- Study and Analysis of C++ Extension Conception with Transformers +
- Towards Vaucanson 2.0 +
- Un algorithme rapide pour l'arbre auto-dual +
- Vaucanson 2.0 Internals +
- Vers Vaucanson 2.0 +
- Étude et analyse de l'écriture d'extensions du C++ grâce à Transformers +