Sciweavers

5128 search results - page 86 / 1026
» When Abstraction Fails
Sort
View
EUROS
2008
137views Robotics» more  EUROS 2008»
14 years 11 months ago
Reactive Trajectory Deformation to Navigate Dynamic Environments
Abstract. Path deformation is a technique that was introduced to generate robot motion wherein a path, that has been computed beforehand, is continuously deformed on-line in respon...
Vivien Delsart, Thierry Fraichard
CLIMA
2007
14 years 11 months ago
Actions with Failures in Interval Temporal Logic
Abstract. Failures are unavoidable in many circumstances. For example, an agent may fail at some point to perform a task in a dynamic environment. Robust systems typically have mec...
Arjen Hommersom, Peter J. F. Lucas
ESORICS
2010
Springer
14 years 11 months ago
An Authorization Framework Resilient to Policy Evaluation Failures
Abstract. In distributed computer systems, it is possible that the evaluation of an authorization policy may suffer unexpected failures, perhaps because a sub-policy cannot be eval...
Jason Crampton, Michael Huth
ECAI
2010
Springer
14 years 10 months ago
The Necessity of Bounded Treewidth for Efficient Inference in Bayesian Networks
Abstract. Algorithms for probabilistic inference in Bayesian networks are known to have running times that are worst-case exponential in the size of the network. For networks with ...
Johan Kwisthout, Hans L. Bodlaender, Linda C. van ...
ICECCS
2010
IEEE
159views Hardware» more  ICECCS 2010»
14 years 10 months ago
Towards Self-Healing Swarm Robotic Systems Inspired by Granuloma Formation
Abstract—Granuloma is a medical term for a ball-like collection of immune cells that attempts to remove foreign substances from a host organism. This response is a special type o...
Amelia Ritahani Ismail, Jon Timmis