Global Constraint Catalog, Volume II, Time-Series Constraints

Abstract : 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.
Type de document :
Rapport
[Technical Report] IMT Atlantique. 2018, pp.1-3762
Liste complète des métadonnées

https://hal.inria.fr/hal-01374721
Contributeur : Contraintes Lina <>
Soumis le : mardi 20 novembre 2018 - 10:37:56
Dernière modification le : lundi 26 novembre 2018 - 15:21:06

Fichier

1609.08925v2.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

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〉

Partager

Métriques

Consultations de la notice

576

Téléchargements de fichiers

30