3718 search results - page 391 / 744 » Programming by Integration in Robotics |
169
click to vote
LISP
2002
15 years 6 months ago
2002
Security-typed languages enforce secrecy or integrity policies by type-checking. This paper investigates continuation-passing style (CPS) as a means of proving that such languages...
366
click to vote
FPGA
2011
ACM
14 years 10 months ago
2011
ACM
In this paper, we introduce a new open source high-level synthesis tool called LegUp that allows software techniques to be used for hardware design. LegUp accepts a standard C pro...
245
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
We have developed a location-based search system for web documents on the Internet. This system can find web documents based on the distance between locations that are described i...
185
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— In this paper we present a method for fast surface reconstruction from large noisy datasets. Given an unorganized 3D point cloud, our algorithm recreates the underlying surface...
153
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— For ground vehicle localization, hybrid-GNSS localizers now use commonly dead-reckoning sensors, like odometers or inertial units. They are designed to increase the acc...