Login / Signup

The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models.

Giorgio BacciGiovanni BacciKim Guldstrand LarsenRadu Mardare
Published in: QEST (2013)
Keyphrases
  • efficient computation
  • markovian models
  • computational efficiency
  • distance measure
  • window search
  • distance function
  • variable length
  • multimedia
  • video sequences
  • spatio temporal
  • multi dimensional