343 search results - page 26 / 69 » Adaptive Path Planner for Highly Dynamic Environments |
FMCAD
2009
Springer
15 years 4 months ago
2009
Springer
Abstract—Symbolic Trajectory Evaluation is an industrialstrength verification method, based on symbolic simulation and abstraction, that has been highly successful in data path ...
INFOCOM
2008
IEEE
15 years 3 months ago
2008
IEEE
—In this paper, we propose a novel transport protocol that effectively utilizes available bandwidth and diversity gains provided by heterogeneous, highly lossy paths. Our Multi-P...
BTW
2007
Springer
15 years 3 months ago
2007
Springer
Abstract: The data on the web, in digital libraries, in scientific repositories, etc. continues to grow at an increasing rate. Distribution is a key solution to overcome this data...
IROS
2006
IEEE
15 years 3 months ago
2006
IEEE
— There is much to gain from providing walking machines with passive dynamics, e.g. by including compliant elements in the structure. These elements can offer interesting propert...
112
click to vote
ICDE
2009
IEEE
14 years 7 months ago
2009
IEEE
Nowadays contents in Internet like weblogs, wikipedia and news sites become "live". How to notify and provide users with the relevant contents becomes a challenge. Unlike...