9067 search results - page 1736 / 1814 » Adaptive Model Checking |
163
click to vote
ICRA
2006
IEEE
16 years 5 days ago
2006
IEEE
— In this paper we predict the amount of slip an exploration rover would experience using stereo imagery by learning from previous examples of traversing similar terrain. To do t...
189
click to vote
INFOCOM
2006
IEEE
16 years 5 days ago
2006
IEEE
— In autonomous mobile ad hoc networks (MANET) where each user is its own authority, fully cooperative behaviors, such as unconditionally forwarding packets for each other or, ho...
216
click to vote
IPPS
2006
IEEE
16 years 5 days ago
2006
IEEE
The incorporation of last-generation sensors to airborne and satellite platforms is currently producing a nearly continual stream of high-dimensional data, and this explosion in t...
196
click to vote
SIGMETRICS
2006
ACM
16 years 3 days ago
2006
ACM
Understanding and managing the response time of web services is of key importance as dependence on the World Wide Web continues to grow. We present Remote Latency-based Management...
161
click to vote
SIGMETRICS
2005
ACM
15 years 11 months ago
2005
ACM
The growing cost of tuning and managing computer systems is leading to out-sourcing of commercial services to hosting centers. These centers provision thousands of dense servers w...