-
最近の投稿
- SOUS VIDE: Cooking Visual Drone Navigation Policies in a Gaussian Splatting Vacuum
- Clarke Transform and Encoder-Decoder Architecture for Arbitrary Joints Locations in Displacement-Actuated Continuum Robots
- Using Clarke Transform to Create a Framework on the Manifold: From Sampling via Trajectory Generation to Control
- Safe Dynamic Motion Generation in Configuration Space Using Differentiable Distance Fields
- BODex: Scalable and Efficient Robotic Dexterous Grasp Synthesis Using Bilevel Optimization
-
最近のコメント
表示できるコメントはありません。 cs.AI (31383) cs.CL (23735) cs.CR (2434) cs.CV (37739) cs.LG (36254) cs.RO (18349) cs.SY (2813) eess.IV (4535) eess.SY (2807) stat.ML (4810)
「F.4.1」カテゴリーアーカイブ
Logic interpretations of ANN partition cells
要約 フィードフォワード人工ニューラル ネットワーク (ANN) を使用して解決 … 続きを読む
Generative Fractional Diffusion Models
要約 基礎となるダイナミクスに分数拡散プロセスを利用する、初の連続時間スコアベー … 続きを読む
Solving Quantified Modal Logic Problems by Translation to Classical Logics
要約 この記事では、一次様相論理問題の QMLTP ライブラリから取得した問題に … 続きを読む
Complex Logical Reasoning over Knowledge Graphs using Large Language Models
要約 ナレッジ グラフ (KG) に対する推論は、エンティティ間の複雑な関係とそ … 続きを読む
The Tactician’s Web of Large-Scale Formal Knowledge
要約 The Tactician’s Web は、機械学習、分析、証 … 続きを読む
The Tactician’s Web of Large-Scale Formal Knowledge
要約 The Tactician’s Web は、機械学習、分析、証 … 続きを読む
Short Boolean Formulas as Explanations in Practice
要約 単項関係に基づいたデータ モデル内の短いブール式を介して説明可能性を調査し … 続きを読む
Towards Ordinal Data Science
要約 順序は、(経験的) データ内のオブジェクト間の関係を測定するための主要な手 … 続きを読む
CLS-CAD: Synthesizing CAD Assemblies in Fusion 360
要約 CAD 設計プロセスには、アセンブリを作成する際の繰り返しの手順が多数含ま … 続きを読む
A knowledge-driven framework for synthesizing designs from modular components
要約 モジュール式コンポーネントから設計を作成するには、利用可能なコンポーネント … 続きを読む