Fugu-MT 論文翻訳(概要): The Bright Side of Timed Opacity

論文の概要: The Bright Side of Timed Opacity

arxiv url: http://arxiv.org/abs/2408.12240v3
Date: Fri, 27 Sep 2024 14:00:11 GMT
ステータス: 処理完了
システム内更新日: 2024-11-08 05:49:00.812909
Title: The Bright Side of Timed Opacity
Title（参考訳）: タイムド・オパチーの明るい面
Authors: Étienne André, Sarah Dépernet, Engel Lefaucheux,
Abstract要約: 1回のTAと1時間のTAは$epsilon$-transitionsのみである。次に,攻撃者による観察回数が制限された新たな決定可能なサブクラスを示す。
参考スコア（独自算出の注目度）: 0.0
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: In 2009, Franck Cassez showed that the timed opacity problem, where an attacker can observe some actions with their timestamps and attempts to deduce information, is undecidable for timed automata (TAs). Moreover, he showed that the undecidability holds even for subclasses such as event-recording automata. In this article, we consider the same definition of opacity for several other subclasses of TAs: with restrictions on the number of clocks, of actions, on the nature of time, or on a new subclass called observable event-recording automata. We show that opacity can mostly be retrieved, except for one-action TAs and for one-clock TAs with $\epsilon$-transitions, for which undecidability remains. We then exhibit a new decidable subclass in which the number of observations made by the attacker is limited.
Abstract（参考訳）: 2009年、フランク・カッシーズ(Franck Cassez)は、攻撃者がタイムスタンプで何らかの行動を観察し、情報を引き出そうとするタイムド・オートマトン(TA)では決定不可能であることを示した。さらに彼は、イベント記録オートマトンのようなサブクラスに対しても、決定不能が成り立つことを示した。本稿では、クロック数、動作数、時間の性質、あるいは観測可能なイベント記録オートマトンと呼ばれる新しいサブクラスに制限を加えて、TAの他のいくつかのサブクラスに対する不透明性の定義について考察する。不透明度は1回のTAと1時間のTAと$\epsilon$-transitionsを除いて主に回収可能である。次に,攻撃者による観察回数が制限された新たな決定可能なサブクラスを示す。

関連論文リスト

Execution-time opacity control for timed automata [0.0]
タイムドオートマトンにおけるタイミングリークは、攻撃者がタイムドビヘイビアを観察して秘密を推論できるときに起こりうる。実行時の不透明さにおいて、攻撃者は実行時間だけを観察して、プライベートな場所が訪れたかどうかを推定することを目的としている。 TAが実行時に制御可能かどうかを判断して不透明性を確保することができることを示す。
論文参考訳（メタデータ） (2024-09-16T14:46:52Z)
Expiring opacity problems in parametric timed automata [0.0]
タイムドオートマトンにおける期限付き不透明度問題について検討した。我々は,システムが不透明な時間境界の集合を考察し,時間付きオートマトンに対して有効に計算できることを示す。
論文参考訳（メタデータ） (2024-03-12T13:30:53Z)
Few-shot Learner Parameterization by Diffusion Time-steps [133.98320335394004]
大規模なマルチモーダル・ファンデーション・モデルを使用する場合、ほとんどショット・ラーニングは難しい。我々は、失った属性を補うために、時間ステップFew-shot(TiF)学習者を提案する。 TiF学習者は、OpenCLIPとそのアダプタを様々な細粒度でカスタマイズされた数発の学習タスクで大幅に上回っている。
論文参考訳（メタデータ） (2024-03-05T04:38:13Z)
Continual Diffusion with STAMINA: STack-And-Mask INcremental Adapters [67.28751868277611]
近年の研究では、テキストから画像への拡散モデルを複数の微細な概念に逐次的にカスタマイズできることが示されている。我々は、新しいタスクを学習する能力が、長いシーケンスで飽和に達することを示す。本稿では,低ランクの注意マーク付きアダプタとカスタマイズトークンからなるSTAMINA(STack-And-Mask Incremental Adapters)を提案する。
論文参考訳（メタデータ） (2023-11-30T18:04:21Z)
Self-Supervised Multi-Object Tracking For Autonomous Driving From Consistency Across Timescales [53.55369862746357]
自己管理型マルチオブジェクトトラッカーは、生のドメイン固有データから学習できるという大きな可能性を秘めている。しかし、その再識別精度は、監督対象よりも低い。本稿では,複数の連続フレームから再同定特徴を自己教師付きで学習できる学習目標を提案する。
論文参考訳（メタデータ） (2023-04-25T20:47:29Z)
A Generalized & Robust Framework For Timestamp Supervision in Temporal Action Segmentation [79.436224998992]
時間的アクションセグメンテーションでは、Timestampの監督はビデオシーケンスごとにわずかにラベル付きフレームを必要とする。本稿では,未ラベルフレームのラベルの不確実性を利用した期待最大化に基づく新しい手法を提案する。提案手法はSOTA結果を生成し,複数のメトリクスやデータセットの完全教師付き設定を超えている。
論文参考訳（メタデータ） (2022-07-20T18:30:48Z)
Star Temporal Classification: Sequence Classification with Partially Labeled Data [31.98593136313469]
本研究では,部分ラベル付きおよび非セグメント付きシーケンシャルデータから学習できるアルゴリズムを開発した。私たちは特別なスタートークンを使用して、トークンが失われるたびに可能なトークンをすべて含むアライメントを可能にします。また、手書き文字認識実験を行い、本手法が他のシーケンス分類タスクにも容易に適用可能であることを示す。
論文参考訳（メタデータ） (2022-01-28T16:03:17Z)
CLTA: Contents and Length-based Temporal Attention for Few-shot Action Recognition [2.0349696181833337]
本稿では,個々のビデオに対して時間的注意をカスタマイズしたコンテンツと長さに基づく時間的注意モデルを提案する。通常のソフトマックス分類器で微調整されていないバックボーンであっても、最先端のアクション認識と同等あるいはそれ以上の結果が得られる。
論文参考訳（メタデータ） (2021-03-18T23:40:28Z)
Uncertainty-Aware Weakly Supervised Action Detection from Untrimmed Videos [82.02074241700728]
本稿では,ビデオフレームラベルのみを用いてトレーニングした,禁止レベルの行動認識モデルを提案する。人1人当たりの手法は、複数のインスタンス学習フレームワーク内の大規模な画像データセットで訓練されている。標準的な多重インスタンス学習の仮定では、各バッグには、指定されたラベルを持つ少なくとも1つのインスタンスが含まれているという仮定が無効である場合、どのようにメソッドを適用するかを示す。
論文参考訳（メタデータ） (2020-07-21T10:45:05Z)
A Few-Shot Sequential Approach for Object Counting [63.82757025821265]
画像中のオブジェクトに逐次出席するクラスアテンション機構を導入し,それらの特徴を抽出する。提案手法は点レベルのアノテーションに基づいて訓練され,モデルのクラス依存的・クラス依存的側面を乱す新しい損失関数を用いる。本稿では,FSODやMS COCOなど,さまざまなオブジェクトカウント/検出データセットについて報告する。
論文参考訳（メタデータ） (2020-07-03T18:23:39Z)
Active learning of timed automata with unobservable resets [0.5801044612920815]
時間付き言語の能動的学習は、観察された単語からの時間付きオートマトンの推定に関係している。このフレームワークの最大の難しさは、時間付きオートマトンの中心となるクロックリセットの推論である。我々は、このフレームワークを、リセットなしイベント記録オートマトンと呼ばれる新しいクラスに一般化する。
論文参考訳（メタデータ） (2020-07-03T12:13:42Z)

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