Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints
TASC, France.
TASC, France.
RISE., Swedish ICT, SICS, Computer Systems Laboratory.ORCID-id: 0000-0003-3079-8095
Uppsala University, Sweden.
Visa övriga samt affilieringar
2016 (Engelska)Ingår i: Principles and Practice of Constraint Programming / [ed] Michel Rueher, Springer Publishing Company, 2016, Vol. 9892, s. 13-29Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
Springer Publishing Company, 2016. Vol. 9892, s. 13-29
Serie
Lecture Notes in Computer Science (LNCS), ISSN 0302-9743 ; 9892
Nyckelord [en]
Time Series, Absolute Difference, Regular Expression, Signature Constraint, Deterministic Finite Automaton
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
URN: urn:nbn:se:ri:diva-30103DOI: 10.1007/978-3-319-44953-1_2Scopus ID: 2-s2.0-84986182474ISBN: 978-3-319-44952-4 (tryckt)ISBN: 978-3-319-44953-1 (digital)OAI: oai:DiVA.org:ri-30103DiVA, id: diva2:1128021
Konferens
22nd International Conference on Principles and Practice of Constraint Programming (CP 2016), September 5-9, 2016, Toulouse, France
Anmärkning

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

Tillgänglig från: 2017-07-21 Skapad: 2017-07-21 Senast uppdaterad: 2020-01-31Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopushttps://link.springer.com/chapter/10.1007/978-3-319-44953-1_2

Personposter BETA

Carlsson, Mats

Sök vidare i DiVA

Av författaren/redaktören
Carlsson, Mats
Av organisationen
Computer Systems Laboratory
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 22 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
v. 2.35.9