Up-to Techniques for Weak Bisimulation.

Published in: ICALP (2005)

Keyphrases

computer vision
case study
decision making
artificial intelligence
multimedia
pattern recognition
control system
domain knowledge
probabilistic model
knowledge discovery
management system