On the use of binary feature descriptors for loop closure detection | IEEE Conference Publication | IEEE Xplore