-
最近の投稿
- Measuring Uncertainty in Shape Completion to Improve Grasp Quality
- Semantic Segmentation and Scene Reconstruction of RGB-D Image Frames: An End-to-End Modular Pipeline for Robotic Applications
- Mass-Adaptive Admittance Control for Robotic Manipulators
- M2P2: A Multi-Modal Passive Perception Dataset for Off-Road Mobility in Extreme Low-Light Conditions
- Vision Controlled Orthotic Hand Exoskeleton
-
最近のコメント
表示できるコメントはありません。 cs.AI (37038) cs.CL (28036) cs.CV (42790) cs.HC (2834) cs.LG (41970) cs.RO (21944) cs.SY (3345) eess.IV (4984) eess.SY (3337) stat.ML (5490)
「03Axx」カテゴリーアーカイブ
Faithful Logic Embeddings in HOL — A recipe to have it all: deep and shallow, automated and interactive, heavy and light, proofs and counterexamples, meta and object level
要約 古典的な高次ロジックにおける非古典的なロジックの深く浅い埋め込みは、近年、 … 続きを読む