A Formal Framework for Incremental Model Slicing.
Gabriele TaentzerTimo KehrerChristopher PietschUdo KelterPublished in: FASE (2018)
Keyphrases
- formal model
- probabilistic model
- experimental data
- unified model
- probability distribution
- computational model
- theoretical foundation
- bayesian networks
- generic model
- theoretical analysis
- conceptual framework
- statistical model
- formal representation
- case study
- learning scheme
- prediction model
- neural network model
- parameter estimation
- main contribution
- cost function
- objective function
- high level