13383 search results - page 2602 / 2677 » Abstractions from proofs |
BMCBI
2008
13 years 10 months ago
2008
Background: Relationships between entities such as genes, chemicals, metabolites, phenotypes and diseases in MEDLINE are often directional. That is, one may affect the other in a ...
BMCBI
2008
13 years 10 months ago
2008
Background: Data clustering is a powerful technique for identifying data with similar characteristics, such as genes with similar expression patterns. However, not all implementat...
COGSCI
2010
13 years 10 months ago
2010
A multi-modal person representation contains information about what a person looks like and what a person sounds like. However, little is known about how children form these face-...
CGA
2008
13 years 10 months ago
2008
ion and abstraction. By the end of the 20th century, technology had advanced to the point where computerized methods had revolutionized surveying and mapmaking practices. Now, the ...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. CG, SYMMLQ, and MINRES are Krylov subspace methods for solving large symmetric systems of linear equations. CG (the conjugate-gradient method) is reliable on positive-def...