Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints
RISE, Swedish ICT, SICS, Computer Systems Laboratory.ORCID iD: 0000-0003-3079-8095
Show others and affiliations
2016 (English)In: International Conference on Principles and Practice of Constraint Programming (CP 2016), Springer Publishing Company, 2016, 13-29 p.Conference 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. 13-29 p.
National Category
Computer Science
Identifiers
URN: urn:nbn:se:ri:diva-30103DOI: 10.1007/978-3-319-44953-1_2OAI: oai:DiVA.org:ri-30103DiVA: diva2:1128021
Conference
International Conference on Principles and Practice of Constraint Programming (CP 2016), Toulouse, France, September 5-9, 2016
Note

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9892)

Available from: 2017-07-21 Created: 2017-07-21 Last updated: 2017-07-21Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full texthttps://link.springer.com/chapter/10.1007/978-3-319-44953-1_2

Search in DiVA

By author/editor
Carlsson, Mats
By organisation
Computer Systems Laboratory
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 11 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
v. 2.26.0