557 search results - page 41 / 112 » The L4.verified Project - Next Steps |
ICB
2009
Springer
14 years 3 months ago
2009
Springer
Linear discriminant analysis (LDA) is a popular method in pattern recognition and is equivalent to Bayesian method when the sample distributions of different classes are obey to t...
ICDE
2006
IEEE
14 years 3 months ago
2006
IEEE
We survey three examples of large-scale scientific workflows that we are working with at Cornell: the Arecibo sky survey, the CLEO high-energy particle physics experiment, and t...
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
More than ¾ of large software projects suffer large cost and schedule overruns or fail outright. Deficits in project requirements cause more than half of these failures and overr...
MICCAI
2001
Springer
14 years 1 months ago
2001
Springer
This paper describes a new method of combining ray casting with segmented tubular objects, such as blood vessels, for purposes of clinically useful display. The method first projec...
WWW
2006
ACM
14 years 9 months ago
2006
ACM
By supplying different versions of a web page to search engines and to browsers, a content provider attempts to cloak the real content from the view of the search engine. Semantic...