Formal foundations for software model to model transformation operation.
Olena ChebanyukPublished in: UkrPROG (2018)
Keyphrases
- formal model
- high level
- experimental data
- expert systems
- probabilistic model
- closed form
- computational model
- statistical model
- parameter estimation
- prediction model
- simulation model
- conceptual model
- network structure
- mathematical model
- real time
- d objects
- management system
- hidden markov models
- objective function
- multiscale
- image segmentation