Formal Description and Verification of a Text-based Model Differencing and Merging Method.
Ferenc Attila SomogyiMárk AsztalosPublished in: MODELSWARD (2018)
Keyphrases
- petri net model
- petri net
- evaluation method
- probabilistic model
- verification method
- mathematical model
- theoretical analysis
- sensitivity analysis
- em algorithm
- study proposes
- prediction model
- statistical model
- input data
- linear model
- network model
- cost function
- test data
- optimization model
- objective function
- linear regression
- evaluation model
- prior knowledge
- similarity measure
- computational complexity
- analytical model
- modeling method
- dynamic programming
- detection method
- bp neural network
- classification method
- significant improvement
- regression analysis
- probability distribution
- computational model
- prior information
- statistical methods
- high order
- tree structure
- segmentation algorithm
- monte carlo simulation
- parameter estimation
- hybrid model
- autoregressive
- recognition algorithm
- markov model
- energy function
- reconstruction method
- segmentation method