5995 search results - page 1070 / 1199 » Algorithmic Game Theory |
171
click to vote
ICUIMC
2011
ACM
14 years 7 months ago
2011
ACM
Query localization is an improved extension of on-demand routing protocols for ad hoc networks. It makes use of prior routing histories to localize the query flood to a limited re...
159
click to vote
PLDI
2011
ACM
14 years 6 months ago
2011
ACM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...
141
click to vote
POPL
2011
ACM
14 years 6 months ago
2011
ACM
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...
148
click to vote
ICCV
2011
IEEE
14 years 3 months ago
2011
IEEE
Compressive sampling (CS) aims at acquiring a signal at a sampling rate that is significantly below the Nyquist rate. Its main idea is that a signal can be decoded from incomplet...
107
click to vote
ATAL
2011
Springer
14 years 3 months ago
2011
Springer
We analyze and extend a recently proposed model of linguistic diffusion in social networks, to analytically derive time to convergence, and to account for the innovation phase of...