204 search results - page 17 / 41 » Parameterizations of Test Cover with Bounded Test Sizes |
TCAD
2008
14 years 10 months ago
2008
We present an efficient optimization scheme for gate sizing in the presence of process variations. Our method is a worst-case design scheme, but it reduces the pessimism involved i...
85
Voted
NIPS
2004
15 years 18 hour ago
2004
The area under the ROC curve (AUC) has been advocated as an evaluation criterion for the bipartite ranking problem. We study large deviation properties of the AUC; in particular, ...
ICIAR
2005
Springer
15 years 4 months ago
2005
Springer
Digital images are increasingly being used as steganographic covers for secret communication. The Least Significant Bit (LSB) encoding is one of the most widely used methods for e...
107
click to vote
IANDC
2006
14 years 10 months ago
2006
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...
174
click to vote
AMW
2011
14 years 2 months ago
2011
Abstract. We consider the problem of checking equivalence of conjunctive queries with inequalities under bag (multiset) semantics. The problem is known to be decidable in pspace an...