675 search results - page 59 / 135 » Using Fairness to Make Abstractions Work |
132
click to vote
ETFA
2005
IEEE
15 years 9 months ago
2005
IEEE
AbstractThe impact of the use of mobile devices by means of GPRS (General Packet Radio Service) technology to access environmental information in real time, provided by sensors str...
141
click to vote
SEKE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Emergent behaviour (EB) is a common phenomenon in multi-agent systems (MAS) where autonomous agents perform certain actions with only limited access to local information ...
125
click to vote
ROBOCUP
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. In this paper we present early work on an animated talking head commentary system called Byrne. The goal of this project is to develop a system which can take the output ...
112
click to vote
MASCOTS
2007
15 years 5 months ago
2007
Abstract— Wireless Mesh Networks are a scalable and costeffective solution for next-generation wireless networking. In the present work, we consider the Round Weighting Problem (...
128
click to vote
LICS
2010
IEEE
15 years 2 months ago
2010
IEEE
This work belongs to a wider effort aimed at eliminating syntactic bureaucracy from proof systems. In this paper, we present a novel cut elimination procedure for classical propos...