Sökning: onr:"swepub:oai:DiVA.org:ri-30103" >
Systematic Derivati...
Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints
-
- Arafailova, Ekaterina (författare)
- TASC, France
-
- Beldiceanu, Nicolas (författare)
- TASC, France
-
- Carlsson, Mats (författare)
- RISE,Computer Systems Laboratory
-
visa fler...
-
- Flener, Pierre (författare)
- Uppsala universitet,Datalogi,ASTRA,Uppsala University, Sweden
-
- Francisco Rodríguez, María Andreína (författare)
- Uppsala universitet,Datalogi,ASTRA,Uppsala University, Sweden
-
- Pearson, Justin (författare)
- Uppsala universitet,Datalogi,ASTRA,Uppsala University, Sweden
-
- Simonis, Helmut (författare)
- University College Cork, Ireland
-
visa färre...
-
(creator_code:org_t)
- 2016-08-23
- 2016
- Engelska.
-
Ingår i: Principles and Practice of Constraint Programming. - Cham : Springer Publishing Company. - 9783319449524 - 9783319449531 ; , s. 13-29
- Relaterad länk:
-
https://link.springe...
-
visa fler...
-
https://hal.inria.fr...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
https://urn.kb.se/re...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Time Series
- Absolute Difference
- Regular Expression
- Signature Constraint
- Deterministic Finite Automaton
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas