Sciweavers

4167 search results - page 76 / 834
» Regression model checking
Sort
View
ICST
2010
IEEE
13 years 8 months ago
Timed Moore Automata: Test Data Generation and Model Checking
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
Helge Löding, Jan Peleska
MIC
2003
13 years 11 months ago
Modelling Salt Transport in Baltic Basins
Water quality models combine fluid-flow relations with biological regressions, all on a spatially complex domain. For many applications, a computationally simple lumped paramete...
Magnus Dahl, David I. Wilson
CSDA
2006
169views more  CSDA 2006»
13 years 10 months ago
Generalized structured additive regression based on Bayesian P-splines
Generalized additive models (GAM) for modelling nonlinear effects of continuous covariates are now well established tools for the applied statistician. In this paper we develop Ba...
Andreas Brezger, Stefan Lang
ICCAD
2006
IEEE
152views Hardware» more  ICCAD 2006»
14 years 7 months ago
Performance-oriented statistical parameter reduction of parameterized systems via reduced rank regression
Process variations in modern VLSI technologies are growing in both magnitude and dimensionality. To assess performance variability, complex simulation and performance models param...
Zhuo Feng, Peng Li
ACCV
2010
Springer
13 years 5 months ago
Latent Gaussian Mixture Regression for Human Pose Estimation
Discriminative approaches for human pose estimation model the functional mapping, or conditional distribution, between image features and 3D pose. Learning such multi-modal models ...
Yan Tian, Leonid Sigal, Hernán Badino, Fern...