15614 search results - page 2875 / 3123 » The State of State |
166
click to vote
DAS
2010
Springer
16 years 2 days ago
2010
Springer
Optical scan voting is considered by many to be the most trustworthy option for conducting elections because it provides an independently verifiable record of each voter’s inte...
235
click to vote
FUN
2010
Springer
16 years 2 days ago
2010
Springer
Abstract. We analyze the computational complexity of various twodimensional platform games. We identify common properties of these games that allow us to state several meta-theorem...
186
click to vote
ICALP
2010
Springer
16 years 2 days ago
2010
Springer
We settle the question of tight thresholds for offline cuckoo hashing. The problem can be stated as follows: we have n keys to be hashed into m buckets each capable of holding a s...
184
click to vote
ICALP
2010
Springer
16 years 2 days ago
2010
Springer
We propose a new approach to the notion of recognition, which departs from the classical definitions by three specific features. First, it does not rely on automata. Secondly, it...
224
click to vote
MPC
2010
Springer
16 years 1 days ago
2010
Springer
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...