Registration of Multiple Range Scans as a Location Recognition Problem: Hypothesis Generation, Refinement and Verification | Synapse