94 search results - page 1 / 19 » Variable Additive Preconditioning Procedures |
COMPUTING
1999
13 years 4 months ago
1999
PLDI
2009
ACM
13 years 11 months ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
JMLR
2008
13 years 5 months ago
2008
Pointwise consistent, feasible procedures for estimating contemporaneous linear causal structure from time series data have been developed using multiple conditional independence ...
IDA
2003
Springer
13 years 10 months ago
2003
Springer
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...
ESEM
2009
ACM
13 years 11 months ago
2009
ACM
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...