26602 search results - page 5156 / 5321 » A New Imaging Model |
224
click to vote
CORR
2012
Springer
14 years 2 months ago
2012
Springer
All previous work on “candidate-control” manipulation of elections has been in the model of full-information, simultaneous voting. This is a problem, since in quite a few real...
225
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
230
Voted
SIGIR
2012
ACM
13 years 9 months ago
2012
ACM
Users increasingly rely on their mobile devices to search local entities, typically businesses, while on the go. Even though recent work has recognized that the ranking signals in...
365
click to vote
SIGIR
2012
ACM
13 years 9 months ago
2012
ACM
People are seldom aware that their search queries frequently mismatch a majority of the relevant documents. This may not be a big problem for topics with a large and diverse set o...
352
Voted
STOC
2012
ACM
13 years 9 months ago
2012
ACM
In this paper we develop a new technique for proving lower bounds on the update time and query time of dynamic data structures in the cell probe model. With this technique, we pro...