Provably Correct Edgel Linking and Subpixel Boundary Reconstruction.
Ullrich KöthePeer StelldingerHans MeinePublished in: DAGM-Symposium (2006)
Keyphrases
- provably correct
- situation calculus
- formal methods
- three dimensional
- image reconstruction
- optical flow
- subpixel accuracy
- higher resolution
- interval arithmetic
- reconstruction process
- object boundaries
- multiresolution
- detection algorithm
- geometrical properties
- surface model
- software development
- discrete tomography
- input image
- error estimates