Fugu-MT 論文翻訳(概要): A kernel function for Signal Temporal Logic formulae

論文の概要: A kernel function for Signal Temporal Logic formulae

arxiv url: http://arxiv.org/abs/2009.05484v1
Date: Fri, 11 Sep 2020 15:06:25 GMT
ステータス: 処理完了
システム内更新日: 2022-10-19 21:17:00.375293
Title: A kernel function for Signal Temporal Logic formulae
Title（参考訳）: 信号時間論理式のためのカーネル関数
Authors: Luca Bortolussi, Giuseppe Maria Gallo and Laura Nenzi
Abstract要約: 本稿では,STL(Signal Temporal Logic)公式のカーネルの定義方法について述べる。このようなカーネルにより、公式の空間をヒルベルト空間に埋め込むことができ、カーネルベースの機械学習アルゴリズムをSTLのコンテキストで利用できるようになる。
参考スコア（独自算出の注目度）: 1.4283087299768
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: We discuss how to define a kernel for Signal Temporal Logic (STL) formulae. Such a kernel allows us to embed the space of formulae into a Hilbert space, and opens up the use of kernel-based machine learning algorithms in the context of STL. We show an application of this idea to a regression problem in formula space for probabilistic models.
Abstract（参考訳）: 本稿では,信号時相論理式(stl)のカーネルを定義する方法について述べる。このようなカーネルにより、公式の空間をヒルベルト空間に埋め込むことができ、カーネルベースの機械学習アルゴリズムをSTLのコンテキストで利用できるようになる。この考え方を確率モデルの公式空間における回帰問題に適用する。

関連論文リスト

Sinkhorn Flow: A Continuous-Time Framework for Understanding and Generalizing the Sinkhorn Algorithm [49.45427072226592]
我々はシンクホーンアルゴリズムの連続時間アナログを導入する。この観点から、ノイズやバイアスに頑健なシンクホーンスキームの新たな変種を導出することができる。
論文参考訳（メタデータ） (2023-11-28T11:29:12Z)
Score-based Diffusion Models in Function Space [140.792362459734]
拡散モデルは、最近、生成モデリングの強力なフレームワークとして登場した。本稿では,関数空間における拡散モデルをトレーニングするためのDDO(Denoising Diffusion Operators)という,数学的に厳密なフレームワークを提案する。データ解像度に依存しない固定コストで、対応する離散化アルゴリズムが正確なサンプルを生成することを示す。
論文参考訳（メタデータ） (2023-02-14T23:50:53Z)
An approach to the Gaussian RBF kernels via Fock spaces [0.0]
フォック空間とセガル・バルグマン理論の手法を用いてガウス RBF カーネル上でのいくつかの結果を証明する。 RBFカーネルは、量子力学や時間周波数解析において最もよく用いられる演算子とどのように関連付けられるかを示す。
論文参考訳（メタデータ） (2022-10-25T16:59:00Z)
Structural Kernel Search via Bayesian Optimization and Symbolical Optimal Transport [5.1672267755831705]
ガウスのプロセスでは、カーネルの選択は重要なタスクであり、しばしば専門家が手動で行う。本稿では,カーネル空間を包含する新しい効率的な探索法を提案する。
論文参考訳（メタデータ） (2022-10-21T09:30:21Z)
Active Nearest Neighbor Regression Through Delaunay Refinement [79.93030583257597]
近接回帰に基づく能動関数近似アルゴリズムを提案する。我々のActive Nearest Neighbor Regressor (ANNR) は計算幾何学の Voronoi-Delaunay フレームワークに頼り、空間を一定の関数値のセルに分割する。
論文参考訳（メタデータ） (2022-06-16T10:24:03Z)
Learning "best" kernels from data in Gaussian process regression. With application to aerodynamics [0.4588028371034406]
本稿では,ガウス過程の回帰/クリギングサロゲートモデリング手法におけるカーネルの選択/設計アルゴリズムを紹介する。アルゴリズムの最初のクラスはカーネルフローであり、機械学習の分類の文脈で導入された。アルゴリズムの第2のクラスはスペクトル核リッジ回帰と呼ばれ、近似される関数のノルムが最小となるような「最良の」カーネルを選択することを目的としている。
論文参考訳（メタデータ） (2022-06-03T07:50:54Z)
Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes [1.2708506121941319]
信号時間論理(STL)の論理式に類似性関数を導入する。対応するカーネルトリックにより、特徴抽出の複雑なプロセスを回避できます。本研究では,STL式に対する満足度を(定量的に)予測する作業において,この結果とその利点を実証する。
論文参考訳（メタデータ） (2022-01-24T19:36:11Z)
Misspecified Gaussian Process Bandit Optimization [59.30399661155574]
カーネル化されたバンディットアルゴリズムは、この問題に対して強い経験的および理論的性能を示した。本稿では、未知関数を$epsilon$-一様近似で近似できるエンフェミス特定カーネル化帯域設定を、ある再生カーネルヒルベルト空間(RKHS)において有界ノルムを持つ関数で導入する。提案アルゴリズムは,不特定性に関する事前知識を伴わず,$epsilon$への最適依存を実現する。
論文参考訳（メタデータ） (2021-11-09T09:00:02Z)
Framing RNN as a kernel method: A neural ODE approach [11.374487003189468]
我々は,RNNの解を,入力シーケンスの特定の特徴集合の線形関数と見なせることを示す。我々は,大規模なリカレントネットワークの一般化と安定性に関する理論的保証を得る。
論文参考訳（メタデータ） (2021-06-02T14:46:40Z)
Sinkhorn Natural Gradient for Generative Models [125.89871274202439]
本研究では,シンクホーンの発散による確率空間上の最も急降下法として機能するシンクホーン自然勾配(SiNG)アルゴリズムを提案する。本稿では,SiNG の主要成分であるシンクホーン情報行列 (SIM) が明示的な表現を持ち,対数的スケールの複雑さを正確に評価できることを示す。本実験では,SiNGと最先端のSGD型解法を定量的に比較し,その有効性と有効性を示す。
論文参考訳（メタデータ） (2020-11-09T02:51:17Z)
Certified Reinforcement Learning with Logic Guidance [78.2286146954051]
線形時間論理(LTL)を用いて未知の連続状態/動作マルコフ決定過程(MDP)のゴールを定式化できるモデルフリーなRLアルゴリズムを提案する。このアルゴリズムは、トレースが仕様を最大確率で満たす制御ポリシーを合成することが保証される。
論文参考訳（メタデータ） (2019-02-02T20:09:32Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。