A symbolic representation of time series, with implications for streaming algorithms | Synapse