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.
Type de document :
Autre publication
slides corresponding to this paper. 2016, 〈10.1007/978-3-319-44953-1_2〉
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01370317
Contributeur : Contraintes Lina <>
Soumis le : mardi 29 novembre 2016 - 10:31:47
Dernière modification le : vendredi 22 juin 2018 - 09:31:40
Document(s) archivé(s) le : mardi 21 mars 2017 - 10:56:56

Identifiants

Citation

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. slides corresponding to this paper. 2016, 〈10.1007/978-3-319-44953-1_2〉. 〈hal-01370317〉

Partager

Métriques

Consultations de la notice

544

Téléchargements de fichiers

155