Symmetry and Completeness in the Analysis of Parameterized Systems.

Kedar S. Namjoshi

Published in: VMCAI (2007)

Keyphrases

data sets
statistical analysis
distributed systems
database
automatic analysis
data structure
data analysis
knowledge based systems
computer systems
fundamental principles
symmetry detection
software development
user interface
information technology
optimal solution
database systems
computer vision
data mining