3718 search results - page 84 / 744 » Programming by Integration in Robotics |
POPL
1998
ACM
15 years 2 months ago
1998
ACM
The SLam calculus is a typed -calculus that maintains security information as well as type information. The type system propagates security information for each object in four for...
CCGRID
2006
IEEE
15 years 1 months ago
2006
IEEE
Abstract-- The development of high performance parallel applications for clusters is considered a complex task. This can happen because the influence of the execution environment a...
CLUSTER
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—Software Distributed Shared Memory (SDSM) systems provide programmers with a shared memory programming environment across distributed memory architectures. In contrast t...
HCI
2007
14 years 11 months ago
2007
Abstract. The increasing capabilities of experimental household robot platforms require more and more sophisticated methods of interaction. While there are many developments in all...
RAS
2008
14 years 9 months ago
2008
We present an approach for creating conceptual representations of human-made indoor environments using mobile robots. The concepts refer to spatial and functional properties of ty...