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

Modelling and Search-Based Testing of Robot Controllers Using Enzymatic Numerical P Systems

要約 自動化されたプロセスが増加するデジタル化社会において、ソフトウェアによって … 続きを読む

カテゴリー: cs.RO, cs.SE | Modelling and Search-Based Testing of Robot Controllers Using Enzymatic Numerical P Systems はコメントを受け付けていません

OpenAi’s GPT4 as coding assistant

要約 最近、大規模言語モデルはコード生成で広く使用されています。 GPT4 は、 … 続きを読む

カテゴリー: cs.AI, cs.SE | OpenAi’s GPT4 as coding assistant はコメントを受け付けていません

Towards an MLOps Architecture for XAI in Industrial Applications

要約 機械学習 (ML) は、業務の改善、効率の向上、コストの削減に役立つため、 … 続きを読む

カテゴリー: cs.AI, cs.SE | Towards an MLOps Architecture for XAI in Industrial Applications はコメントを受け付けていません

Frustrated with Code Quality Issues? LLMs can Help!

要約 ソフトウェア プロジェクトが進行するにつれて、コードの品質はソフトウェアの … 続きを読む

カテゴリー: cs.AI, cs.SE | Frustrated with Code Quality Issues? LLMs can Help! はコメントを受け付けていません

Trusta: Reasoning about Assurance Cases with Formal Methods and Large Language Models

要約 保証事例は、安全工学において製品の安全性を主張するために使用できます。 安 … 続きを読む

カテゴリー: cs.AI, cs.SE, D.2.1 | Trusta: Reasoning about Assurance Cases with Formal Methods and Large Language Models はコメントを受け付けていません

An Extendable Python Implementation of Robust Optimisation Monte Carlo

要約 扱いが難しい尤度を持つ統計モデルで推論を実行することは困難であるため、ほと … 続きを読む

カテゴリー: cs.LG, cs.SE, stat.CO | An Extendable Python Implementation of Robust Optimisation Monte Carlo はコメントを受け付けていません

Simulation of Sensor Spoofing Attacks on Unmanned Aerial Vehicles Using the Gazebo Simulator

要約 Gazebo シミュレーターなどのさまざまなシミュレーターで安全シミュレー … 続きを読む

カテゴリー: cs.CR, cs.RO, cs.SE | Simulation of Sensor Spoofing Attacks on Unmanned Aerial Vehicles Using the Gazebo Simulator はコメントを受け付けていません

Towards Model Co-evolution Across Self-Adaptation Steps for Combined Safety and Security Analysis

要約 自己適応システムは、さまざまなチャネルを介した通信と、環境を観察するために … 続きを読む

カテゴリー: cs.CR, cs.FL, cs.RO, cs.SE | Towards Model Co-evolution Across Self-Adaptation Steps for Combined Safety and Security Analysis はコメントを受け付けていません

EGFE: End-to-end Grouping of Fragmented Elements in UI Designs with Multimodal Learning

要約 業界で UI デザイン プロトタイプをコードに変換する場合、デザイン プロ … 続きを読む

カテゴリー: cs.AI, cs.SE | EGFE: End-to-end Grouping of Fragmented Elements in UI Designs with Multimodal Learning はコメントを受け付けていません

Pop Quiz! Do Pre-trained Code Models Possess Knowledge of Correct API Names?

要約 CodeBERT や Codex などの事前トレーニング済みコード モデル … 続きを読む

カテゴリー: cs.CL, cs.SE | Pop Quiz! Do Pre-trained Code Models Possess Knowledge of Correct API Names? はコメントを受け付けていません