8719 search results - page 1527 / 1744 » A Categorical Approach to Simulations |
148
click to vote
ICDCN
2010
Springer
15 years 15 days ago
2010
Springer
Abstract. Service discovery in MANET suffers from frequent service unavailability due to failures of service providers or directory nodes. Ensuring network-wide service availabilit...
150
click to vote
ICFEM
2010
Springer
15 years 15 days ago
2010
Springer
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...
130
click to vote
ICRA
2010
IEEE
15 years 15 days ago
2010
IEEE
Abstract— To compute collision-free and dynamicallyfeasibile trajectories that satisfy high-level specifications given in a planning-domain definition language, this paper prop...
120
click to vote
ICRA
2010
IEEE
15 years 15 days ago
2010
IEEE
— In this paper, we consider the problem of how background knowledge about usual object arrangements can be utilized by a mobile robot to more efficiently find an object in an ...
120
click to vote
ICRA
2010
IEEE
15 years 15 days ago
2010
IEEE
Abstract— Humanoid robots are appealing due to their inherent dexterity. However, these potential benefits may only be realized if the corresponding motion synthesis procedure i...