Algorithms for Computing Weak Bisimulation Equivalence.

Published in: TASE (2009)

Keyphrases

times faster
computationally expensive
significant improvement
orders of magnitude
learning algorithm
face recognition
objective function
data structure
computational cost
optimization problems
recently developed