Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications.
Daniel JacksonSomesh JhaCraig DamonPublished in: ACM Trans. Program. Lang. Syst. (1998)
Keyphrases
- statistical model
- cost function
- mathematical model
- probabilistic model
- similarity measure
- classification method
- parameter estimation
- evaluation method
- em algorithm
- sensitivity analysis
- high order
- modeling method
- prior information
- prediction model
- network model
- theoretical analysis
- regression analysis
- markov model
- objective function
- detection method
- energy function
- hybrid method
- study proposes
- prior knowledge
- high level
- preprocessing
- recognition algorithm
- verification method
- monte carlo simulation
- linear model
- gaussian distribution
- test data
- statistical methods
- closed form
- pairwise
- data model
- relational graph
- linear regression
- computational complexity
- analytical model
- optimization model
- significant improvement
- dynamic programming
- probability distribution
- autoregressive
- graphical models
- input data
- support vector machine svm
- tree structure
- kalman filter
- bp neural network