Time Sequence Summarization: Theory And Applications