3228 search results - page 464 / 646 » Computationally Sound Proofs |
127
Voted
ICML
2007
IEEE
16 years 4 months ago
2007
IEEE
A cost-sensitive extension of boosting, denoted as asymmetric boosting, is presented. Unlike previous proposals, the new algorithm is derived from sound decision-theoretic princip...
144
click to vote
EUROCRYPT
2009
Springer
16 years 4 months ago
2009
Springer
The fair evaluation and comparison of side-channel attacks and countermeasures has been a long standing open question, limiting further developments in the field. Motivated by this...
144
Voted
CAV
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...
178
click to vote
KDD
2007
ACM
16 years 3 months ago
2007
ACM
Existing data-stream clustering algorithms such as CluStream are based on k-means. These clustering algorithms are incompetent to find clusters of arbitrary shapes and cannot hand...
113
Voted
KDD
2004
ACM
16 years 3 months ago
2004
ACM
In the domain of gene expression data analysis, various researchers have recently emphasized the promising application of pattern discovery techniques like association rule mining...