Sub-Computation Based Transition Predicate Abstraction.

Carl Christian Frederiksen Masami Hagiya

Published in: Inf. Media Technol. (2007)

Keyphrases

efficient computation
parallel computation
databases
reinforcement learning
transition model
database
real time
data sets
information systems
case study
similarity measure
search space
special case