Sciweavers

2645 search results - page 294 / 529
» Autonomous security for autonomous systems
Sort
View
SAFECOMP
2010
Springer
15 years 4 months ago
Experiences in Applying Formal Verification in Robotics
Formal verification efforts in the area of robotics are still comparatively scarce. In this paper we report on our experiences with one such effort, which was concerned with design...
Dennis Walter, Holger Täubig, Christoph L&uum...
WWW
2006
ACM
16 years 7 months ago
A decentralized CF approach based on cooperative agents
In this paper, we propose a decentralized collaborative filtering (CF) approach based on P2P overlay network for the autonomous agents' environment. Experiments show that our...
Byeong Man Kim, Qing Li, Adele E. Howe
WWW
2006
ACM
16 years 7 months ago
Web annotation sharing using P2P
We have developed a system that allows users to add annotations immediately onto a Web page they are viewing, and share the information via a network. A novel feature of our metho...
Osamu Segawa
ICRA
2009
IEEE
147views Robotics» more  ICRA 2009»
16 years 1 months ago
Equipping robot control programs with first-order probabilistic reasoning capabilities
— An autonomous robot system that is to act in a real-world environment is faced with the problem of having to deal with a high degree of both complexity as well as uncertainty. ...
Dominik Jain, Lorenz Mösenlechner, Michael Be...
PRIMA
2007
Springer
16 years 22 days ago
Supporting Requirements Analysis in Tropos: A Planning-Based Approach
Abstract. Software systems are becoming more and more part of human life influencing organizational and social activities. This introduces the need of considering the design of a ...
Volha Bryl, Paolo Giorgini, John Mylopoulos