6941 search results - page 633 / 1389 » Testing as a Certification Approach |
164
click to vote
IJAR
2011
14 years 10 months ago
2011
In this paper we present a family of measures aimed at determining the amount of inconsistency in probabilistic knowledge bases. Our approach to measuring inconsistency is graded ...
236
click to vote
ICCV
2011
IEEE
14 years 7 months ago
2011
IEEE
This paper proposes a very general max-margin learning framework for distance-based clustering. To this end, it formulates clustering as a high order energy minimization problem w...
215
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Data races are among the most reliable indicators of programming errors in concurrent software. For at least two decades, Lamport’s happens-before (HB) relation has served as th...
262
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
Abstract—In this paper, we investigate the problem of controlling node sleep intervals so as to achieve the min-max energy fairness in asynchronous duty-cycling sensor networks. ...
206
click to vote
ICCAD
2002
IEEE
16 years 4 months ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...