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
Publications
8306 results for AI
A method for the structural analysis of two-dimensional mathematical expressions
- Shi-Kuo Chang
- 1970
- Information Sciences
Communications: Computer-Assisted Fingerprint Encoding and Classification
- C.N. Liu
- G.L. Shelton
- 1970
- IEEE Trans. Human Mach. Syst.
An examination of the geometry theorem machine
- P.C. Gilmore
- 1970
- Artificial Intelligence
A Note on Ambiguity of Context-Free Languages and Presentations of Semilinear Sets
- Arnold L. Rosenberg
- 1970
- Journal of the ACM
File Organization: On the Selection of Random Access Index Points for Sequential Files
- S.P. Ghosh
- M.E. Senko
- 1969
- Journal of the ACM
Properties of infinite covariance matrices and stability of optimum predictors
- J. Rissanen
- L. Barbosa
- 1969
- Information Sciences
Organization of records with unequal multiple-valued attributes and combinatorial queries of order 2
- S.P. Ghosh
- 1969
- Information Sciences
The uniform halting problem for generalized one state turing machines
- Gabor T. Herman
- 1968
- SWAT 1968
Limited random access turing machines
- Michael J. Fischer
- Arnold L. Rosenberg
- 1968
- SWAT 1968