311 search results - page 37 / 63 » Algebras for Moving Objects and Their Implementation |
ICRA
1998
IEEE
14 years 1 months ago
1998
IEEE
Bipedal robots are di cult to analyze mathematically. However, successful control strategies can be discovered using simple physical intuition and can be described in simple terms...
SSS
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. This paper presents Combine, a distributed directory protocol for shared objects, designed for large-scale distributed systems. Directory protocols support move requests,...
CF
2005
ACM
13 years 11 months ago
2005
ACM
In this paper we present a new organic computing principle denoted as marching pixels for the architectures of future smart CMOS camera chips. The idea of marching pixels is based...
MOBICOM
1997
ACM
14 years 1 months ago
1997
ACM
This paperintroduces the notion of “universalinteraction,” allowing a device to adapt its functionality to exploit services it discovers as it moves into a new environment. Us...
IFM
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...