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

The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results

要約 このレポートは、第 34 回国際コンピューター会議と併催された ML 対応 … 続きを読む

カテゴリー: cs.AI, cs.LG, cs.SE | The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results はコメントを受け付けていません

Learning Performance-Improving Code Edits

要約 ムーアの法則の衰退により、テクノロジー業界の焦点は、継続的なパフォーマンス … 続きを読む

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

Piloting Copilot and Codex: Hot Temperature, Cold Prompts, or Black Magic?

要約 言語モデルは、ますます複雑化する問題に取り組むための有望なソリューションで … 続きを読む

カテゴリー: 68T50, cs.CL, cs.PL, cs.SE | Piloting Copilot and Codex: Hot Temperature, Cold Prompts, or Black Magic? はコメントを受け付けていません

Frameworks for SNNs: a Review of Data Science-oriented Software and an Expansion of SpykeTorch

要約 ニューロモルフィック (NM) 分野で機械学習 (ML) アプリケーション … 続きを読む

カテゴリー: cs.AI, cs.NE, cs.SE | Frameworks for SNNs: a Review of Data Science-oriented Software and an Expansion of SpykeTorch はコメントを受け付けていません

Learning Performance-Improving Code Edits

要約 ムーアの法則の衰退により、テクノロジー業界の焦点は、継続的なパフォーマンス … 続きを読む

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

Quantum algorithms applied to satellite mission planning for Earth observation

要約 地球画像衛星は、産業活動のグローバルな追跡を可能にする私たちの日常生活の重 … 続きを読む

カテゴリー: cs.LG, cs.SE, quant-ph | Quantum algorithms applied to satellite mission planning for Earth observation はコメントを受け付けていません

Heterogeneous Anomaly Detection for Software Systems via Semi-supervised Cross-modal Attention

要約 ソフトウェアシステムの信頼性を確保するためには、システムの異常を迅速かつ正 … 続きを読む

カテゴリー: cs.AI, cs.SE | Heterogeneous Anomaly Detection for Software Systems via Semi-supervised Cross-modal Attention はコメントを受け付けていません

Complex Network for Complex Problems: A comparative study of CNN and Complex-valued CNN

要約 ニューラル ネットワーク、特に畳み込みニューラル ネットワーク (CNN) … 続きを読む

カテゴリー: cs.CV, cs.LG, cs.SE | Complex Network for Complex Problems: A comparative study of CNN and Complex-valued CNN はコメントを受け付けていません

PCV: A Point Cloud-Based Network Verifier

要約 リアルタイムの LiDAR ベースの点群データを使用した 3D ビジョンは … 続きを読む

カテゴリー: cs.CV, cs.SE, I.2.10 | PCV: A Point Cloud-Based Network Verifier はコメントを受け付けていません

PCV: A Point Cloud-Based Network Verifier

要約 リアルタイムの LiDAR ベースの点群データを使用した 3D ビジョンは … 続きを読む

カテゴリー: cs.CV, cs.SE, I.2.10 | PCV: A Point Cloud-Based Network Verifier はコメントを受け付けていません