Automated model extraction: From non-deterministic C code to active objects.
Nathan WasserAsmae Heydari TabarReiner HähnlePublished in: Sci. Comput. Program. (2021)
Keyphrases
- probability distribution
- theoretical framework
- computational model
- parameter estimation
- object model
- genetic algorithm
- formal model
- theoretical analysis
- maximum likelihood
- management system
- probabilistic model
- hidden markov models
- multiscale
- similarity measure
- cost function
- objective function
- process model
- high level
- image segmentation