4167 search results - page 16 / 834 » Regression model checking |
KDD
2008
ACM
14 years 9 months ago
2008
ACM
Naive Bayes and logistic regression perform well in different regimes. While the former is a very simple generative model which is efficient to train and performs well empirically...
BCS
2008
13 years 10 months ago
2008
Parity games underlie the model checking problem for the modal
EUROGP
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. In this paper we continue our study on adaptive genetic programming. We use Stepwise Adaptation of Weights (saw) to boost performance of a genetic programming algorithm o...
ENTCS
2007
13 years 8 months ago
2007
Several model-checker based methods to automated test-case generation have been proposed recently. The performance and applicability largely depends on the complexity of the model...
ICANNGA
2009
Springer
14 years 3 months ago
2009
Springer
Many complex, real world phenomena are difficult to study directly using controlled experiments. Instead, the use of computer simulations has become commonplace as a feasible alte...