On combining semiformal and formal object specification techniques.
Martin GogollaMark RichtersPublished in: WADT (1997)
Keyphrases
- formal specification
- high level
- formal language
- formal methods
- d objects
- operational semantics
- video sequences
- object tracking
- reactive systems
- object model
- partial occlusion
- complex objects
- real time
- lighting conditions
- learning objects
- multiscale
- object segmentation
- database systems
- image segmentation
- combining multiple
- knowledge base
- specification language
- computer vision
- databases
- data sets