A Geometric Proof of Calibration.

Shie Mannor Gilles Stoltz

Published in: Math. Oper. Res. (2010)

Keyphrases

geometry theorem proving
camera calibration
theorem proving
genetic algorithm
geometric constraints
theorem prover
camera parameters
geometric structure
geometric information
intrinsic parameters
linear logic
radially symmetric
vision system
multi view
calibration method
natural deduction