Using finite transducers for describing and synthesising structural time-series constraints
DOI10.1007/S10601-015-9200-3zbMATH Open1397.68161OpenAlexW1775522515MaRDI QIDQ265697FDOQ265697
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
Recommendations
- Time-series constraints: improvements and application in CP and MIP contexts
- Invariants for time-series constraints
- Deriving generic bounds for time-series constraints based on regular expressions characteristics
- Automatic synthesis of constraints from examples using mixed integer linear programming
- scientific article; zbMATH DE number 2084409
Time series, auto-correlation, regression, etc. in statistics (GARCH) (62M10) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Cites Work
- Clustering of time series data -- a survey
- Elements of automata theory. Translated from the French by Reuben Thomas
- On the reification of global constraints
- Generating custom propagators for arbitrary constraints
- Symbolic finite state transducers
- Title not available (Why is that?)
- Itemset mining: a constraint programming perspective
- Reformulation of global constraints based on constraints checkers
- Global constraint catalogue: past, present and future
Cited In (3)
Uses Software
This page was built for publication: Using finite transducers for describing and synthesising structural time-series constraints
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q265697)
