Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints
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 ho...
Saved in:
| Published in | Principles and Practice of Constraint Programming Vol. 9892; pp. 13 - 29 |
|---|---|
| Main Authors | , , , , , , |
| Format | Book Chapter Conference Proceeding |
| Language | English |
| Published |
Switzerland
Springer International Publishing AG
2016
Springer International Publishing |
| Series | Lecture Notes in Computer Science |
| Subjects | |
| Online Access | Get full text |
| ISBN | 9783319449524 3319449524 3319449532 9783319449531 |
| ISSN | 0302-9743 1611-3349 |
| DOI | 10.1007/978-3-319-44953-1_2 |
Cover
Loading…
| 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. |
|---|---|
| AbstractList | 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. |
| Author | Arafailova, Ekaterina Francisco Rodríguez, María Andreína Pearson, Justin Simonis, Helmut Beldiceanu, Nicolas Flener, Pierre Carlsson, Mats |
| Author_xml | – sequence: 1 givenname: Ekaterina surname: Arafailova fullname: Arafailova, Ekaterina email: Ekaterina.Arafailova@mines-nantes.fr organization: TASC (CNRS/Inria), Mines Nantes, Nantes, France – sequence: 2 givenname: Nicolas surname: Beldiceanu fullname: Beldiceanu, Nicolas email: Nicolas.Beldiceanu@mines-nantes.fr organization: TASC (CNRS/Inria), Mines Nantes, Nantes, France – sequence: 3 givenname: Mats surname: Carlsson fullname: Carlsson, Mats email: Mats.Carlsson@sics.se organization: SICS, Kista, Sweden – sequence: 4 givenname: Pierre surname: Flener fullname: Flener, Pierre email: Pierre.Flener@it.uu.se organization: Department of Information Technology, Uppsala University, Uppsala, Sweden – sequence: 5 givenname: María Andreína surname: Francisco Rodríguez fullname: Francisco Rodríguez, María Andreína email: Maria.Andreina.Francisco@it.uu.se organization: Department of Information Technology, Uppsala University, Uppsala, Sweden – sequence: 6 givenname: Justin surname: Pearson fullname: Pearson, Justin email: Justin.Pearson@it.uu.se organization: Department of Information Technology, Uppsala University, Uppsala, Sweden – sequence: 7 givenname: Helmut surname: Simonis fullname: Simonis, Helmut email: Helmut.Simonis@insight-centre.org organization: Insight Centre for Data Analytics, University College Cork, Cork, Ireland |
| BackLink | https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-30103$$DView record from Swedish Publication Index https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-302048$$DView record from Swedish Publication Index |
| BookMark | eNqFkU1P3DAQhk2hFQvdX9BL7uAy9jixfaTLRyshUQnKdeRkHUi7a2_tBMS_x3xU6g35MPbM846s991jOyEGz9gXAV8FgD6y2nDkKCxXytbIBckttoel8fKWH9hMNEJwRGW32bzg_2ZS7bAZIEhutcJPbGZrbQ3WWu2yec6_AUBoCWj0jP28esyjX7tx6KoTn4b7couhin31LU5hmSsXltX5avLVIoY8JjeEMVd9TNX1sPb8qkh8_n_2mX3s3Sr7-VvdZ7_OTq8X3_nF5fmPxfEFv0MrR954MH35sJJdt_Raa_Rtp2wDjRWuNspoaUCKFspxRmEjl1a6tu8R-q5vHO6zw9e9-cFvppY2aVi79EjRDXQy3BxTTLc0TVRsAGUKfvA-noaCC8BCize6cOHWJ2pj_JNJAD1nQ8VsQip200sWVLIpGvmq2aT4d_J5JP8s6nwozqy6O7cZfcpU11aYxpJUhAafADYCjrw |
| ContentType | Book Chapter Conference Proceeding |
| Copyright | Springer International Publishing Switzerland 2016 |
| Copyright_xml | – notice: Springer International Publishing Switzerland 2016 |
| DBID | FFUUA ADTPV BNKNJ DF2 |
| DEWEY | 5.1159999999999997 |
| DOI | 10.1007/978-3-319-44953-1_2 |
| DatabaseName | ProQuest Ebook Central - Book Chapters - Demo use only SwePub SwePub Conference SWEPUB Uppsala universitet |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Mathematics Computer Science |
| EISBN | 3319449532 9783319449531 |
| EISSN | 1611-3349 |
| Editor | Rueher, Michel |
| Editor_xml | – sequence: 1 fullname: Rueher, Michel |
| EndPage | 29 |
| ExternalDocumentID | oai_DiVA_org_uu_302048 oai_DiVA_org_ri_30103 EBC5591869_24_38 |
| GroupedDBID | 0D6 0DA 38. AABBV AAMCO AAPIT AAQZU ABBVZ ABMNI ABOWU ACLMJ ADCXD ADPGQ AEDXK AEJGN AEJLV AEKFX AETDV AEZAY ALMA_UNASSIGNED_HOLDINGS AORVH AZZ BBABE CZZ FFUUA I4C IEZ SBO SWNTM TPJZQ TSXQS Z83 Z88 -DT -GH -~X 1SB 29L 2HA 2HV 5QI 875 AASHB ACGFS AEFIE EJD F5P FEDTE HVGLF LAS LDH P2P RIG RNI RSU SVGTG VI1 ~02 ADTPV BNKNJ DF2 |
| ID | FETCH-LOGICAL-h392t-6e08f33142ccde7773ebc4960691a5848728021b0b0ba84362d92abff30fcf6a3 |
| ISBN | 9783319449524 3319449524 3319449532 9783319449531 |
| ISSN | 0302-9743 |
| IngestDate | Thu Aug 21 06:42:40 EDT 2025 Thu Aug 21 06:49:55 EDT 2025 Tue Jul 29 20:13:34 EDT 2025 Thu May 29 00:50:29 EDT 2025 |
| IsDoiOpenAccess | false |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| LCCallNum | QA267-268.5 |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-h392t-6e08f33142ccde7773ebc4960691a5848728021b0b0ba84362d92abff30fcf6a3 |
| Notes | We thank the anonymous referees for their helpful comments. The authors in Nantes are supported by the EU H2020 programme under grant 640954 for project GRACeFUL and by the Gaspard-Monge programme. The authors in Uppsala are supported by the Swedish Research Council (VR) under grants 2011-6133 and 2012-4908. The last author is supported by Science Foundation Ireland (SFI) under grant SFI/10/IN.1/I3032; the Insight Centre for Data Analytics is supported by SFI under grant SFI/12/RC/2289. |
| OCLC | 957983574 |
| OpenAccessLink | https://inria.hal.science/hal-01370317 |
| PQID | EBC5591869_24_38 |
| PageCount | 17 |
| ParticipantIDs | swepub_primary_oai_DiVA_org_uu_302048 swepub_primary_oai_DiVA_org_ri_30103 springer_books_10_1007_978_3_319_44953_1_2 proquest_ebookcentralchapters_5591869_24_38 |
| PublicationCentury | 2000 |
| PublicationDate | 2016 |
| PublicationDateYYYYMMDD | 2016-01-01 |
| PublicationDate_xml | – year: 2016 text: 2016 |
| PublicationDecade | 2010 |
| PublicationPlace | Switzerland |
| PublicationPlace_xml | – name: Switzerland – name: Cham |
| PublicationSeriesSubtitle | Programming and Software Engineering |
| PublicationSeriesTitle | Lecture Notes in Computer Science |
| PublicationSeriesTitleAlternate | Lect.Notes Computer |
| PublicationSubtitle | 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings |
| PublicationTitle | Principles and Practice of Constraint Programming |
| PublicationYear | 2016 |
| Publisher | Springer International Publishing AG Springer International Publishing |
| Publisher_xml | – name: Springer International Publishing AG – name: Springer International Publishing |
| RelatedPersons | Kleinberg, Jon M. Mattern, Friedemann Naor, Moni Mitchell, John C. Terzopoulos, Demetri Steffen, Bernhard Pandu Rangan, C. Kanade, Takeo Kittler, Josef Weikum, Gerhard Hutchison, David Tygar, Doug |
| RelatedPersons_xml | – sequence: 1 givenname: David surname: Hutchison fullname: Hutchison, David organization: Lancaster University, Lancaster, United Kingdom – sequence: 2 givenname: Takeo surname: Kanade fullname: Kanade, Takeo organization: Carnegie Mellon University, Pittsburgh, USA – sequence: 3 givenname: Josef surname: Kittler fullname: Kittler, Josef organization: University of Surrey, Guildford, United Kingdom – sequence: 4 givenname: Jon M. surname: Kleinberg fullname: Kleinberg, Jon M. organization: Cornell University, Ithaca, USA – sequence: 5 givenname: Friedemann surname: Mattern fullname: Mattern, Friedemann organization: CNB H 104.2, ETH Zurich, Zürich, Switzerland – sequence: 6 givenname: John C. surname: Mitchell fullname: Mitchell, John C. organization: Stanford, USA – sequence: 7 givenname: Moni surname: Naor fullname: Naor, Moni organization: Weizmann Institute of Science, Rehovot, Israel – sequence: 8 givenname: C. surname: Pandu Rangan fullname: Pandu Rangan, C. organization: Madras, Indian Institute of Technology, Chennai, India – sequence: 9 givenname: Bernhard surname: Steffen fullname: Steffen, Bernhard organization: Fakultät Informatik, TU Dortmund, Dortmund, Germany – sequence: 10 givenname: Demetri surname: Terzopoulos fullname: Terzopoulos, Demetri organization: University of California, Los Angeles, USA – sequence: 11 givenname: Doug surname: Tygar fullname: Tygar, Doug organization: University of California, Berkeley, USA – sequence: 12 givenname: Gerhard surname: Weikum fullname: Weikum, Gerhard organization: Max Planck Institute for Informatics, Saarbrücken, Germany |
| SSID | ssj0001720387 ssj0002792 |
| Score | 1.857572 |
| Snippet | 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... |
| SourceID | swepub springer proquest |
| SourceType | Open Access Repository Publisher |
| StartPage | 13 |
| SubjectTerms | Absolute Difference Deterministic Finite Automaton Mathematical theory of computation Regular Expression Signature Constraint Time Series |
| Title | Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints |
| URI | http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=5591869&ppg=38 http://link.springer.com/10.1007/978-3-319-44953-1_2 https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-30103 https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-302048 |
| Volume | 9892 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1Lb9QwELaW5QI9AAXE8pIP5UIVlMTOYw8cSrtQVW1VibbqzXK8TlmxJFUePfDD-H3M2HltQEhFK0W7SRQ7ntl5eeYbQnZADWhQk76juRc7fK4SRyqfOYFSiZ4HbhqagNvJaXh4wY-ugqvJ5Ncga6mukg_q51_rSv6HqnAO6IpVsnegbPdQOAHfgb5wBArDcWT8boZZLehFGyYvm4x_W-5k8ivQ6MPeDxUWAmD-1Y9WQxnaylSu1vmtsRsX3yXCNWe9Y67XS3iOzOqOU2RneO_LAl_KJgDLqhyQv6mcOQM9W2xw4tceLPoARrrtjNRP2NLJzv7LutaDaRuQCFOe4mD4TpfDa1YQmtMfj5stkNO8Mpllu22XilZoDaMa3jiq0UY1R3HRPjS34QYzkCMcPD1bjd2Wg4GoB2fJSk9tpXuImI3MYqQ2EttjA91vgy9_aJVhIgkWfeFYzPEEqP57URxMyf29xdHxZR_bw73tuHP8XQRptLtZdkpYY9RN2aJA9b87aCyLfjwaccMR6vbuRzi3xjY6f0y2sF6GYiELLOITMtHZNnnU0oE2dNgmD086hODyKTnruYL2XEHzlFquoMAVFLmCDihPgSvogCuG156Ri8-L8_1Dp-nu4XwDm7xyQu3GKbw295Va6iiKmE4UR4d67kkwi2NsnOZ7iQsfGXMwtJZzXyZpytxUpaFkz8k0yzP9glAZLJcq8NLUY5yzWMkgcnXMA61BQyUymZHddtGEyUFoEp-VXZlSgFuNrdmEzwWLZ-R9u64Cby5FC-0N9BBMAD2EoYcAeszIjl15cWPRYQTitR-sLvdEXlyLYiUYdlKZkXf_uq2u4TaE0H55l7FfkQf9X-c1mVZFrd-AiVwlbxuO_A0w4Lkj |
| linkProvider | Library Specific Holdings |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=bookitem&rft.title=Principles+and+Practice+of+Constraint+Programming&rft.au=Arafailova%2C+Ekaterina&rft.au=Beldiceanu%2C+Nicolas&rft.au=Carlsson%2C+Mats&rft.au=Flener%2C+Pierre&rft.atitle=Systematic+Derivation+of+Bounds+and+Glue+Constraints+for+Time-Series+Constraints&rft.series=Lecture+Notes+in+Computer+Science&rft.date=2016-01-01&rft.pub=Springer+International+Publishing&rft.isbn=9783319449524&rft.issn=0302-9743&rft.eissn=1611-3349&rft.spage=13&rft.epage=29&rft_id=info:doi/10.1007%2F978-3-319-44953-1_2 |
| thumbnail_s | http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Febookcentral.proquest.com%2Fcovers%2F5591869-l.jpg |