599 search results - page 52 / 120 » Hide-and-Seek with Directional Sensing |
ICRA
1994
IEEE
14 years 2 months ago
1994
IEEE
We present a simple approach for planning the motion of nonholonomic robots among obstacles. Existing methods lead to open-loop solutions which are either obtained in two stages, ...
FSTTCS
1993
Springer
14 years 2 months ago
1993
Springer
This paper will show the usefulness and elegance of strict intersection types for the Lambda Calculus; these are strict in the sense that they are the representatives of equivalen...
ITP
2010
14 years 1 months ago
2010
In this paper, we develop a general theory of fixed point combinators, in higher-order logic equipped with Hilbert’s epsilon operator. This combinator allows for a direct and e...
COOPIS
2004
IEEE
14 years 1 months ago
2004
IEEE
In this position paper we introduce Cooperative Artefacts, physical objects that embed sensing, communication, computation and actuation in physical objects. In contrast to many ot...
AGP
1995
IEEE
14 years 1 months ago
1995
IEEE
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...