999 search results - page 126 / 200 » On the Decidability of Functional Uncertainty |
KDD
2000
ACM
14 years 14 days ago
2000
ACM
We describe an application of data mining and decision analysis to the problem of die-level functional test in integrated circuit manufacturing. Integrated circuits are fabricated...
TACAS
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. We extend the setting of Satisfiability Modulo Theories (SMT) by introducing a theory of costs C, where it is possible to model and reason about resource consumption and ...
CORR
2011
Springer
13 years 3 months ago
2011
Springer
We examine the combination of two directions in the field of privacy concerning computations over distributed private inputs – secure function evaluation (SFE) and differential...
CVPR
2008
IEEE
14 years 11 months ago
2008
IEEE
Most successful object recognition systems rely on binary classification, deciding only if an object is present or not, but not providing information on the actual object location...
HPCA
2006
IEEE
14 years 9 months ago
2006
IEEE
Hardware counters are a fundamental building block of modern high-performance processors. This paper explores two applications of probabilistic counter updates, in which the outpu...