2407 search results - page 430 / 482 » A Tool for Abstraction in Model Checking |
122
click to vote
ACHI
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—The development of human-robot interaction scenarios is a strongly situation-dependent as well as an extremely dynamic task. Humans interacting with the robot directly r...
IROS
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract— Particle Filters have been widely used as a powerful optimization tool for nonlinear, non-Gaussian dynamic models such as Simultaneous Localization and Mapping (SLAM) a...
SBMF
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Event-B is a formal method used for specifying and reasoning about systems. Rodin is a toolset for developing system models in Event-B. Our experiment which is outlined i...
106
click to vote
IEEEICCI
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— The underwater environment presents many challenges for robotic sensing including highly variable lighting and the presence of dynamic objects such as fish and suspend...
INFOCOM
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— This paper investigates the reliability of applicationlevel multicast based on a distributed hash table (DHT) in a highly dynamic network. Using a node residual lifetim...