FRM-Miner: efficient motif discovery in large collections of time series (International Journal of Data Science and Analytics, 2026)