A Formal Object Specification Technique Integrating Object and Functional Model.
Annika WagnerPublished in: Int. J. Softw. Eng. Knowl. Eng. (1997)
Keyphrases
- object model
- high level
- formal model
- d objects
- computational model
- object features
- reactive systems
- learning algorithm
- complex objects
- statistical model
- mathematical model
- keypoints
- probabilistic model
- object shape
- formal specification
- object representation
- reference object
- lighting conditions
- experimental data
- object oriented
- management system
- prior knowledge
- bayesian networks
- three dimensional