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
- Automatic Heart Segmentation +
- Creation of an antichain library +
- Création d'une bibliothèque d'antichaîne +
- Deciding Persistence or Recurrence Membership in Spot +
- Efficient Translation of Fairness LTL Formulae into Deterministic Automata +
- Implementation of Invisible and Transparent Transitions in Spot +
- Implémentation des transitions invisibles et transparentes dans Spot +
- Integration of histograms in the NL-Mean algorithm for image denoising. +
- Intégration d'histogrammes dans l'algorithme NL-Mean pour le débruitage d'images +
- Optimisation d'une bibliothèque de traitement d'images +
- Optimization of an image processing library +
- Recherche de chemin acceptant bi-bande dans Spot +
- SUBTYPEP: An Implementation of Baker's Algorithm +
- SUBTYPEP: Une implémentation de l'algorithme de Baker +
- Segmentation automatique du coeur +
- Tester l'appartenance à Persistence ou Récurrence dans Spot +
- Traduction efficace de formules LTL d'équité en automates déterministes +
- Two-automaton accepting run search in Spot +
- go2pins: A model checking toolset for the Go programming language +
- go2pins: vérification de modèles pour le langage de programmation Go +