184 search results - page 12 / 37 » Fairness in Wallets with Observer |
NFM
2011
13 years 5 months ago
2011
Program verifiers based on first-order theorem provers model the program heap as a collection of mutable maps. In such verifiers, preserving unmodified facts about the heap acr...
TSP
2010
13 years 4 months ago
2010
We consider the problem of recursively and causally reconstructing time sequences of sparse signals (with unknown and time-varying sparsity patterns) from a limited number of noisy...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
In this paper, we propose a content-aware congestion control for multimedia streaming over TCP/IP networks. Unlike existing congestion control schemes over the Internet that adapt...
ICCV
2011
IEEE
12 years 10 months ago
2011
IEEE
Template-based object detectors such as the deformable parts model of Felzenszwalb et al. [11] achieve state-ofthe-art performance for a variety of object categories, but are stil...
ICNP
1997
IEEE
14 years 2 months ago
1997
IEEE
The e cient support of data tra c over ATM networks requires congestion control, whose objectives include maximizing throughput, minimizing switch bu er requirement, and attaining...