Correlation-Based Variational Change Detection for Elevation Models | IEEE Conference Publication | IEEE Xplore