6355 search results - page 1077 / 1271 » From Logic to Games |
149
click to vote
IROS
2007
IEEE
16 years 26 days ago
2007
IEEE
Abstract— This paper presents Meld, a programming language for modular robots, i.e., for independently executing robots where inter-robot communication is limited to immediate ne...
146
click to vote
ISCA
2007
IEEE
16 years 26 days ago
2007
IEEE
The ever increasing sizes of on-chip caches and the growing domination of wire delay necessitate significant changes to cache hierarchy design methodologies. Many recent proposal...
155
click to vote
LICS
2007
IEEE
16 years 26 days ago
2007
IEEE
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be: (1) the proof of congruence, as well as enhancements of the bisimulatio...
178
click to vote
ICC
2007
IEEE
16 years 24 days ago
2007
IEEE
Abstract— Wireless ad hoc networks provide a useful communications infrastructure for the mobile battlefield. In this paper we apply and develop passive radio frequency signal s...
182
click to vote
AIME
2007
Springer
16 years 23 days ago
2007
Springer
Medical critiquing systems criticise clinical actions performed by a physician. In order to provide useful feedback, an important task is to find differences between the actual a...