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

• arxiv url: http://arxiv.org/abs/2408.12240v4
• Date: Wed, 23 Jul 2025 13:51:01 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-07-24 22:33:14.653014
• Title: The Bright Side of Timed Opacity
• Title（参考訳）: タイムド・オパチーの明るい面
• Authors: Étienne André, Sarah Dépernet, Engel Lefaucheux,
• Abstract要約: タイムオートマトン(タイムオートマトン、英: Timed Automatica、TA)は、時間経過を計測し、反応することができる有限オートマトンの拡張である。 2009年、フランク・カッシーズ(Franck Cassez)は、攻撃者がタイムスタンプで何らかの行動を観察し、情報を引き出そうとする時間不透明性問題は、TAにとって決定不可能であることを示した。 我々は、システムまたは攻撃者を制限することにより、同じ不透明度の定義を考察する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Timed automata (TAs) are an extension of finite automata that can measure and react to the passage of time, providing the ability to handle real-time constraints using clocks. 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 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, by restricting either the system or the attacker. Our first contribution is to prove the inter-reducibility of two variants of opacity: full opacity (for which the observations should be the same regardless of the visit of a private location) and weak opacity (for which it suffices that the attacker cannot deduce whether the private location was visited, but for which it is harmless to deduce that it was not visited); we also prove further results including a connection with timed language inclusion. Our second contribution is to study opacity for several subclasses of TAs: with restrictions on the number of clocks, the number of actions, the nature of time, or a new subclass called observable event-recording automata. We show that opacity is mostly decidable in these cases, except for one-action TAs and for one-clock TAs with $\epsilon$-transitions, for which undecidability remains. Our third (and arguably main) contribution is to propose a new definition of opacity in which the number of observations made by the attacker is limited to the first $N$ observations, or to a set of $N$ timestamps after which the attacker observes the first action that follows immediately. This set can be defined either a priori or at runtime; all three versions yield decidability for the whole TA class.
• Abstract（参考訳）: タイムオートマトン(Timed Automatica、TA)は、時間経過を計測し、反応できる有限オートマトンの拡張であり、クロックを使用してリアルタイムな制約を処理する能力を提供する。 2009年、フランク・カッシーズ(Franck Cassez)は、攻撃者がタイムスタンプで何らかの行動を観察し、情報を引き出そうとする時間不透明性問題は、TAにとって決定不可能であることを示した。 さらに彼は、イベント記録オートマトンのようなサブクラスに対しても、決定不能が成り立つことを示した。 本稿では,システムと攻撃者の両方に制限を加えることで,不透明度の定義について考察する。 我々の最初の貢献は、完全な不透明度(プライベートな場所の訪問に関わらず観察が同じであるべき)と弱い不透明度(攻撃者がプライベートな場所を訪問したかどうかを推測できないが、訪問されていないと推測することは無害である)という2つの変種間の再現性を証明することである。 第2のコントリビューションは、クロック数、アクション数、時間の性質、あるいは観測可能なイベント記録オートマトンと呼ばれる新しいサブクラスに制限を加えて、TAのいくつかのサブクラスの不透明度を研究することです。 これらの場合,不透明度は1アクションTAと1時間TAが$\epsilon$-transitionsであり,不透明度は未決定である。 私たちの3番目の(そしておそらく主要な)コントリビューションは、攻撃者が行った観測の回数が最初の$N$の観測に制限されるという不透明性の新たな定義を提案すること、または、攻撃者がすぐに続く最初のアクションを観察する$N$のタイムスタンプのセットを提案することです。 このセットは、プリオリまたは実行時に定義できる。3つのバージョンはすべて、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)

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

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。