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 co-Büching Toolbox +
- Amélioration de la réduction par simulation +
- Automatic detection of text zones on identity documents. +
- Binary Partition Tree for Image Processing +
- Calcul du Complexe de Morse-Smale à l'aide de coupe de ligne de partage des eaux +
- Détection automatique de zones de textes sur des pièces d'identité +
- Evaluation method of text detection algorithm rating +
- Improvements of Simulation-based Reduction +
- Integration of TChecker in Spot +
- Intégration de TChecker dans Spot +
- K plus courts chemins dans Vcsn +
- K shortest-paths in Vcsn +
- L'Arbre de partition binaire pour le traitement d'images +
- LTL Synthesis with Spot +
- Modèle du monde à base de réseaux de neurones à délai temporel pour la reconnaissance du locuteur +
- Morse-Smale Complex computation with Watershed Cut +
- Méthode d'évaluation d'évaluateur d'algorithme de détection de texte +
- Partial order reduction in SPOT +
- Réduction d'ordre partiel dans SPOT +
- Synthèse LTL avec Spot +
- Test de vacuité bi-bande dans Spot +
- Time Delay Neural Networks-Based Universal Background Model for Speaker Recognition +
- Two-automaton emptiness check in Spot +
- Un ensemble d'outils de conversion en automate de co-Büchi +