cs.SE」カテゴリーアーカイブ

When Do Program-of-Thoughts Work for Reasoning?

要約 身体化された人工知能の領域では、大規模言語モデル (LLM) の推論機能が … 続きを読む

カテゴリー: cs.AI, cs.CL, cs.LG, cs.SE | When Do Program-of-Thoughts Work for Reasoning? はコメントを受け付けていません

From Diagram to Deployment: Translating BPMN Collaborations into X-Klaim for Efficient Multi-Robot System Programming

要約 この論文では、ビジネス プロセス モデルと表記法 (BPMN) 図をマルチ … 続きを読む

カテゴリー: cs.RO, cs.SE | From Diagram to Deployment: Translating BPMN Collaborations into X-Klaim for Efficient Multi-Robot System Programming はコメントを受け付けていません

Enabling Human-Centered AI: A Methodological Perspective

要約 人間中心 AI (HCAI) は、インテリジェント システムの設計、開発、 … 続きを読む

カテゴリー: cs.AI, cs.CY, cs.SE | Enabling Human-Centered AI: A Methodological Perspective はコメントを受け付けていません

Correct-by-Construction Design of Contextual Robotic Missions Using Contracts

要約 ロボットのミッションを効果的に指定して実装するには、ロボット システムのソ … 続きを読む

カテゴリー: cs.RO, cs.SE | Correct-by-Construction Design of Contextual Robotic Missions Using Contracts はコメントを受け付けていません

Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach

要約 機械学習 (ML) をサイバーフィジカル システム (CPS) に統合する … 続きを読む

カテゴリー: cs.AI, cs.DC, cs.RO, cs.SE | Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach はコメントを受け付けていません

Source Code Data Augmentation for Deep Learning: A Survey

要約 多くの重要なソース コード タスクでディープ ラーニング モデルを採用する … 続きを読む

カテゴリー: cs.AI, cs.CL, cs.SE | Source Code Data Augmentation for Deep Learning: A Survey はコメントを受け付けていません

LExecutor: Learning-Guided Execution

要約 コードの実行は、例外を通じて現れるバグを検出したり、さらなる動的分析のため … 続きを読む

カテゴリー: cs.LG, cs.PL, cs.SE | LExecutor: Learning-Guided Execution はコメントを受け付けていません

GResilience: Trading Off Between the Greenness and the Resilience of Collaborative AI Systems

要約 協調型人工知能システム (CAIS) は、共通の環境で人間と協力して共通の … 続きを読む

カテゴリー: cs.AI, cs.RO, cs.SE | GResilience: Trading Off Between the Greenness and the Resilience of Collaborative AI Systems はコメントを受け付けていません

The Quest for Content: A Survey of Search-Based Procedural Content Generation for Video Games

要約 ビデオ ゲームの需要は増加し続けており、そのためには大量のコンテンツを高価 … 続きを読む

カテゴリー: cs.AI, cs.SE | The Quest for Content: A Survey of Search-Based Procedural Content Generation for Video Games はコメントを受け付けていません

Learning Performance-Improving Code Edits

要約 ムーアの法則の衰退に伴い、プログラムのパフォーマンスの最適化がソフトウェア … 続きを読む

カテゴリー: cs.AI, cs.LG, cs.PF, cs.SE | Learning Performance-Improving Code Edits はコメントを受け付けていません