Symbolic Generation of an Optimal Crout Algorithm for Sparse Systems of Linear Equations
- F.G. Gustavson
- W. Liniger
- et al.
- 1970
- Journal of the ACM
Paper
Publications
8716 results for AI
Heuristic search viewed as path finding in a graph
- Ira Pohl
- 1970
- Artificial Intelligence
PaperAn examination of the geometry theorem machine
- P.C. Gilmore
- 1970
- Artificial Intelligence
PaperThe lambda-gamma calculus: A language adequate for defining recursive functions
- P.C. Gilmore
- 1970
- Information Sciences
PaperCommunications: Computer-Assisted Fingerprint Encoding and Classification
- C.N. Liu
- G.L. Shelton
- 1970
- IEEE Trans. Human Mach. Syst.
PaperFile Organization: On the Selection of Random Access Index Points for Sequential Files
- S.P. Ghosh
- M.E. Senko
- 1969
- Journal of the ACM
PaperProperties of infinite covariance matrices and stability of optimum predictors
- J. Rissanen
- L. Barbosa
- 1969
- Information Sciences
PaperOrganization of records with unequal multiple-valued attributes and combinatorial queries of order 2
- S.P. Ghosh
- 1969
- Information Sciences
PaperOn the hartmanis-stearns problem for a class of tag machines
- Alan Cobham
- 1968
- SWAT 1968
Conference paperThe uniform halting problem for generalized one state turing machines
- Gabor T. Herman
- 1968
- SWAT 1968
Conference paper