2436 search results - page 171 / 488 » Comonadic Notions of Computation |
119
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
— The E∗ algorithm is a path planning method capable of dynamic replanning and user-configurable path cost interpolation. It calculates a navigation function as a sampling of ...
144
click to vote
NDSS
2005
IEEE
15 years 10 months ago
2005
IEEE
In 1998, Blaze, Bleumer, and Strauss proposed an application called atomic proxy re-encryption, in which a semi-trusted proxy converts a ciphertext for Alice into a ciphertext for...
110
click to vote
ACMACE
2005
ACM
15 years 10 months ago
2005
ACM
Outdoor multi-player games are an increasingly popular application area for ubiquitous computing, supporting experimentation both with new technologies and new user experiences. T...
116
click to vote
CONCUR
2004
Springer
15 years 10 months ago
2004
Springer
We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a synchronous model of ...
110
click to vote
GI
2004
Springer
15 years 10 months ago
2004
Springer
d Abstract) Zinaida Benenson Felix G¨artner Dogan Kesdogan RWTH Aachen, Department of Computer Science, D-52056 Aachen, Germany : If the data collected within a sensor network is ...