Verification of stereo vision based localization system.
Kenji MasudaKenji ThompsonSatoshi KagamiTakeo KanadePublished in: SMC (6) (2004)
Keyphrases
- computer vision
- real time
- vision system
- stereo vision
- model checking
- human computer interaction
- visual landmarks
- stereo images
- augmented reality
- robotic navigation
- depth map
- formal verification
- early vision
- stereo camera
- multi camera
- stereo pair
- conformal geometric algebra
- image pairs
- stereo matching
- disparity estimation
- disparity map
- omni directional
- localization algorithm
- obstacle detection
- mobile robot
- accurate localization
- verification method
- low level vision
- optic disc
- object localization
- multi view
- signature verification
- stereo correspondence
- high quality