Verification of recursive methods on tree-like data structures.

Jyotirmoy V. Deshmukh E. Allen Emerson

Published in: FMCAD (2009)

Keyphrases

data structure
significant improvement
neural network
computer vision
decision trees
face recognition
empirical studies
model checking
efficient data structures
data sets
information retrieval
learning algorithm
preprocessing
data model
benchmark datasets
machine learning methods