「cs.SC」カテゴリーアーカイブ

Solving Hard Mizar Problems with Instantiation and Strategy Invention

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

要約 この研究では、いくつかの ATP および AI 手法を使用して、これまで … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO, cs.SC | Solving Hard Mizar Problems with Instantiation and Strategy Invention はコメントを受け付けていません

Representing Piecewise-Linear Functions by Functions with Minimal Arity

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

要約 任意の連続区分線形関数 $F\colon \mathbb{R}^{n}\t … 続きを読む →

カテゴリー: cs.DM, cs.LG, cs.SC | Representing Piecewise-Linear Functions by Functions with Minimal Arity はコメントを受け付けていません

ParSEL: Parameterized Shape Editing with Language

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

要約 自然言語から 3D アセットを編集できる機能は、3D コンテンツ作成の民主 … 続きを読む →

カテゴリー: cs.AI, cs.CV, cs.GR, cs.HC, cs.SC | ParSEL: Parameterized Shape Editing with Language はコメントを受け付けていません

ParSEL: Parameterized Shape Editing with Language

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

要約 自然言語から 3D アセットを編集できる機能は、3D コンテンツ作成の民主 … 続きを読む →

カテゴリー: cs.AI, cs.CV, cs.GR, cs.HC, cs.SC | ParSEL: Parameterized Shape Editing with Language はコメントを受け付けていません

Hierarchical NeuroSymbolic Approach for Comprehensive and Explainable Action Quality Assessment

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

要約 アクション品質評価 (AQA) は、コンピューター ビジョンを応用して人間 … 続きを読む →

カテゴリー: cs.AI, cs.CV, cs.LG, cs.SC | Hierarchical NeuroSymbolic Approach for Comprehensive and Explainable Action Quality Assessment はコメントを受け付けていません

SMLP: Symbolic Machine Learning Prover (User Manual)

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

要約 SMLP: Symbolic Machine Learning Prove … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO, cs.SC, math.OC | SMLP: Symbolic Machine Learning Prover (User Manual) はコメントを受け付けていません

Vector-Symbolic Architecture for Event-Based Optical Flow

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

要約 特徴マッチングの観点から見ると、イベント カメラのオプティカル フロー推定 … 続きを読む →

カテゴリー: cs.CV, cs.SC | Vector-Symbolic Architecture for Event-Based Optical Flow はコメントを受け付けていません

Predictive Modeling of Flexible EHD Pumps using Kolmogorov-Arnold Networks

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

要約 コルモゴロフ・アーノルドネットワークを使用して、フレキシブル電気流体力学ポ … 続きを読む →

カテゴリー: cs.LG, cs.RO, cs.SC | Predictive Modeling of Flexible EHD Pumps using Kolmogorov-Arnold Networks はコメントを受け付けていません

LLM4ED: Large Language Models for Automatic Equation Discovery

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

要約 方程式の発見は、データから物理法則を直接抽出することを目的としており、極め … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.SC, math-ph, math.MP, stat.AP | LLM4ED: Large Language Models for Automatic Equation Discovery はコメントを受け付けていません

Random Alloy Codes and the Fundamental Limits of Coded Distributed Tensors

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

要約 テンソルは分散における基本的な操作であり、一般に大規模なデータセットの複数 … 続きを読む →

カテゴリー: C.2.4, cs.DC, cs.IT, cs.LG, cs.NA, cs.SC, math.IT, math.NA | Random Alloy Codes and the Fundamental Limits of Coded Distributed Tensors はコメントを受け付けていません