Conditional weighted pushdown systems and applications.

Xin Li Mizuhito Ogawa

Published in: PEPM (2010)

Keyphrases

complex systems
systems require
data sets
databases
expert systems
management system
distributed systems
building blocks
learning systems
natural language
special case
computer systems
knowledge based systems
retrieval systems
model checking