Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction.
Vincent DanosJérôme FeretWalter FontanaRussell HarmerJean KrivinePublished in: LICS (2010)
Keyphrases
- probabilistic model
- experimental data
- statistical model
- hybrid model
- analytical model
- high level
- prediction model
- modeling framework
- generic model
- autoregressive
- learning models
- bayesian framework
- conceptual model
- mathematical model
- process model
- computational model
- parameter estimation
- semantic models
- model construction
- predictive model
- parametric models
- hierarchical model
- expert systems
- linear model
- mathematical models
- metamodel
- prior knowledge
- random fields
- model fitting
- linear models
- simulation model
- linear regression
- stochastic model
- model selection
- probability distribution
- hidden markov models
- multiple models
- goodness of fit
- domain models