11345 search results - page 1678 / 2269 » Foundations of Computer Science |
138
click to vote
ICALP
2007
Springer
16 years 18 days ago
2007
Springer
We introduce stochastic priority games — a new class of perfect information stochastic games. These games can take two different, but equivalent, forms. In stopping priority ga...
149
click to vote
ICALP
2007
Springer
16 years 18 days ago
2007
Springer
We consider several private database query problems. The starting point of this work is the element rank problem: the server holds a database of n integers, and the user an integer...
190
click to vote
ICALP
2007
Springer
16 years 18 days ago
2007
Springer
Ring signatures, introduced by Rivest, Shamir and Tauman, enable a user to sign a message anonymously on behalf of a “ring”. A ring is a group of users, which includes the sign...
142
click to vote
ICALP
2007
Springer
16 years 18 days ago
2007
Springer
We present a streaming algorithm for constructing sparse spanners and show that our algorithm out-performs significantly the state-of-the-art algorithm for this task [20]. Speci...
137
click to vote
ICALP
2007
Springer
16 years 18 days ago
2007
Springer
Exploring a graph through search is one of the most basic building blocks of various applications. In a setting with a huge state space, such as in testing and verification, optim...