Using finite transducers for describing and synthesising structural time-series constraints

DOI10.1007/s10601-015-9200-3zbMath1397.68161OpenAlexW1775522515MaRDI QIDQ265697

Mats Carlsson, Helmut Simonis, Rémi Douence, Nicolas Beldiceanu

Publication date: 12 April 2016

Published in: Constraints (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01370322/file/time_series_journal.pdf

zbMATH Keywords

time seriesconstraint synthesisfinite transducerglobal constraintglobal constraint catalogue

Mathematics Subject Classification ID

Time series, auto-correlation, regression, etc. in statistics (GARCH) (62M10) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items

Invariants for time-series constraints, Deriving generic bounds for time-series constraints based on regular expressions characteristics, When bounds consistency implies domain consistency for regular counting constraints

Uses Software

• SICStus

Cites Work

• Unnamed Item
• Unnamed Item
• Itemset mining: a constraint programming perspective
• Reformulation of global constraints based on constraints checkers
• Global constraint catalogue: past, present and future
• On the reification of global constraints
• Generating custom propagators for arbitrary constraints
• Clustering of time series data -- a survey
• Symbolic finite state transducers