21007 search results - page 3994 / 4202 » Mobile Parallel Computing |
170
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
We examine whether and how the Multiagent Plan Coordination Problem, the problem of resolving interactions between the plans of multiple agents, can be cast as a Distributed Const...
156
Voted
CONCUR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Reactive systems are often modelled as two person antagonistic games where one player represents the system while his adversary represents the environment. Undoubtedly, t...
163
click to vote
CSL
2005
Springer
15 years 12 months ago
2005
Springer
We show that Csanky’s fast parallel algorithm for computing the characteristic polynomial of a matrix can be formalized in the logical theory LAP, and can be proved correct in LA...
169
click to vote
DCOSS
2005
Springer
15 years 12 months ago
2005
Springer
Sensor network localization continues to be an important research challenge. The goal of localization is to assign geographic coordinates to each node in the sensor network. Locali...
161
click to vote
DCOSS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Every physical event results in a natural information gradient in the proximity of the phenomenon. Moreover, many physical phenomena follow the diffusion laws. This natu...