-
最近の投稿
- Electrokinetic Propulsion for Electronically Integrated Microscopic Robots
- Learning-Based Control Barrier Function with Provably Safe Guarantees: Reducing Conservatism with Heading-Aware Safety Margin
- Faster Algorithms for Growing Collision-Free Convex Polytopes in Robot Configuration Space
- Predictive Visuo-Tactile Interactive Perception Framework for Object Properties Inference
- DART-LLM: Dependency-Aware Multi-Robot Task Decomposition and Execution using Large Language Models
-
最近のコメント
表示できるコメントはありません。 cs.AI (29653) cs.CL (22394) cs.CR (2301) cs.CV (36070) cs.LG (34476) cs.RO (17198) cs.SY (2642) eess.IV (4387) eess.SY (2636) stat.ML (4608)
「F.4.2」カテゴリーアーカイブ
Automating Reformulation of Essence Specifications via Graph Rewriting
要約 パラメータ化された問題クラスの効果的な制約モデルを定式化することは、その後 … 続きを読む
Towards Exploratory Reformulation of Constraint Models
要約 対象となる問題の効果的な制約モデルを定式化することが、その後の問題を効率的 … 続きを読む