5336 search results - page 782 / 1068 » Steerable part models |
155
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
Linear arithmetic decision procedures form an important part of theorem provers for program verification. In most verification benchmarks, the linear arithmetic constraints are dom...
193
click to vote
STOC
2007
ACM
16 years 7 months ago
2007
ACM
One of the main reasons of the recent success of peer to peer (P2P) file sharing systems such as BitTorrent is its built-in tit-for-tat mechanism. In this paper, we model the band...
172
click to vote
OSDI
2002
ACM
16 years 7 months ago
2002
ACM
Client request rates for Internet services tend to be bursty and thus it is important to maintain efficient resource utilization under a wide range of load conditions. Network ser...
265
click to vote
VLDB
2007
ACM
16 years 7 months ago
2007
ACM
In distributed stream processing environments, large numbers of continuous queries are distributed onto multiple servers. When one or more of these servers become overloaded due t...
168
click to vote
SIGMOD
2004
ACM
16 years 7 months ago
2004
ACM
Current day database applications, with large numbers of users, require fine-grained access control mechanisms, at the level of individual tuples, not just entire relations/views,...