Weak Bisimulation Up to Elaboration.

Published in: CONCUR (2006)

Keyphrases

information retrieval
equivalence relation
real world
genetic algorithm
case study
training data
image analysis
data model
dynamic programming
computer mediated
optimal planning