Behavioural equivalences for coalgebras with unobservable moves.

Tomasz Brengos Marino Miculan Marco Peressotti

Published in: CoRR (2014)

Keyphrases

connected components
relational algebra
database
special case
computational intelligence
web services
high level
similarity measure
bayesian networks
high dimensional
np hard
dynamic programming
case based reasoning
binary images