4167 search results - page 286 / 834 » Regression model checking |
166
Voted
ICSE
1999
IEEE-ACM
15 years 8 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
134
click to vote
ICML
2007
IEEE
16 years 5 months ago
2007
IEEE
We address classification problems for which the training instances are governed by a distribution that is allowed to differ arbitrarily from the test distribution--problems also ...
117
Voted
ICDM
2005
IEEE
15 years 10 months ago
2005
IEEE
Monotonicity is a simple yet significant qualitative characteristic. We consider the problem of segmenting an array in up to K segments. We want segments to be as monotonic as po...
137
click to vote
CIS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Multi-layer perceptrons (MLPs) have been widely used in classification and regression task. How to improve the training speed of MLPs has been an interesting field of res...
130
click to vote
ESANN
2000
15 years 5 months ago
2000
Feed-forward neural networks (Multi-Layered Perceptrons) are used widely in real-world regression or classification tasks. A reliable and practical measure of prediction "conf...