835 search results - page 25 / 167 » Building Intelligent Robotics Systems with Distributed Compo... |
TPHOL
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...
AAAI
2007
13 years 10 months ago
2007
A major challenge in robotics and artificial intelligence lies in creating robots that are to cooperate with people in human-populated environments, e.g. for domestic assistance ...
IJRR
2002
13 years 7 months ago
2002
A key component of a mobile robot system is the ability to localize itself accurately and, simultaneously, to build a map of the environment. Most of the existing algorithms are b...
IAT
2008
IEEE
13 years 7 months ago
2008
IEEE
As information and communication technologies are becoming an integral part of our homes, the demand for AmI systems with assistive functionality is increasing. A great effort has...
EUROMICRO
2004
IEEE
13 years 11 months ago
2004
IEEE
In this paper, we present the architecture of CoBFIT, a component-based framework for building intrusion-tolerant distributed systems. The CoBFIT framework, by virtue of its desig...