Refinement of objects and operations in Object-Z.
John DerrickEerke A. BoitenPublished in: FMOODS (2000)
Keyphrases
- object model
- d objects
- multiple objects
- data objects
- moving objects
- individual objects
- object identification
- real objects
- similar objects
- object models
- visual objects
- object description
- multi object
- partially occluded objects
- object segmentation
- real world objects
- object classes
- complex scenes
- spatial relations
- rigid objects
- deformable objects
- bounding box
- target object
- objects represented
- real world scenes
- object position
- object features
- object geometry
- object representation
- object localization
- background clutter
- digital objects
- visual appearance
- object types
- object orientation
- object location
- mobile objects
- object level
- object representations
- partial occlusion
- spatial relationships
- recognizing objects
- object appearance
- occluded objects
- multiple interpretations
- complex objects
- object instances
- object class
- focus of attention
- image regions
- articulated objects
- object shape
- curved surfaces
- object shapes
- object oriented
- quad trees
- method invocation
- visual scene
- cluttered background
- three dimensional objects
- object motion
- object detection
- image features