1089 search results - page 203 / 218 » Bounds on generalized Frobenius numbers |
173
click to vote
PLDI
2009
ACM
16 years 26 days ago
2009
ACM
We show that recursive programs where variables range over finite domains can be effectively and efficiently analyzed by describing the analysis algorithm using a formula in a ...
155
click to vote
CCS
2009
ACM
16 years 26 days ago
2009
ACM
Binary attestation, as proposed by the Trusted Computing Group (TCG), is a pragmatic approach for software integrity protection and verification. However, it has also various sho...
189
click to vote
GIS
2009
ACM
16 years 26 days ago
2009
ACM
In this paper, we formalize the novel concept of Constrained Reverse k-Nearest Neighbor (CRkNN) search on mobile objects (clients) performed at a central server. The CRkNN query c...
160
click to vote
ICALP
2009
Springer
16 years 26 days ago
2009
Springer
We study the problem of matching applicants to jobs under one-sided preferences; that is, each applicant ranks a non-empty subset of jobs under an order of preference, possibly inv...
156
click to vote
WINE
2009
Springer
16 years 19 days ago
2009
Springer
Recent results regarding games with congestion-averse utilities (or, congestion-averse games—CAGs) have shown they possess some very desirable properties. Specifically, they hav...