5015 search results - page 875 / 1003 » Model Checking a Path |
ICRA
2009
IEEE
14 years 4 months ago
2009
IEEE
— This paper addresses the use of robotic tissue manipulation in medical needle insertion procedures to improve targeting accuracy and to help avoid damaging sensitive tissues. T...
INFOCOM
2009
IEEE
14 years 4 months ago
2009
IEEE
—Dynamic spectrum access has been proposed as a means to share scarce radio resources, and requires devices to follow protocols that use resources in a proper, disciplined manner...
INFOCOM
2009
IEEE
14 years 4 months ago
2009
IEEE
—Valiant load balancing (VLB), also called two-stage load balancing, is gaining popularity as a routing scheme that can serve arbitrary traffic matrices. To date, VLB network de...
WADS
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. In this paper, we propose a new compact and low delay routing labeling scheme for Unit Disk Graphs (UDGs) which often model wireless ad hoc networks. We show that one can...
DEXA
2009
Springer
14 years 4 months ago
2009
Springer
Semantic Web technologies facilitate data integration over a large number of sources with decentralised and loose coordination, ideally leading to interlinked datasets which descri...