-
最近の投稿
- Robust Gymnasium: A Unified Modular Benchmark for Robust Reinforcement Learning
- High-Quality Unknown Object Instance Segmentation via Quadruple Boundary Error Refinement
- Autonomous Guidewire Navigation for Robot-assisted Endovascular Interventions: A Knowledge-Driven Visual Guidance Approach
- Risk-aware Integrated Task and Motion Planning for Versatile Snake Robots under Localization Failures
- AoECR: AI-ization of Elderly Care Robot
-
最近のコメント
表示できるコメントはありません。 cs.AI (34382) cs.CL (25992) cs.CR (2637) cs.CV (40262) cs.LG (39382) cs.RO (20087) cs.SY (3053) eess.IV (4793) eess.SY (3047) stat.ML (5190)
「F.2; G.0」カテゴリーアーカイブ
Formal Translation from Reversing Petri Nets to Coloured Petri Nets
要約 可逆計算は、計算中の任意の時点で一連の操作を逆の順序で実行できるようにする … 続きを読む