hashing algorithms for efficient search, learning, and compressed sensing (workshop by ping li)