Verification of the Vertical Error in C-Band SRTM DEM Using ICESat and Landsat-7, Otter Tail County, MN.
Kon Joon BhangFrank W. SchwartzAlexander BraunPublished in: IEEE Trans. Geosci. Remote. Sens. (2007)
Keyphrases
- digital elevation models
- satellite images
- multispectral
- elevation data
- land cover
- remote sensing
- satellite imagery
- theorem prover
- urban areas
- terrain modeling
- error rate
- model checking
- change detection
- multispectral images
- image data
- high resolution
- formal verification
- remote sensing images
- digital terrain
- low pass
- signature verification
- error bounds
- digital elevation
- frequency band
- topographic maps
- spatial resolution
- digital elevation map