Keyphrases
- theorem prover
- natural deduction
- d objects
- moving objects
- complex objects
- spatial relationships
- object model
- multiple objects
- fractal image compression
- object identification
- object tracking
- software engineering
- object segmentation
- formal methods
- theorem proving
- motion estimation
- temporal logic
- data objects
- first order logic
- spatial information
- image compression