557 search results - page 50 / 112 » The L4.verified Project - Next Steps |
CORR
2007
Springer
13 years 7 months ago
2007
Springer
Motivated by applications in grid computing and projects management, we study multiprocessor scheduling in scenarios where there is uncertainty in the successful execution of jobs...
JCIT
2008
13 years 7 months ago
2008
Image recognition using various image classifiers is an active research area. In this paper we will describe a new face recognition method based on PCA (Principal Component Analys...
MCS
2008
Springer
13 years 7 months ago
2008
Springer
In this paper we propose a numerical method for approximating the product of a matrix function with multiple vectors by Krylov subspace methods combined with a QR decomposition of...
JSS
2006
13 years 7 months ago
2006
Estimating software size is a difficult task that requires a methodological approach. Many different methods that exist today use distinct abstractions to depict a software system...
BMCBI
2005
13 years 7 months ago
2005
Background: Assignment of function to new molecular sequence data is an essential step in genomics projects. The usual process involves similarity searches of a given sequence aga...