Grammar-based map compression using Manhattan world priors | IEEE Conference Publication | IEEE Xplore