7049 search results - page 1228 / 1410 » Data Abstraction for CSP-OZ |
172
click to vote
CP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Rambo is the Reconfigurable Atomic Memory for Basic Objects, a formally specified algorithm that implements atomic read/write shared memory in dynamic networks, where t...
184
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract-- Two-tier networks, comprising a conventional cellular network overlaid with shorter range hotspots (e.g. femtocells, distributed antennas, or wired relays), offer an eco...
167
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— Flexible needles with bevel tips are being developed as useful tools for minimally invasive surgery and percutaneous therapy. When such a needle is inserted into soft t...
140
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— This work addresses mission planning for autonomous underwater gliders based on predictions of an uncertain, time-varying current eld. Glider submersibles are highly se...
197
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— Scene recognition is a highly valuable perceptual ability for an indoor mobile robot, however, current approaches for scene recognition present a significant drop in p...