4949 search results - page 285 / 990 » Consistency and Set Intersection |
170
click to vote
ICA3PP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Practical implementations of atomically consistent read/write memory service are important building blocks for higher level applications. This is especially true when dat...
166
click to vote
JELIA
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We consider an algorithmic approach for revising inconsistent data and restoring its consistency. This approach detects the\spoiled" part of the data (i.e., the set ...
199
click to vote
CSFW
2010
IEEE
15 years 10 months ago
2010
IEEE
We consider the problem of automating open bisimulation checking for the spi-calculus, an extension of the pi-calculus with cryptographic primitives. The notion of open bisimulatio...
194
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—Wireless networks are increasingly used to carry applications with QoS constraints. Two problems arise when dealing with traffic with QoS constraints. One is admission control,...
209
click to vote
SMI
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we propose a new algorithm for the fundamental problem of reconstructing surfaces from a large set of unorganized 3D data points. The local shapes of the surface ar...