-
最近の投稿
- Topological mapping for traversability-aware long-range navigation in off-road terrain
- Equality Constrained Diffusion for Direct Trajectory Optimization
- Learning-Based Autonomous Navigation, Benchmark Environments and Simulation Framework for Endovascular Interventions
- Language Supervised Human Action Recognition with Salient Fusion: Construction Worker Action Recognition as a Use Case
- Bi-Level Motion Imitation for Humanoid Robots
-
最近のコメント
表示できるコメントはありません。 cs.AI (27641) cs.CL (20879) cs.CR (2167) cs.CV (34375) cs.LG (32373) cs.RO (15816) cs.SY (2460) eess.IV (4221) eess.SY (2454) stat.ML (4339)
「D.2.1」カテゴリーアーカイブ
Model Generation with LLMs: From Requirements to UML Sequence Diagrams
要約 自然言語 (NL) 要件をグラフィカル モデルで補完すると、関係者のコミュ … 続きを読む
Model Generation from Requirements with LLMs: an Exploratory Study
要約 自然言語 (NL) 要件をグラフィカル モデルで補完すると、関係者のコミュ … 続きを読む
Synergy of Large Language Model and Model Driven Engineering for Automated Development of Centralized Vehicular Systems
要約 自動車業界におけるソフトウェア開発プロセスの自動化を目的として、モデル駆動 … 続きを読む
Towards Single-System Illusion in Software-Defined Vehicles — Automated, AI-Powered Workflow
要約 私たちは、最終アーキテクチャが明示的に定義されていない、車両ソフトウェア … 続きを読む
Trustful Coopetitive Infrastructures for the New Space Exploration Era
要約 新しい宇宙経済において、宇宙機関、大企業、新興企業は、マッピング、土壌評価 … 続きを読む
Designing Trustful Cooperation Ecosystems is Key to the New Space Exploration Era
要約 新興の宇宙経済では、地図作成や採掘などの特殊な目的を持った自律ロボットミッ … 続きを読む
Soft Gripping: Specifying for Trustworthiness
要約 ソフト ロボティクスは、エンジニアがさまざまな用途に使用する柔軟なデバイス … 続きを読む
Trusta: Reasoning about Assurance Cases with Formal Methods and Large Language Models
要約 保証事例は、安全工学において製品の安全性を主張するために使用できます。 安 … 続きを読む