k-IOS: Intersection of spheres for efficient proximity query | IEEE Conference Publication | IEEE Xplore