835 search results - page 10 / 167 » Characterizing rosy theories |
AAAI
1996
15 years 1 months ago
1996
This paper investigates the foundation of rnaxipnin, one of the central qualitative decision criteria, using the approach taken by Savage (Savage 1972) to investigate the foundati...
IROS
2006
IEEE
15 years 5 months ago
2006
IEEE
— This paper deals with the design of a micro-force sensing device for biomechanical characterization of biological samples. This device combines (SPM) techniques and advanced ro...
107
click to vote
SIGECOM
2008
ACM
14 years 11 months ago
2008
ACM
We characterize truthful mechanisms in two multi-parameter domains. The first characterization shows that every mechanism for combinatorial auctions with two subadditive bidders t...
CCS
2008
ACM
15 years 1 months ago
2008
ACM
We present a new verification algorithm for security protocols that allows for unbounded verification, falsification, and complete characterization. The algorithm provides a numbe...
JMLR
2010
14 years 6 months ago
2010
As we devise more complicated prior distributions, will inference algorithms keep up? We highlight a negative result in computable probability theory by Ackerman, Freer, and Roy (...