10633 search results - page 1369 / 2127 » Relating Distributed Objects |
185
click to vote
TCS
2010
15 years 5 months ago
2010
The refinement calculus of Back, Morgan, Morris, and others is based on monotone predicate transformers (weakest preconditions) where conjunctions stand for demonic choices betwee...
193
click to vote
GLOBECOM
2010
IEEE
15 years 5 months ago
2010
IEEE
In this paper we show how to quantify dependency between the node distributions of wireless networks and the underlying population densities. Furthermore, we show that a quantitati...
186
click to vote
COLING
2010
15 years 2 months ago
2010
Humans are very good at judging the strength of relationships between two terms, a task which, if it can be automated, would be useful in a range of applications. Systems attempti...
184
click to vote
IJRR
2011
15 years 2 months ago
2011
This paper unifies and extends several different existing strategies for deploying groups of robots in an environment. A cost function is proposed that can be specialized to rep...
219
click to vote
TSP
2010
15 years 1 months ago
2010
In this paper, we propose the complex Gaussian scale mixture (CGSM) to model the complex wavelet coefficients as an extension of the Gaussian scale mixture (GSM), which is for real...