Stateful Dynamic Partial-Order Reduction.

Xiaodong Yi Ji Wang Xuejun Yang

Published in: ICFEM (2006)

Keyphrases

information retrieval
dynamic environments
real time
data sets
dynamically changing
partial order reduction
data mining
high level
multi agent
data structure
recommender systems
management system