Global Constraint Catalog, Volume II, Time-Series Constraints
| Autor: | Arafailova, Ekaterina, Beldiceanu, Nicolas, Douence, Rémi, Carlsson, Mats, Flener, Pierre, Pearson, Justin, Francisco Rodríguez, María Andreína, Simonis, Helmut |
|---|---|
| Přispěvatelé: | Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Théorie, Algorithmes et Systèmes en Contraintes (LS2N - équipe TASC ), Laboratoire des Sciences du Numérique de Nantes (LS2N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Gallinette : vers une nouvelle génération d'assistant à la preuve (LS2N - équipe GALLINETTE), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire des Sciences du Numérique de Nantes (LS2N), SICS, Swedish Institute of Computer Science [Stockholm] (SICS), Uppsala University, Department of Information Technology (DIT-UPPSALA), Insight Centre for Data Analytics (INSIGHT), University College Cork (UCC), IMT Atlantique, European Project: 640954,H2020,H2020-FETPROACT-2014,GRACeFUL(2015), IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Théorie, Algorithmes et Systèmes en Contraintes (TASC ), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Gallinette : vers une nouvelle génération d'assistant à la preuve (GALLINETTE) |
| Jazyk: | angličtina |
| Rok vydání: | 2018 |
| Předmět: |
global constraint
constraint programming sequential pattern mining reversible automaton meta-data glue matrix [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM] automaton with accumulators finite transducer minimum description length [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI] automaton with registers parametrised invariants sharp bounds ontology Hardware_REGISTER-TRANSFER-LEVELIMPLEMENTATION |
| Zdroj: | [Technical Report] IMT Atlantique. 2018, pp.1-3762 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|