6365 search results - page 1034 / 1273 » Fast Local Computation Algorithms |
144
click to vote
MSWIM
2005
ACM
16 years 6 days ago
2005
ACM
This paper compares, through analysis and simulation, a number of multichannel MAC protocols for wireless networks. We first classify these protocols into 4 categories based on t...
168
click to vote
ADHOCNOW
2005
Springer
16 years 6 days ago
2005
Springer
In this paper we describe the deployment of an offshore wireless sensor network and the lightweight intelligence that was integrated into the data acquisition and forwarding softwa...
163
click to vote
CAV
2005
Springer
16 years 5 days ago
2005
Springer
We consider in the current paper the issue of exploiting the structural form of Esterel programs [BG92] to partition the algorithmic RSS (reachable state space) fix-point construc...
171
Voted
EMMCVPR
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. This paper exposes a novel formulation of prior shape constraint incorporation for the level set segmentation of objects from corrupted images. Applicable to variational ...
181
Voted
FOSSACS
2005
Springer
16 years 5 days ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...