Login / Signup
Exploring structural symmetry automatically in symbolic trajectory evaluation.
Yongjian Li
William N. N. Hung
Xiaoyu Song
Naiju Zeng
Published in:
Formal Methods Syst. Des. (2011)
Keyphrases
</>
structural information
evaluation model
databases
automatically generated
database
image processing
decision trees
high level
mobile devices
spatio temporal
evaluation method
evaluation metrics
evaluation criteria
xml retrieval