651 search results - page 87 / 131 » Index Sets and Universal Numberings |
ICML
2000
IEEE
14 years 1 months ago
2000
IEEE
In this paper, we describe our research in computer-aided image analysis. We have incorporated machine learning methodologies with traditional image processing to perform unsuperv...
KBSE
1997
IEEE
14 years 1 months ago
1997
IEEE
Deduction-based software component retrieval uses preand postconditions as indexes and search keys and an automated theorem prover (ATP) to check whether a component matches. This...
ICPR
2010
IEEE
14 years 25 days ago
2010
IEEE
—Automatic illicit drug pill matching and retrieval is becoming an important problem due to an increase in the number of tablet type illicit drugs being circulated in our society...
GOSLER
1995
14 years 19 days ago
1995
The present paper deals with the learnability of indexed families of uniformly recursive languages from positive data as well as from both, positive and negative data. We consider...
CSE
2009
IEEE
14 years 14 days ago
2009
IEEE
Sparse Matrix-Vector multiplication (SpMV) is a very challenging computational kernel, since its performance depends greatly on both the input matrix and the underlying architectur...