Towards a Versatile Contract Model to Organize Behavioral Specifications.
Philippe ColletAlain OzanneNicolas RivierrePublished in: SOFSEM (1) (2007)
Keyphrases
- mathematical model
- computational model
- computer vision
- high level
- objective function
- decision making
- sensitivity analysis
- statistical model
- parameter estimation
- management system
- prior knowledge
- artificial neural networks
- data structure
- probability distribution
- cost function
- theoretical analysis
- control system
- theoretical framework
- experimental data
- similarity measure
- formal model
- prediction model
- network model