Are there any time series techniques that are considered data mining? For instance, what about a technique that would compute auto- and cross-correlations (with various lags) between thousands of stock price time series (intraday, each time series with 10,000 observations, that is about 60MM observations total), as part of a trading system? What about another technique that would create stock tax…