Sciweavers

10891 search results - page 1805 / 2179
» Combining Model Reductions
Sort
View
135
Voted
ICML
2004
IEEE
16 years 4 months ago
Robust feature induction for support vector machines
The goal of feature induction is to automatically create nonlinear combinations of existing features as additional input features to improve classification accuracy. Typically, no...
Rong Jin, Huan Liu
ICSE
2008
IEEE-ACM
16 years 4 months ago
Calysto: scalable and precise extended static checking
Automatically detecting bugs in programs has been a long-held goal in software engineering. Many techniques exist, trading-off varying levels of automation, thoroughness of covera...
Domagoj Babic, Alan J. Hu
115
Voted
SIGSOFT
2009
ACM
16 years 4 months ago
Static data race detection for concurrent programs with asynchronous calls
A large number of industrial concurrent programs are being designed based on a model which combines threads with event-based communication. These programs consist of several threa...
Vineet Kahlon, Nishant Sinha, Erik Kruus, Yun Zhan...
SIGSOFT
2001
ACM
16 years 4 months ago
An empirical study on the utility of formal routines to transfer knowledge and experience
Most quality and software process improvement frameworks emphasize written (i.e. formal) documentation to convey recommended work practices. However, there is considerable skeptic...
Reidar Conradi, Tore Dybå
ISBI
2004
IEEE
16 years 4 months ago
Covariance of Kinetic Parameter Estimators Based on Time Activity Curve Reconstructions: Preliminary Study on 1D Dynamic Imaging
We provide approximate expressions for the covariance matrix of kinetic parameter estimators based on time activity curve (TAC) reconstructions when TACs are modeled as a linear c...
Sangtae Ahn, Jeffrey A. Fessler, Thomas E. Nichols...
« Prev « First page 1805 / 2179 Last » Next »