Using finite transducers for describing and synthesising structural time-series constraints (Q265697): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+T20
@@ Property / Mathematics Subject Classification ID: 68T20 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+M10
@@ Property / Mathematics Subject Classification ID: 62M10 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6567364
@@ Property / zbMATH DE Number: 6567364 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+global constraint
@@ Property / zbMATH Keywords: global constraint / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+time series
@@ Property / zbMATH Keywords: time series / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+global constraint catalogue
@@ Property / zbMATH Keywords: global constraint catalogue / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+constraint synthesis
@@ Property / zbMATH Keywords: constraint synthesis / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+finite transducer
@@ Property / zbMATH Keywords: finite transducer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SICStus
@@ Property / describes a project that uses: SICStus / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1775522515
@@ Property / OpenAlex ID: W1775522515 / rank @@
+Normal rank
@@ Property / cites work @@
+Reformulation of global constraints based on constraints checkers
+Normal rank
@@ Property / cites work @@
+Global constraint catalogue: past, present and future
+Normal rank
@@ Property / cites work @@
+On the reification of global constraints
@@ Property / cites work: On the reification of global constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Itemset mining: a constraint programming perspective
+Normal rank
@@ Property / cites work @@
+Q3859267
@@ Property / cites work: Q3859267 / rank @@
+Normal rank
@@ Property / cites work @@
+Generating custom propagators for arbitrary constraints
+Normal rank
@@ Property / cites work @@
+Clustering of time series data -- a survey
@@ Property / cites work: Clustering of time series data -- a survey / rank @@
+Normal rank
@@ Property / cites work @@
+Q3644388
@@ Property / cites work: Q3644388 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic finite state transducers
@@ Property / cites work: Symbolic finite state transducers / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:265697