2958 search results - page 236 / 592 » Extending and Implementing RASP |
PADL
1999
Springer
14 years 3 months ago
1999
Springer
Abstract. One important advantage of logic programming is that it allows the implicit exploitation of parallelism. Towards this goal, we suggest that or-parallelism can be efficien...
ICRA
1998
IEEE
14 years 3 months ago
1998
IEEE
This paper describes the new localisation algorithms under implementation for the mail distributing mobile robot, MOPS, of the Institute of Robotics, Swiss Federal Institute of Te...
ROBOCUP
1999
Springer
14 years 3 months ago
1999
Springer
An innovative technique for segmentation of color images is proposed. The technique implements an approach based on thresholding of the hue histogram. A new function for detecting...
TYPES
1999
Springer
14 years 3 months ago
1999
Springer
We propose a method to search for a lemma in a goq proof library by using the lemma type as a key. The method is based on the concept of type isomorphism developed within the funct...
RTAS
1998
IEEE
14 years 3 months ago
1998
IEEE
There is increasing demand to extend Object Request Broker (ORB) middleware to support distributed applications with stringent real-time requirements. However, conventional ORB im...