1116 search results - page 186 / 224 » Applying Predicate Abstraction to Abstract State Machines |
COLT
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We consider the problem of estimating an unknown probability distribution from samples using the principle of maximum entropy (maxent). To alleviate overfitting with a v...
EVOW
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. In this paper we analyze two proteomic pattern datasets containing measurements from ovarian and prostate cancer samples. In particular, a linear and a quadratic support ...
GECCO
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. The performance of classification algorithms in machine learning is affected by the features used to describe the labeled examples presented to the inducers. Therefore,...
MCS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Oza’s Online Boosting algorithm provides a version of AdaBoost which can be trained in an online way for stationary problems. One perspective is that this enables the p...
112
Voted
ACAL
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. We explore a new definition of creativity -- one which emphasizes the statistical capacity of a system to generate previously unseen patterns -- and discuss motivations f...