1124 search results - page 79 / 225 » Mobile robot programming using natural language |
IROS
2008
IEEE
14 years 4 months ago
2008
IEEE
— A very fast but nevertheless accurate approach for surface extraction from noisy 3D point clouds is presented. It consists of two parts, namely a plane fitting and a polygonal...
ICFP
2005
ACM
14 years 10 months ago
2005
ACM
We present a foundation for a computational meta-theory of languages with bindings implemented in a computer-aided formal reasoning environment. Our theory provides the ability to...
FOSSACS
2001
Springer
14 years 2 months ago
2001
Springer
Garbage collection relieves the programmer of the burden of managing dynamically allocated memory, by providing an automatic way to reclaim unneeded storage. This eliminates or les...
ETFA
2008
IEEE
14 years 4 months ago
2008
IEEE
This paper presents a localization system for mobile robots that are able to navigate autonomously in industrial environments like factory and exhibition halls. Previous approache...
CEFP
2007
Springer
14 years 4 months ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...