4167 search results - page 71 / 834 » Regression model checking |
178
click to vote
STTT
2010
15 years 27 days ago
2010
Abstract. We report here on an experimental investigation of LTL satisfiability checking via a reduction to model checking. By using large LTL formulas, we offer challenging model-...
166
click to vote
IJCNN
2006
IEEE
16 years 6 days ago
2006
IEEE
— We consider the regression problem for financial time series. Typically, financial time series are non-stationary and volatile in nature. Because of its good generalization p...
145
click to vote
CSDA
2007
15 years 6 months ago
2007
We develop regression diagnostics for functional regression models which relate a functional response to predictor variables that can be multivariate vectors or random functions. ...
198
click to vote
JMLR
2010
15 years 29 days ago
2010
We address an approximation method for Gaussian process (GP) regression, where we approximate covariance by a block matrix such that diagonal blocks are calculated exactly while o...