3116 search results - page 398 / 624 » Positively dependent types |
185
click to vote
ICRA
2006
IEEE
16 years 19 days ago
2006
IEEE
— We investigate a technique that uses an embedded network deployed pervasively throughout an environment to aid robots in navigation. First, we show that the path computed by th...
175
click to vote
ICRA
2006
IEEE
16 years 19 days ago
2006
IEEE
— In this paper we consider a single hand-held camera performing SLAM at video rate with generic 6DOF motion. The aim is to optimise both the localisation of the sensor and build...
215
Voted
LCN
2006
IEEE
16 years 19 days ago
2006
IEEE
This paper describes BiSNET (Biologically-inspired architecture for Sensor NETworks), which addresses several key issues in multi-modal wireless sensor networks such as autonomy, ...
164
click to vote
ASPDAC
2006
ACM
16 years 17 days ago
2006
ACM
— Buffer insertion is an effective technique to reduce interconnect delay. In this paper, we give a simple O(mn) time algorithm for optimal buffer insertion, where m is the numbe...
176
click to vote
ECLIPSE
2006
ACM
16 years 17 days ago
2006
ACM
Eclipse plug-ins have access to a rich collection of GUI components. One such component is the progress bar, which allows a long-running task to provide Eclipse users with feedbac...