d-DNNF Modulo Theories: A General Framework for Polytime SMT Queries
この論文は、SMT 問題を事前計算された理論レマと組み合わせることで d-DNNF へ変換し、既存の命題論理推論器を用いて多項式時間で SMT クエリを処理する汎用的なフレームワークを初めて提案し、その有効性を実証したものです。
💻 Category
cs
7209 件の論文
Agent based decision making for Integrated Air Defense system
この論文は、信念・欲求・意図（BDI）アーキテクチャとメタレベル計画推論を用いた自律型エージェントを提案し、ネットワーク中心戦に対応する統合防空システムにおける目標検出、脅威評価、兵器割り当てなどの指揮統制（C2）機能を人手なしで実行する意思決定アルゴリズムを提示しています。
Learning from Viral Content
この論文は、ソーシャルメディア上の合理的なユーザーが私的情報とバイラルなニュースフィードに基づいて情報を共有する均衡モデルを分析し、バイラルなコンテンツの提示が情報の集約を促進する一方で、誤った情報が自己永続的に広がる定常状態を生み出す可能性を示し、プラットフォーム設計への示唆を論じています。
A Robust Multi-Item Auction Design with Statistical Learning
本論文は、信頼区間を活用した非パラメトリック密度推定に基づく新たな統計学習手法を提案し、多品目オークションの実施コストを削減しつつ、高い確率で公平性や支配戦略インセンティブ両立性を保証する効率的な戦略を確立したことを示しています。
Class Overwhelms: Mutual Conditional Blended-Target Domain Adaptation
本論文は、ラベル分布のシフト下でもドメインラベルを必要とせず、不確実性に基づくカテゴリカル判別器と低次元特徴量による相互条件付きアライメントを通じて、Blended-Target 領域適用の性能を大幅に向上させる手法を提案するものである。
How Auditing Methodologies Can Impact Our Understanding of YouTube's Recommendation Systems
この論文は、YouTube の推薦システムに関するバイアスを推論する監査において、ログイン状態などの方法論的選択が結果に与える影響を分析し、精度を損なわずに監査コストを削減できる最適な設定と、慎重に考慮すべきパラメータを明らかにしています。
Critical Relaxed-Stable Matchings with Ties in the Many-to-Many Setting
この論文は、両側にタイと下限クォータが存在する多対多マッチング問題において、下限クォータを最大限満たす「クリティカル」かつ「緩和安定」なマッチングが常に存在し、その最大基数を求める問題は NP 困難であるが、多項式時間で最大基数の 2/3 を保証する近似アルゴリズムを提案することを示しています。
altiro3D: Scene representation from single image and novel view synthesis
本論文は、単一の RGB 画像や動画から MiDaS による深度推定や画像修復、高速な 3D 投影アルゴリズムを活用して、自由視点表示に対応する光場画像や動画を含む没入型 3D 体験を生成する拡張ライブラリ「altiro3D」を提案するものである。
Utility Theory based Cognitive Modeling in the Application of Robotics: A Survey
本論文は、ロボットにおける意思決定や学習を人間の社会構造に類似した形で最適化するための基盤として、功利性理論に基づく認知モデルの進化、価値システムの応用、および将来の研究課題を包括的に調査・検討したものである。
Toward 6G Sidelink Reliability: MAC PRR Modeling for NR Mode 2 SPS and ns-3 Validation
本論文は、3GPP 規格の NR サイドリンク Mode 2 における SPS の具体的な動作を明示的にモデル化し、閉形式の MAC パケット受信率（PRR）式を導出するとともに、ns-3 シミュレーションで検証することで、6G 通信の信頼性向上に向けた SPS パラメータの調整指針を提供するものである。
The Complexity of Distance- Dominating Set Reconfiguration
本論文は、距離支配集合再構成問題について、の場合に分割グラフ上で多項式時間アルゴリズムを構築し複雑性の二項性を示す一方、平面グラフや二部グラフ、弦グラフなど他のグラフクラスではで完全であることを証明する結果を報告しています。
Online Dispatching and Routing for Automated Guided Vehicles in Pickup and Delivery Systems on Loop-Based Graphs
この論文は、ループベースのグラフにおける自動搬送車（AGV）のオンライン配送・経路計画問題に対して、任意の容量と順序付けられたジョブに対応する新しいループベースアルゴリズムを提案し、理論的および実世界の事例を用いた実験により、既存の手法と比較して同等以上の解をより短時間で得られることを実証しています。
Multi-Scale Distillation for RGB-D Anomaly Detection on the PD-REAL Dataset
この論文では、Play-Doh モデルを用いた大規模な 3D 異常検出データセット「PD-REAL」を提案し、その有効性を検証するために、教師ネットワークからの多段階指導を活用して局所的特徴と大域的文脈を統合するマルチスケール蒸留フレームワークを導入した。
CA-Jaccard: Camera-aware Jaccard Distance for Person Re-identification
本論文は、カメラ間の変動による Jaccard 距離の信頼性低下を解決するため、カメラ情報を活用して k-相互最近傍探索と局所クエリ拡張を統合した新たな「カメラ対応 Jaccard 距離（CA-Jaccard）」を提案し、Person Re-identification における高精度かつ低コストな距離指標を実現したことを示しています。
Joint User Association and Resource Allocation for Adaptive Semantic Communication in 5G and Beyond Networks
本論文は、ユーザーの多様性に対応する適応型意味通信（ASC）を導入し、5G 以降のネットワークにおけるユーザー接続とリソース割り当てをエネルギーと遅延制約下で最適化する効率的なアルゴリズムを提案し、既存手法を上回る性能を実証しています。
Challenges in Restructuring Community-based Moderation
本論文は、ウィキペディアの「フラグ付き改訂」に関するアーカイブ分析とインタビューを通じて、理論や数値指標が優れていても既存の社会的規範と衝突したり、プラットフォームと自律的コミュニティの複雑な関係性が評価を困難にしたりすることで、コミュニティベースのモデレーション体制の再構築が直面する課題を明らかにしています。
DivCon: Divide and Conquer for Complex Numerical and Spatial Reasoning in Text-to-Image Generation
本論文は、複雑な数値・空間推論を必要とするテキストから画像への生成タスクにおいて、大規模な閉源モデルへの依存を排除し、軽量モデルでも高精度なレイアウト予測と段階的な画像合成を実現する「DivCon」という分割統治アプローチを提案し、HRS や NSR-1K ベンチマークで既存手法を上回る性能と多物体・複雑な関係性を有するプロンプトに対する知覚品質の向上を実証したものである。
Deepfake Generation and Detection: A Benchmark and Survey
この論文は、ディープフェイクの生成（顔の入れ替え、再演、発話顔生成、属性編集）と検出に関する最新技術、データセット、評価指標を包括的にレビューし、代表的な手法をベンチマークして将来の課題と研究方向を分析する調査研究である。
Weighted Reservoir Sampling With Replacement from Data Streams
この論文は、データストリームから重みに比例した確率で要素を復元抽出する新しい手法を提案し、その正当性と効率性を理論的に証明するとともに、実験を通じて既存手法との性能比較を行ったものである。
Goldilocks Test Sets for Face Verification
既存の顔認証モデルが人工的な画像劣化なしでも直面する課題（属性差の大きい同一人物ペア、属性差の小さい異人物ペア、双子や親族など似顔人物）を特定し、高品質な画像を用いた「Goldilocks」レベルの新たなテストセット（Hadrian、Eclipse、ND-Twins）を提案する論文です。