Reducing Context-Bounded Concurrent Reachability to Sequential Reachability.

Salvatore La Torre P. Madhusudan Gennaro Parlato

Published in: CAV (2009)

Keyphrases

state space
transitive closure
contextual information
context aware
data sets
probabilistic model
real time
multimedia
artificial intelligence
information retrieval
image segmentation
mobile devices
computer vision
context sensitive
context dependent
context awareness
databases
mutual exclusion