Global Constraint Catalog, Volume II, Time-Series Constraints - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport Technique) Année : 2018

Global Constraint Catalog, Volume II, Time-Series Constraints

Résumé

First this report presents a restricted set of finite transducers used to synthesise structural time-series constraints described by means of a multi-layered function composition scheme. Second it provides the corresponding synthesised catalogue of structural time-series constraints where each constraint is explicitly described in terms of automata with registers.
Fichier principal
Vignette du fichier
1609.08925v2.pdf (26.21 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01374721 , version 1 (20-11-2018)

Identifiants

Citer

Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Mats Carlsson, Pierre Flener, et al.. Global Constraint Catalog, Volume II, Time-Series Constraints. [Technical Report] IMT Atlantique. 2018, pp.1-3762. ⟨hal-01374721⟩
539 Consultations
73 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More