308 search results - page 62 / 62 » Computational Types from a Logical Perspective |
WSC
1998
13 years 8 months ago
1998
Carousel storage systems are often used to increase storage density, throughput and efficiency while reducing inventory and man-hours. The Hewlett-Packard company has developed a ...
CORR
2002
Springer
13 years 7 months ago
2002
Springer
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
DRUMS
1998
Springer
13 years 11 months ago
1998
Springer
Autonomous robots need the ability to move purposefully and without human intervention in real-world environments that have not been speci cally engineered for them. These environm...