4966 search results - page 579 / 994 » its 2010 |
205
click to vote
PERCOM
2010
ACM
15 years 11 months ago
2010
ACM
—This paper studies economic models of user participation incentive in participatory sensing applications. User participation is the most important element in participatory sensi...
251
click to vote
PODC
2010
ACM
15 years 11 months ago
2010
ACM
An edge dominating set for a graph G is a set D of edges such that each edge of G is in D or adjacent to at least one edge in D. This work studies deterministic distributed approx...
162
click to vote
PODC
2010
ACM
15 years 11 months ago
2010
ACM
We present a proof of safety and linearizability of a highlyconcurrent optimistic set algorithm. The key step in our proof is the Hindsight Lemma, which allows a thread to infer t...
204
click to vote
RTA
2010
Springer
15 years 11 months ago
2010
Springer
Infinitary Term Rewriting allows to express infinitary terms and infinitary reductions that converge to them. As their notion of transfinite reduction in general, and as binary...
179
click to vote
SIGIR
2010
ACM
15 years 11 months ago
2010
ACM
This paper presents a new way of thinking for IR metric optimization. It is argued that the optimal ranking problem should be factorized into two distinct yet interrelated stages:...