4167 search results - page 71 / 834 » Regression model checking |
STTT
2010
13 years 3 months 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-...
QEST
2010
IEEE
13 years 6 months ago
2010
IEEE
IJCNN
2006
IEEE
14 years 3 months 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...
CSDA
2007
13 years 9 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. ...
JMLR
2010
13 years 3 months 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...