9405 search results - page 279 / 1881 » Computing a Model of Set Theory |
149
Voted
ICDCS
1995
IEEE
15 years 8 months ago
1995
IEEE
nt formal speci cations of a new abstraction, weak sets, which can be used to alleviate high latencies when retrieving data from a wide-area information system like the World Wide...
125
click to vote
SIGECOM
2008
ACM
15 years 4 months ago
2008
ACM
Often, we wish to design incentive-compatible algorithms for settings in which the players' private information is drawn from discrete domains (e.g., integer values). Our mai...
116
Voted
IPPS
1996
IEEE
15 years 8 months ago
1996
IEEE
In this paper, we study on the EREW-PRAM model a parallel solution to the extended set union problem with unlimited backtracking which maintains a dynamic partition of an n-elemen...
174
click to vote
PAMI
2010
14 years 11 months ago
2010
In this paper, we propose a particle filtering approach for the problem of registering two point sets that differ by a rigid body transformation. Typically, registration algorithms...
144
click to vote
SC
2005
ACM
15 years 10 months ago
2005
ACM
We present the development and use of a novel distributed geohazard modeling environment for the analysis and interpretation of large scale earthquake data sets. Our work demonstr...