pith. sign in

arxiv: 1609.08925 · v2 · pith:NHQ4LBHKnew · submitted 2016-09-26 · 💻 cs.AI

Global Constraint Catalog, Volume II, Time-Series Constraints

classification 💻 cs.AI
keywords constraintstime-seriesconstraintdescribedstructuralautomatacatalogcatalogue
0
0 comments X
read the original abstract

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 registers.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.