research
∙
12/03/2019
Classifying Pattern and Feature Properties to Get a Θ(n) Checker and Reformulation for Sliding Time-Series Constraints
Given, a sequence X of n variables, a time-series constraint ctr using t...
share
research
∙
01/15/2019
Synthesising a Database of Parameterised Linear and Non-Linear Invariants for Time-Series Constraints
Many constraints restricting the result of some computations over an int...
research
∙
09/26/2016
Global Constraint Catalog, Volume II, Time-Series Constraints
First this report presents a restricted set of finite transducers used t...
research
∙
10/21/2011