A lower bound for the rate-distortion function of spike sources that is asymptotically tight | IEEE Conference Publication | IEEE Xplore