Dense 3-D Mapping with Spatial Correlation via Gaussian Filtering | IEEE Conference Publication | IEEE Xplore