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
- ... Insert a title in French here ... +
- ... Insert a title in French here ... +
- A Feedback Arc Set for Spot +
- A Promela front-end for Spot +
- A co-Büching Toolbox +
- A comparative study of image invariants for text / non-text classification +
- A fast algorithm for auto-dual trees +
- A fast and exact algorithm for total variation minimization +
- A new translation from LTL into TGBA in Spot +
- A note on nice-levelable MRFs for SAR image denoising with contrast preservation +
- About the computation of the Tree of Shapes on n-dimensional images in quasi-linear time. +
- Active Learning on Visibly One Counter Systems +
- Adaptation d'algorithmes de Vaucanson à une interface plus simple +
- Adaptation de l'algorithme de watershed cuts aux complexes cellulaires +
- Adaptation of the watershed cuts algorithm to cellular complexes +
- 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 +
- Adaptive partial order reduction methods +
- Adding Contracts to C++ with Transformers +