Pattern discovery in data streams under the time warping distance
load shedding in a data stream manager .