1074 search results - page 205 / 215 » An ASM-Characterization of a Class of Distributed Algorithms |
97
Voted
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input i...
103
click to vote
CMIG
2011
14 years 1 months ago
2011
In this paper, a method is described to automatically estimate the visible body region of a computed tomography (CT) volume image. In order to quantify the body region, a body coo...
110
click to vote
ATAL
2011
Springer
13 years 9 months ago
2011
Springer
Researchers in the field of multiagent sequential decision making have commonly used the terms “weakly-coupled” and “loosely-coupled” to qualitatively classify problems i...
CRYPTO
2011
Springer
13 years 9 months ago
2011
Springer
Deterministic public-key encryption, introduced by Bellare, Boldyreva, and O’Neill (CRYPTO ’07), provides an alternative to randomized public-key encryption in various scenari...
131
click to vote
SIGMOD
2012
ACM
13 years 2 days ago
2012
ACM
While extensive work has been done on evaluating queries over tuple-independent probabilistic databases, query evaluation over correlated data has received much less attention eve...