A Provably Efficient Computational Model for Approximate Spatiotemporal Retrieval