共 50 条
- [1] Space Robot Path Planning for Collision Avoidance IMECS 2009: INTERNATIONAL MULTI-CONFERENCE OF ENGINEERS AND COMPUTER SCIENTISTS, VOLS I AND II, 2009, : 1243 - +
- [2] A Higher-Order Iterative Path Ordering Logic for Programming, Artificial Intelligence, and Reasoning, Proceedings, 2008, 5330 : 697 - 711
- [4] Detection of interdomain routing anomalies based on higher-order path analysis ICDM 2006: SIXTH INTERNATIONAL CONFERENCE ON DATA MINING, PROCEEDINGS, 2006, : 874 - 879
- [5] COLLISION-FREE PATH PLANNING FOR LABORATORY ROBOT PROCEEDINGS OF 11TH INTERNATIONAL CARPATHIAN CONTROL CONFERENCE, 2010, 2010, : 63 - 66
- [6] HIGHER-ORDER PATH CURVATURE IN SPHERICAL KINEMATICS JOURNAL OF ENGINEERING FOR INDUSTRY-TRANSACTIONS OF THE ASME, 1973, 95 (02): : 612 - 616
- [9] Certified higher-order recursive path ordering TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2006, 4098 : 227 - 241
- [10] A Lambda-Free Higher-Order Recursive Path Order FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2017), 2017, 10203 : 461 - 479