4894 search results - page 806 / 979 » Dynamic Abstraction Planning |
168
click to vote
ICAC
2006
IEEE
16 years 15 hour ago
2006
IEEE
— Over the past decade, wide-area distributed computing has emerged as a powerful computing paradigm. Virtual machines greatly simplify wide-area distributed computing ing the ab...
200
click to vote
ICAS
2006
IEEE
16 years 14 hour ago
2006
IEEE
Abstract—This paper describes and evaluates a biologically-inspired network architecture that allows grid services to autonomously adapt to dynamic environment changes in the net...
170
click to vote
ICCAD
2006
IEEE
16 years 14 hour ago
2006
IEEE
This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and other SAT-based tech...
161
click to vote
ICDCS
2006
IEEE
16 years 13 hour ago
2006
IEEE
Abstract— Distributed stream processing systems offer a highly scalable and dynamically configurable platform for time-critical applications ranging from real-time, exploratory ...
151
click to vote
ICRA
2006
IEEE
16 years 4 hour ago
2006
IEEE
Abstract— The localization capability is central to basic navigation tasks and motivates development of various visual navigation systems. In this paper we describe a two stage a...