Similarity search based on random projection for high frequency time series
an elementary proof of the johnson - lindenstrauss lemma .