Keyphrases
- real time
- asynchronous circuits
- d objects
- control system
- data objects
- state machine
- deformable objects
- moving objects
- lighting conditions
- computer vision
- target object
- complex objects
- logic programming
- spatial relations
- object segmentation
- object model
- automated reasoning
- multi valued
- specification language
- high level
- logical framework
- formal language
- three dimensional
- image segmentation