对模式与特征性质分类以获得滑动时间序列约束的 Θ(n) 检测器和重构
形式语言与自动机理论
2019-12-04 v1 人工智能
摘要
给定一个由 个变量组成的序列 、一个使用 Sum 聚合器的时间序列约束 ctr,以及一个在该序列 上每个由 个连续变量构成的滑动窗口上强制实施约束 ctr 的滑动时间序列约束,我们描述了此类滑动约束的 时间复杂度检测器,以及 空间复杂度重构。
引用
@article{arxiv.1912.01532,
title = {Classifying Pattern and Feature Properties to Get a $\Theta(n)$ Checker and Reformulation for Sliding Time-Series Constraints},
author = {Nicolas Beldiceanu and Mats Carlsson and Claude-Guy Quimper and Maria-Isabel Restrepo-Ruiz},
journal= {arXiv preprint arXiv:1912.01532},
year = {2019}
}
备注
47 pages, 5 figures, 5 tables