-
最近の投稿
- No Free Lunch with Guardrails
- Reasoning Inconsistencies and How to Mitigate Them in Deep Learning
- Towards Multi-agent Reinforcement Learning based Traffic Signal Control through Spatio-temporal Hypergraphs
- Deep learning for music generation. Four approaches and their comparative evaluation
- Knowledge Graph Completion with Mixed Geometry Tensor Factorization
-
最近のコメント
表示できるコメントはありません。 cs.AI (36101) cs.CL (27287) cs.CR (2748) cs.CV (41948) cs.LG (41053) cs.RO (21304) cs.SY (3219) eess.IV (4920) eess.SY (3213) stat.ML (5378)
「D.2.1」カテゴリーアーカイブ
Test-driven Software Experimentation with LASSO: an LLM Benchmarking Example
要約 経験的ソフトウェア エンジニアリングは、重大なギャップに直面しています。そ … 続きを読む
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
要約 保証事例は、安全工学において製品の安全性を主張するために使用できます。 安 … 続きを読む