8555 search results - page 277 / 1711 » Property Based Coordination |
217
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a fast localisation algorithm for autonomous mobile agents in dynamic environments based on the definition of a new very small sized landmark type. These landm...
179
click to vote
PIMRC
2010
IEEE
15 years 5 months ago
2010
IEEE
In this paper, we propose an interference aware throughput maximizing scheduler for cognitive radio networks (CRNs) as part of a MAC layer resource allocation framework. In the con...
164
click to vote
BC
2004
15 years 7 months ago
2004
Different kinds of articulators, such as the upper and lower lips, jaw, and tongue, are precisely coordinated in speech production. Based on a perturbation study of the production ...
266
click to vote
ATAL
2011
Springer
14 years 7 months ago
2011
Springer
Central to the vision of the smart grid is the deployment of smart meters that will allow autonomous software agents, representing the consumers, to optimise their use of devices ...
232
click to vote
SIES
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...