Balls Hierarchy: A Proximity Query for Metric Spaces and Covering Theorem | IEEE Conference Publication | IEEE Xplore