Sciweavers

Share
96 search results - page 1 / 20
» Variable Additive Preconditioning Procedures
Sort
View
COMPUTING
1999
59views more  COMPUTING 1999»
9 years 11 months ago
Variable Additive Preconditioning Procedures
M. Jung, S. V. Nepomnyaschikh
PLDI
2009
ACM
10 years 6 months ago
Snugglebug: a powerful approach to weakest preconditions
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
Satish Chandra, Stephen J. Fink, Manu Sridharan
JMLR
2008
144views more  JMLR 2008»
9 years 11 months ago
Search for Additive Nonlinear Time Series Causal Models
Pointwise consistent, feasible procedures for estimating contemporaneous linear causal structure from time series data have been developed using multiple conditional independence ...
Tianjiao Chu, Clark Glymour
IDA
2003
Springer
10 years 5 months ago
Regularization Methods for Additive Models
This paper tackles the problem of model complexity in the context of additive models. Several methods have been proposed to estimate smoothing parameters, as well as to perform var...
Marta Avalos, Yves Grandvalet, Christophe Ambroise
ESEM
2009
ACM
10 years 6 months ago
Scope error detection and handling concerning software estimation models
Over the last 25+ years, the software community has been searching for the best models for estimating variables of interest (e.g., cost, defects, and fault proneness). However, li...
Salvatore Alessandro Sarcià, Victor R. Basi...
books