Smith, Gavin, Goulding, James, Barrack, Duncan, "Towards optimal symbolization for time series comparisons", , 2013