1 research outputs found
Classifying Pattern and Feature Properties to Get a Checker and Reformulation for Sliding Time-Series Constraints
Given, a sequence of variables, a time-series constraint
ctr using the Sum aggregator, and a sliding time-series constraint enforcing
the constraint ctr on each sliding window of of consecutive
variables, we describe a time complexity checker, as well as a
space complexity reformulation for such sliding constraint.Comment: 47 pages, 5 figures, 5 table