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

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

arxiv url: http://arxiv.org/abs/2408.12240v1
Date: Thu, 22 Aug 2024 09:17:59 GMT
ステータス: 翻訳完了
システム内更新日: 2024-08-23 14:33:24.966192
Title: The Bright Side of Timed Opacity
Title（参考訳）: タイムド・オパチーの明るい面
Authors: Étienne André, Sarah Dépernet, Engel Lefaucheux,
Abstract要約: その結果,1回のTAと1時間のTAとエプシロン交換を除いて,不透明度は主に回収可能であることがわかった。次に,攻撃者による観察回数が制限された新たな決定可能なサブクラスを示す。
参考スコア（独自算出の注目度）: 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のエプシロン交換を除いてほぼ回収可能であることが判明した。次に,攻撃者による観察回数が制限された新たな決定可能なサブクラスを示す。

関連論文リスト

Relativistic limits on the discretization and temporal resolution of a quantum clock [0.0]
量子時計における時間値の離散化と時間分解能の限界について論じる。我々の時計の特徴は、有界かつ離散的なハミルトニアンを補完する時間観測可能であることである。
論文参考訳（メタデータ） (2025-04-08T09:27:41Z)
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)
Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata [2.2003515924552044]
タイムオートマトン(Timed Automatica)は、有限状態オートマトンの拡張であり、一連のクロックが線形に進化する。我々は、タイムドオートマトンを入力形式として使用し、攻撃者がシステム実行時間のみにアクセス可能であると仮定する。
論文参考訳（メタデータ） (2023-10-31T12:10:35Z)
Semantics Meets Temporal Correspondence: Self-supervised Object-centric Learning in Videos [63.94040814459116]
自己教師付き手法は、高レベルの意味論と低レベルの時間対応の学習において顕著な進歩を見せている。融合した意味特徴と対応地図の上に,意味認識型マスキングスロットアテンションを提案する。我々は、時間的コヒーレントなオブジェクト中心表現を促進するために、セマンティックおよびインスタンスレベルの時間的一貫性を自己スーパービジョンとして採用する。
論文参考訳（メタデータ） (2023-08-19T09:12:13Z)
Prune Spatio-temporal Tokens by Semantic-aware Temporal Accumulation [89.88214896713846]
STAスコアは、時間的冗長性と意味的重要性の2つの重要な要因を考慮に入れている。市販のビデオトランスフォーマーとビデオウィンにSTAモジュールを適用する。結果: Kinetics-400 と something-Something V2 は 30% のオーバーシェルフ削減を実現し,0.2% の精度低下を実現した。
論文参考訳（メタデータ） (2023-08-08T19:38:15Z)
Which Features are Learnt by Contrastive Learning? On the Role of Simplicity Bias in Class Collapse and Feature Suppression [59.97965005675144]
コントラスト学習(CL)は,ラベル管理の有無に関わらず,表現学習の強力な技術として登場した。 CLによって学習される特徴を判定する,理論的に厳密な最初の統合フレームワークを提供する。本稿では,2つの理論的動機付けされた解として,埋め込み次元の増大とデータ拡張の質の向上について述べる。
論文参考訳（メタデータ） (2023-05-25T23:37:22Z)
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)
Self-Regulated Learning for Egocentric Video Activity Anticipation [147.9783215348252]
自己制御学習(SRL)は、中間表現を連続的に制御し、現在のタイムスタンプのフレームにおける新しい情報を強調する表現を作り出すことを目的としている。 SRLは2つのエゴセントリックなビデオデータセットと2つの第三者のビデオデータセットにおいて、既存の最先端技術よりも大幅に優れています。
論文参考訳（メタデータ） (2021-11-23T03:29:18Z)
Exploring Visual Context for Weakly Supervised Person Search [155.46727990750227]
人探索は、歩行者の検出と人物の再識別を共同で扱う、困難なタスクとして最近登場した。既存のアプローチは、バウンディングボックスとIDアノテーションの両方が利用可能な完全に教師付き設定に従っている。本稿では,ボックスアノテーションのみを用いた弱教師付き人物検索について実験的に考察する。
論文参考訳（メタデータ） (2021-06-19T14:47:13Z)
Self-Supervised Learning for Semi-Supervised Temporal Action Proposal [42.6254639252739]
SSTAP(Self-supervised Semi-supervised Temporal Action Proposal)フレームワークの設計を行います。 SSTAPは2つの重要な分岐、すなわち時間対応半監督枝と関係対応自監督枝を含んでいる。提案されたSSTAPをTHUMOS14およびActivityNet v1.3データセット上で幅広く評価する。
論文参考訳（メタデータ） (2021-04-07T16:03:25Z)
CLTA: Contents and Length-based Temporal Attention for Few-shot Action Recognition [2.0349696181833337]
本稿では,個々のビデオに対して時間的注意をカスタマイズしたコンテンツと長さに基づく時間的注意モデルを提案する。通常のソフトマックス分類器で微調整されていないバックボーンであっても、最先端のアクション認識と同等あるいはそれ以上の結果が得られる。
論文参考訳（メタデータ） (2021-03-18T23:40:28Z)
Unsupervised Learning on Monocular Videos for 3D Human Pose Estimation [121.5383855764944]
コントラッシブな自己教師学習を用いて、シングルビュービデオからリッチな潜伏ベクトルを抽出する。また,CSSを時間変化の特徴のみに適用すると同時に,入力を再構築し,近辺と遠方の特徴間の段階的な遷移を促すことにより,リッチな潜伏空間が得られることを示す。本手法は他の教師なしシングルビュー手法よりも優れており,マルチビュー手法の性能と一致している。
論文参考訳（メタデータ） (2020-12-02T20:27:35Z)
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)

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