Deciding Weak Weighted Bisimulation.

Marino Miculan Marco Peressotti

Published in: ICTCS/CILC (2017)

Keyphrases

databases
data structure
weighted distance
decision trees
high level
face recognition
video sequences
cooperative
bipartite graph
optimal planning