Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation.

Yan Chen Fei Xie Jin Yang

Published in: DAC (2008)

Keyphrases

automatic evaluation
high level
gold standard
comparative evaluation
symbolic description
data sets
genetic algorithm
computer vision
knowledge base
decision trees
data driven
evaluation method
evaluation criteria
data abstraction