Computer-Aided Construction of Finite Geometric Spaces: Automated Verification of Geometric Constraints.
Wolfgang GehrkeJochen PfalzgrafPublished in: J. Autom. Reason. (2001)
Keyphrases
- geometric constraints
- computer aided
- automated verification
- model checking
- automated reasoning
- formal verification
- camera calibration
- epipolar geometry
- computer aided diagnosis
- multiple images
- geometric information
- computer aided design
- image analysis
- diagnosis of breast cancer
- geometric consistency
- design tools
- early diagnosis
- feature correspondences
- cad systems
- data mining
- graph theory
- capsule endoscopy
- knowledge representation
- viewpoint