998 search results - page 113 / 200 » From Feasible Proofs to Feasible Computations |
LOCA
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. People rapidly learn the capabilities of a new location, without observing every service and product. Instead they map a few observations to familiar clusters of capabili...
IROS
2006
IEEE
14 years 3 months ago
2006
IEEE
—Many vision-based navigation systems are restricted to the use of only a limited number of landmarks when computing the camera pose. This limitation is due to the overhead of de...
MIDDLEWARE
2004
Springer
14 years 2 months ago
2004
Springer
The increasing popularity of XML Web services motivates us to examine if it is feasible to substitute one vendor service for another when using a Web-based application, assuming th...
HOTOS
2003
IEEE
14 years 2 months ago
2003
IEEE
Understanding the performance of distributed systems requires correlation of thousands of interactions between numerous components — a task best left to a computer. Today’s sy...
DSOM
2003
Springer
14 years 2 months ago
2003
Springer
The goal of autonomic storage allocation is to achieve allocation of storage resources, their performance monitoring, and hotspot elimination by specifying comparatively high-leve...