Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints Show others and affiliations
2016 (English) In: Principles and Practice of Constraint Programming / [ed] Michel Rueher, Springer Publishing Company, 2016, Vol. 9892, p. 13-29Conference paper, Published paper (Refereed)
Abstract [en]
Integer time series are often subject to constraints on the aggregation of the integer features of all occurrences of some pattern within the series. For example, the number of inflexions may be constrained, or the sum of the peak maxima, or the minimum of the peak widths. It is currently unknown how to maintain domain consistency efficiently on such constraints. We propose parametric ways of systematically deriving glue constraints, which are a particular kind of implied constraints, as well as aggregation bounds that can be added to the decomposition of time-series constraints [5]. We evaluate the beneficial propagation impact of the derived implied constraints and bounds, both alone and together.
Place, publisher, year, edition, pages Springer Publishing Company, 2016. Vol. 9892, p. 13-29
Series
Lecture Notes in Computer Science (LNCS), ISSN 0302-9743 ; 9892
Keywords [en]
Time Series, Absolute Difference, Regular Expression, Signature Constraint, Deterministic Finite Automaton
National Category
Computer Sciences
Identifiers URN: urn:nbn:se:ri:diva-30103 DOI: 10.1007/978-3-319-44953-1_2 Scopus ID: 2-s2.0-84986182474 ISBN: 978-3-319-44952-4 (print) ISBN: 978-3-319-44953-1 (electronic) OAI: oai:DiVA.org:ri-30103 DiVA, id: diva2:1128021
Conference 22nd International Conference on Principles and Practice of Constraint Programming (CP 2016), September 5-9, 2016, Toulouse, France
Note Part of the Lecture Notes in Computer Science book series (LNCS, volume 9892)
2017-07-212017-07-212025-09-23 Bibliographically approved