抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
整数時系列は,系列内のいくつかのパターンのすべての発生の特徴の集合に関する制約をしばしば受ける。例えば,インフレックスの数は制約されている可能性があり,ピーク最大値の和または谷幅の最小値となる可能性がある。多くの時系列制約は変換器により記述できる。このような変換器の出力アルファベットは,パターンの最大発生を同定する位相を示すシンボルからなる。最近,パターンから手動で設計されなければならないような変換器からの制約伝搬器と制約チェッカーを自動的に合成する方法が示されている。ここでは,大きなクラスのパターンを定義し,このような高レベルパターンから低レベル変換器を自動生成するアルゴリズムを提案し,それを正しく証明した。このクラスは,現在自動的に拡張できるタイムシリーズ制約カタログの20パターンをカバーする。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【JST・京大機械翻訳】