12257 search results - page 2190 / 2452 » Analysis of Algorithms |
122
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
In systems of autonomous self-interested agents, in which agents' neighbourhoods are defined by their connections to others, cooperation can arise through observation of the ...
101
click to vote
CRYPTO
2010
Springer
15 years 5 months ago
2010
Springer
We reinvestigate the oblivious RAM concept introduced by Goldreich and Ostrovsky, which enables a client, that can store locally only a constant amount of data, to store remotely ...
151
click to vote
CIIA
2009
15 years 5 months ago
2009
Abstract. Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking and equivalence checking) or deduct...
121
click to vote
DEXA
2010
Springer
15 years 5 months ago
2010
Springer
Significant research efforts have recently been dedicated to modeling and querying uncertain data. In this paper, we focus on skyline analysis of uncertain data, modeled as uncert...
164
click to vote
CIMAGING
2009
15 years 5 months ago
2009
We present a new method for multi-object segmentation in a maximum a posteriori estimation framework. Our method is motivated by the observation that neighboring or coupling objec...