Sciweavers

4167 search results - page 48 / 834
» Regression model checking
Sort
View
HICSS
2006
IEEE
97views Biometrics» more  HICSS 2006»
14 years 2 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»
13 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
14 years 9 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
14 years 2 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»
13 years 9 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