143 search results - page 15 / 29 » A Fast Incremental Hypervolume Algorithm |
100
click to vote
CAV
2004
Springer
15 years 7 months ago
2004
Springer
The logic of equality with uninterpreted functions (EUF) and its extensions have been widely applied to processor verification, by means of a large variety of progressively more s...
128
Voted
ICDM
2009
IEEE
15 years 9 months ago
2009
IEEE
—A fast online algorithm OnlineSVMR for training Ramp-Loss Support Vector Machines (SVMR s) is proposed. It finds the optimal SVMR for t+1 training examples using SVMR built on t...
114
click to vote
JMLR
2006
15 years 2 months ago
2006
Spam filtering poses a special problem in text categorization, of which the defining characteristic is that filters face an active adversary, which constantly attempts to evade fi...
122
Voted
WWW
2007
ACM
16 years 3 months ago
2007
ACM
Given a large online network of online auction users and their histories of transactions, how can we spot anomalies and auction fraud? This paper describes the design and implemen...
112
click to vote
AAAI
1998
15 years 3 months ago
1998
Probabilistic models have recently been utilized for the optimization of large combinatorial search problems. However, complex probabilistic models that attempt to capture interpa...