4421 search results - page 133 / 885 » Libraries |
132
click to vote
CGO
2004
IEEE
15 years 5 months ago
2004
IEEE
Empirical search is a strategy used during the installation of library generators such as ATLAS, FFTW, and SPIRAL to identify the algorithm or the version of an algorithm that del...
132
Voted
EFDBS
2000
15 years 2 months ago
2000
Today, bibliographical information is kept in a variety of data sources world wide, some of them publically available, and some of them also offering information about citations m...
ICMAS
1998
15 years 2 months ago
1998
The University of Michigan Digital Library (UMDL) is an open system that allows third-parties to build and integrate their own profit-seeking agents into the marketplace of inform...
132
click to vote
APLAS
2010
ACM
15 years 1 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
102
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: Tag-based techniques, such as SAGE, are commonly used to sample the mRNA pool of an organism's transcriptome. Incomplete digestion during the tag formation proces...