Verification for 3D Reconstruction of Stairs Using Artificial Image Data.
Keita NakamuraKeita BabaTakuma YoshikawaToshihide HanariKuniaki KawabataTaku MatsumotoPublished in: SoMeT (2022)
Keyphrases
- image data
- model checking
- image database
- artificial life
- three dimensional
- computer vision
- d scene
- structure from motion
- image quality
- real world
- multispectral
- range data
- formal methods
- mr images
- input data
- image content
- website
- hyperspectral
- signature verification
- formal verification
- urban scenes
- fingerprint verification
- asynchronous circuits