Verifying feature-based model templates against well-formedness OCL constraints.
Krzysztof CzarneckiKrzysztof PietroszekPublished in: GPCE (2006)
Keyphrases
- computational model
- management system
- formal model
- probabilistic model
- high level
- sensitivity analysis
- prior knowledge
- probability distribution
- mathematical model
- semi supervised
- conceptual model
- model checking
- parameter estimation
- theoretical analysis
- learning algorithm
- cost function
- objective function
- computer vision