PAC nearest neighbor queries: Approximate and controlled search in high-dimensional and metric spaces | Synapse