Sciweavers

4167 search results - page 48 / 834
» Regression model checking
Sort
View
HICSS
2006
IEEE
97views Biometrics» more  HICSS 2006»
15 years 3 months ago
Dynamically Optimizing Parameters in Support Vector Regression: An Application of Electricity Load Forecasting
This study develops a novel model, GA-SVR, for parameters optimization in support vector regression and implements this new model in a problem forecasting maximum electrical daily...
Chin-Chia Hsu, Chih-Hung Wu, Shih-Chien Chen, Kang...
CSDA
2006
304views more  CSDA 2006»
14 years 9 months ago
Using principal components for estimating logistic regression with high-dimensional multicollinear data
The logistic regression model is used to predict a binary response variable in terms of a set of explicative ones. The estimation of the model parameters is not too accurate and t...
Ana M. Aguilera, Manuel Escabias, Mariano J. Valde...
SIGSOFT
2003
ACM
15 years 10 months ago
Bogor: an extensible and highly-modular software model checking framework
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
Robby, Matthew B. Dwyer, John Hatcliff
RISE
2004
Springer
15 years 3 months ago
A Symbolic Model Checker for tccp Programs
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
María Alpuente, Moreno Falaschi, Alicia Vil...
CSDA
2010
111views more  CSDA 2010»
14 years 10 months ago
Mixtures of regressions with predictor-dependent mixing proportions
We extend the standard mixture of linear regressions model by allowing mixing proportions to be modeled nonparametrically as a function of the predictors. This framework allows fo...
D. S. Young, D. R. Hunter