Embedding the Virtual Substitution Method in the Model Constructing Satisfiability Calculus Framework.
Erika ÁbrahámJasper NalbachGereon KremerPublished in: SC²@ISSAC (2017)
Keyphrases
- probabilistic model
- main contribution
- mathematical model
- evaluation method
- objective function
- statistical model
- mathematical framework
- optimization scheme
- learning scheme
- theoretical analysis
- linear regression
- bayesian framework
- generic model
- modeling method
- linear model
- tree structure
- classification method
- reference model
- input data
- cost function
- sensitivity analysis
- computational model
- theoretical framework
- similarity measure
- probability distribution
- prior information
- parameter space
- parameter estimation
- reconstruction method
- em algorithm
- prediction model
- computational complexity
- autoregressive
- np complete
- gaussian distribution
- statistical methods
- kalman filter
- classification algorithm
- energy function