Digital Picture Processing
Fido: vision and navigation for a robot rover
Fido: vision and navigation for a robot rover
The warp computer: Architecture, implementation, and performance
IEEE Transactions on Computers
VITS-A Vision System for Autonomous Land Vehicle Navigation
IEEE Transactions on Pattern Analysis and Machine Intelligence - Special Issue on Industrial Machine Vision and Computer Vision Technology:8MPart
Animal behavior as a paradigm for developing robot autonomy
Robotics and Autonomous Systems
Smooth kinematic controller vs. pure-pursuit for non-holonomic vehicles
TAROS'11 Proceedings of the 12th Annual conference on Towards autonomous robotic systems
Hi-index | 0.00 |
In this paper we present a type inference method for Prolog programs. The new idea is to describe a superset of the success set by associating a type substitution (an assignment of sets of ground terms to variables) with each head of definite clause. ...