7758 search results - page 190 / 1552 » On the Number of Distributive Lattices |
131
click to vote
TGC
2007
Springer
16 years 17 days ago
2007
Springer
Session types are a means of statically encoding patterns of interaction between two communicating parties. This paper explores a distributed calculus with session types in which a...
186
click to vote
VTC
2006
IEEE
16 years 14 days ago
2006
IEEE
— This paper derives the optimum non-uniform quantization scheme for a distributed estimation problem based on noisy observations in a wireless sensor network. The optimal quanti...
110
click to vote
ICRA
2005
IEEE
16 years 1 days ago
2005
IEEE
- Walking-robot technology has reached an advanced stage of development, as has already been demonstrated by a number of real applications. However, further improvement is still ne...
154
click to vote
INFOCOM
2005
IEEE
16 years 1 days ago
2005
IEEE
— Internet maps are generally constructed using the traceroute tool from a few sources to many destinations. It appeared recently that this exploration process gives a partial an...
154
click to vote
ICLP
2005
Springer
15 years 12 months ago
2005
Springer
We present a version of the CCP paradigm, which is both distributed and probabilistic. We consider networks with a fixed number of nodes, each of them possessing a local and indep...