「I.2.8」カテゴリーアーカイブ

How To Discover Short, Shorter, and the Shortest Proofs of Unsatisfiability: A Branch-and-Bound Approach for Resolution Proof Length Minimization

投稿日: 2024年11月13日 作成者: jarxiv

要約 命題充足可能性問題用の最新のソフトウェアは、充足可能/充足不能信号だけでな … 続きを読む →

カテゴリー: cs.AI, I.2.8 | コメントする

Scaling Long-Horizon Online POMDP Planning via Rapid State Space Sampling

投稿日: 2024年11月12日 作成者: jarxiv

要約 部分的に観察可能なマルコフ決定プロセス (POMDP) は、不確実性の下で … 続きを読む →

カテゴリー: cs.RO, I.2.8 | コメントする

Evolving A* to Efficiently Solve the k Shortest-Path Problem (Extended Version)

投稿日: 2024年8月16日 作成者: jarxiv

要約 グラフ G(V, E) 内の最短経路を見つける問題は広く研究されています。 … 続きを読む →

カテゴリー: 68T20, cs.AI, cs.DS, I.2.8 | Evolving A* to Efficiently Solve the k Shortest-Path Problem (Extended Version) はコメントを受け付けていません

Solving QUBO on the Loihi 2 Neuromorphic Processor

投稿日: 2024年8月7日 作成者: jarxiv

要約 この記事では、Intel Loihi 2 ニューロモーフィック プロセッサ … 続きを読む →

カテゴリー: C.1.4, cs.AI, cs.DM, cs.NE, G.2.1, I.2.8 | Solving QUBO on the Loihi 2 Neuromorphic Processor はコメントを受け付けていません

Savile Row Manual

投稿日: 2024年7月31日 作成者: jarxiv

要約 制約モデリング ツール Savile Row、その入力言語、およびその主な … 続きを読む →

カテゴリー: 68T20, cs.AI, I.2.8 | Savile Row Manual はコメントを受け付けていません

To Help or Not to Help: LLM-based Attentive Support for Human-Robot Group Interactions

投稿日: 2024年7月25日 作成者: jarxiv

要約 ロボットはどのようにして人間の集団内で目立たない物理的なサポートを提供でき … 続きを読む →

カテゴリー: cs.AI, cs.RO, I.2.8 | To Help or Not to Help: LLM-based Attentive Support for Human-Robot Group Interactions はコメントを受け付けていません

Task and Motion Planning for Execution in the Real

投稿日: 2024年6月14日 作成者: jarxiv

要約 タスクおよびモーション プランニングは、個別のタスク ドメインに対する推論 … 続きを読む →

カテゴリー: cs.AI, cs.RO, I.2.8 | Task and Motion Planning for Execution in the Real はコメントを受け付けていません

Task and Motion Planning for Execution in the Real

投稿日: 2024年6月7日 作成者: jarxiv

要約 タスクおよびモーション プランニングは、個別のタスク ドメインに対する推論 … 続きを読む →

カテゴリー: cs.AI, cs.RO, I.2.8 | Task and Motion Planning for Execution in the Real はコメントを受け付けていません

Decision-Focused Forecasting: Decision Losses for Multistage Optimisation

投稿日: 2024年5月24日 作成者: jarxiv

要約 意思決定中心学習は、下流の意思決定の品質に関してパイプラインの上流の予測面 … 続きを読む →

カテゴリー: cs.AI, cs.LG, I.2.8, math.OC | Decision-Focused Forecasting: Decision Losses for Multistage Optimisation はコメントを受け付けていません

Integrating Explanations in Learning LTL Specifications from Demonstrations

投稿日: 2024年4月4日 作成者: jarxiv

要約 本稿では、大規模言語モデル（Large Language Models: … 続きを読む →

カテゴリー: cs.AI, I.2.8 | Integrating Explanations in Learning LTL Specifications from Demonstrations はコメントを受け付けていません