Deciding Bisimilarity of Full BPA Processes Locally.

Published in: ATVA (2008)

Keyphrases

video sequences
computational models
database
artificial intelligence
multiresolution
information retrieval
decision making
natural language
information technology
medical images