3820 search results - page 323 / 764 » Bounded Model Debugging |
133
click to vote
ICDE
1998
IEEE
15 years 8 months ago
1998
IEEE
Consider a database that represents the location of moving objects, such as taxi-cabs (typical query: retrieve the cabs that are currently within 1 mile of 33 Michigan Ave., Chica...
125
click to vote
CONCUR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. For many cryptographic protocols, security relies on the assumption that adversarial entities have limited computational power. This type of security degrades progressive...
154
click to vote
NIPS
2003
15 years 5 months ago
2003
Label ranking is the task of inferring a total order over a predefined set of labels for each given instance. We present a general framework for batch learning of label ranking f...
164
click to vote
JMLR
2006
15 years 4 months ago
2006
We consider an optimization problem in probabilistic inference: Given n hypotheses Hj, m possible observations Ok, their conditional probabilities pk j, and a particular Ok, selec...
120
click to vote
TIT
2002
15 years 4 months ago
2002
-- We characterize the best achievable performance of lossy compression algorithms operating on arbitrary random sources, and with respect to general distortion measures. Direct an...