Extended Weighted Pushdown Systems.

Akash Lal Thomas W. Reps Gogul Balakrishnan

Published in: CAV (2005)

Keyphrases

neural network
scheduling problem
machine learning
complex systems
retrieval systems
data mining
search engine
image processing
image segmentation
three dimensional
expert systems
data model
management system
intelligent systems
model checking