Global Constraint Catalog, Volume II, Time-Series Constraints

09/26/2016
by   Ekaterina Arafailova, et al.
0

First this report presents a restricted set of finite transducers used to synthesise structural time-series constraints described by means of a multi-layered function composition scheme. Second it provides the corresponding synthesised catalogue of structural time-series constraints where each constraint is explicitly described in terms of automata with accumulators.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset