Sciweavers

2403 search results - page 190 / 481
» Using the WinWin Spiral Model: A Case Study
Sort
View
MA
2010
Springer
172views Communications» more  MA 2010»
15 years 4 months ago
On Monte Carlo methods for Bayesian multivariate regression models with heavy-tailed errors
We consider Bayesian analysis of data from multivariate linear regression models whose errors have a distribution that is a scale mixture of normals. Such models are used to analy...
Vivekananda Roy, James P. Hobert
SAT
2007
Springer
181views Hardware» more  SAT 2007»
16 years 17 days ago
Breaking Symmetries in SAT Matrix Models
Abstract. Symmetry occurs naturally in many computational problems. The use of symmetry breaking techniques for solving search problems reduces the search space and therefore is ex...
Inês Lynce, João P. Marques Silva
ENVSOFT
2007
91views more  ENVSOFT 2007»
15 years 6 months ago
Integrated assessment modelling for water resource allocation and management: A generalised conceptual framework
Nodal network approaches are a common framework for considering water allocation in river basins. In this type of model framework, a river basin is represented as a series of node...
Rebecca A. Letcher, Barry F. W. Croke, Anthony J. ...
EMSOFT
2008
Springer
15 years 8 months ago
Randomized directed testing (REDIRECT) for Simulink/Stateflow models
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
Manoranjan Satpathy, Anand Yeolekar, S. Ramesh
ADAPTIVE
2007
Springer
16 years 20 days ago
Adaptive Information for Consumers of Healthcare
This chapter discusses the application of some of the technologies of the adaptive web to the problem of providing information for healthcare consumers. The particular issues relat...
Alison Cawsey, Floriana Grasso, Cécile Pari...