Login / Signup
Verification of the Vertical Error in C-Band SRTM DEM Using ICESat and Landsat-7, Otter Tail County, MN.
Kon Joon Bhang
Frank W. Schwartz
Alexander Braun
Published 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