Winning Regions of Pushdown Parity Games: A Saturation Method.

Matthew Hague C.-H. Luke Ong

Published in: CONCUR (2009)

Keyphrases

high accuracy
detection method
cost function
high precision
data sets
dynamic programming
synthetic data
genetic algorithm
objective function
pairwise
computational cost
segmentation method
decision trees
support vector machine
input image
classification method