Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Other Publications Year : 2016

Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints

Abstract

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.
Fichier principal
Vignette du fichier
boundsglue.pdf (1.16 Mo) Télécharger le fichier
arafailova.pdf (1.27 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01370317 , version 1 (29-11-2016)

Identifiers

Cite

Ekaterina Arafailova, Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, et al.. Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints. 2016, ⟨10.1007/978-3-319-44953-1_2⟩. ⟨hal-01370317⟩
549 View
346 Download

Altmetric

Share

Gmail Facebook X LinkedIn More