12774 search results - page 2224 / 2555 » A Framework for Proof Systems |
227
click to vote
INFOCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
— The performances in cooperative communications depend on careful resource allocation such as relay selection and power control, but traditional centralized resource allocation ...
178
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Web Services are becoming more and more fundamental building blocks of Web-based distributed applications and a core technology for Grid systems. Due to their flexibility, Web Ser...
182
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— We consider the problem of providing QoS guarantees to Grid users through advance reservation of resources. Advance reservation mechanisms provide the ability to alloca...
165
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper considers the problem of coordinating multiple vehicles with kinodynamic constraints that operate in the same partially-known environment. The vehicles are able to c...
201
click to vote
ISMAR
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a system that applies a custom-built pan-tilt-zoom camera for laser-pointer tracking in arbitrary real environments. Once placed in a building environment, it carries o...