Fugu-MT 論文翻訳(概要): Practical and Verifiable Electronic Sortition

論文の概要: Practical and Verifiable Electronic Sortition

arxiv url: http://arxiv.org/abs/2006.13920v1
Date: Wed, 24 Jun 2020 17:49:21 GMT
ステータス: 処理完了
システム内更新日: 2023-05-12 22:16:31.038909
Title: Practical and Verifiable Electronic Sortition
Title（参考訳）: 実用的かつ検証可能な電子ソート
Authors: Hsun Lee, Hsu-Chun Hsiao
Abstract要約: 本稿では、T に対して効率よく結果が検証できる検証可能な e-sortition スキームを提案する。本稿では,予備設計と実装について述べるとともに,さらなる実践性向上に向けた今後の方向性を探る。
参考スコア（独自算出の注目度）: 6.665338231160324
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: Existing verifiable e-sortition systems are impractical due to computationally expensive verification (linear to the duration of the registration phase, T) or the ease of being denial of service. Based on the advance in verifiable delay functions, we propose a verifiable e-sortition scheme whose result can be efficiently verified in constant time with respect to T. We present the preliminary design and implementation, and explore future directions to further enhance practicability.
Abstract（参考訳）: 既存の検証可能なe-sortitionシステムは、計算にコストがかかる検証(登録フェーズTの期間)やサービス拒否の容易さのため、実用的ではない。検証可能な遅延関数の進歩に基づいて, t に対して, 定数時間で効率的に検証できる検証可能な e 分類方式を提案し, 予備設計と実装を行い, 実用性をさらに高めるための今後の方向性について検討する。

関連論文リスト

Historical Test-time Prompt Tuning for Vision Foundation Models [99.96912440427192]
HisTPTは、学習したテストサンプルの有用な知識を記憶する、履歴的テストタイムプロンプトチューニング技術である。 HisTPTは、異なる視覚認識タスクを処理しながら、一貫した優れたプロンプトチューニング性能を達成する。
論文参考訳（メタデータ） (2024-10-27T06:03:15Z)
Beyond One-Time Validation: A Framework for Adaptive Validation of Prognostic and Diagnostic AI-based Medical Devices [55.319842359034546]
既存のアプローチは、これらのデバイスを実際にデプロイする際の複雑さに対処するのに不足することが多い。提示されたフレームワークは、デプロイメント中に検証と微調整を繰り返すことの重要性を強調している。現在の米国とEUの規制分野に位置づけられている。
論文参考訳（メタデータ） (2024-09-07T11:13:52Z)
Efficient Test-Time Prompt Tuning for Vision-Language Models [41.90997623029582]
Self-TPTは、効率的なテストタイムプロンプトチューニングにセルフ教師付き学習を活用するフレームワークである。本稿では,Self-TPTが推論コストを大幅に削減するだけでなく,最先端の性能も向上することを示す。
論文参考訳（メタデータ） (2024-08-11T13:55:58Z)
Contract Scheduling with Distributional and Multiple Advice [37.64065953072774]
これまでの研究によると、割り込み時間に関する予測は、契約ベースのシステムの性能を改善するのに役立ちます。本稿では,予測が確率分布の形で行われる,より汎用的で現実的な学習強化設定の導入と研究を行う。提案手法は,分布設定における誤差の予測に頑健であることを示す。
論文参考訳（メタデータ） (2024-04-18T19:58:11Z)
Longitudinal Counterfactuals: Constraints and Opportunities [59.11233767208572]
本稿では,反ファクトの妥当性を評価・改善するために,縦断データを用いた手法を提案する。本研究では, 縦差と反実差を比較する指標を開発し, 先行観測した変化と反実差の類似性を評価する。
論文参考訳（メタデータ） (2024-02-29T20:17:08Z)
Defining and executing temporal constraints for evaluating engineering artifact compliance [56.08728135126139]
プロセスコンプライアンスは、実際のエンジニアリング作業が記述されたエンジニアリングプロセスに可能な限り密接に従うことを保証することに焦点を当てます。これらのプロセスの制約をチェックすることは、依然として大変な作業であり、多くの手作業を必要とし、プロセスの後半にエンジニアにフィードバックを提供する。関連するエンジニアリングアーティファクト間の時間的制約を,アーティファクトの変更毎に段階的にチェックする,自動制約チェックアプローチを提案する。
論文参考訳（メタデータ） (2023-12-20T13:26:31Z)
State Sequences Prediction via Fourier Transform for Representation Learning [111.82376793413746]
本研究では,表現表現を効率よく学習する新しい方法である,フーリエ変換(SPF)による状態列予測を提案する。本研究では,状態系列における構造情報の存在を理論的に解析する。実験により,提案手法はサンプル効率と性能の両面で,最先端のアルゴリズムよりも優れていることが示された。
論文参考訳（メタデータ） (2023-10-24T14:47:02Z)
Conformance Checking with Uncertainty via SMT (Extended Version) [66.58864135810981]
データ認識参照プロセスに対する不確実なログの適合性を確認する方法を示す。我々のアプローチはモジュラーであり、異なるタイプの不確実性に均質に適合する。本研究は,概念実証によるアプローチの正しさと実現可能性を示す。
論文参考訳（メタデータ） (2022-06-15T11:39:45Z)
Formal Semantics and Formally Verified Validation for Temporal Planning [7.538482310185133]
時間計画のための簡潔で簡潔な意味論を提示する。このセマンティクスは対話型定理証明器 Isabelle/HOL の論理で開発・形式化されている。我々はこれらのセマンティクスから時間計画のための検証アルゴリズムを導き、Isabelle/HOLの形式的証明を用いて、この検証アルゴリズムが我々のセマンティクスを実装していることを示す。
論文参考訳（メタデータ） (2022-03-25T12:04:03Z)
Leveraging Time Irreversibility with Order-Contrastive Pre-training [3.1848820580333737]
時系列データに基づく自己教師付き事前学習のための「順序コントラスト」手法について検討する。本研究では,順序コントラスト事前学習で学習した表現の下流誤差に対する有限サンプル保証を証明した。この結果から,特定の分布クラスや下流タスクのために設計された事前学習手法が,自己指導型学習の性能を向上させることが示唆された。
論文参考訳（メタデータ） (2021-11-04T02:56:52Z)

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