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
8045 results for AI
An examination of the geometry theorem machine
- P.C. Gilmore
- 1970
- Artificial Intelligence
A method for the structural analysis of two-dimensional mathematical expressions
- Shi-Kuo Chang
- 1970
- Information Sciences
Heuristic search viewed as path finding in a graph
- Ira Pohl
- 1970
- Artificial Intelligence
File Organization: On the Selection of Random Access Index Points for Sequential Files
- S.P. Ghosh
- M.E. Senko
- 1969
- Journal of the ACM
Organization of records with unequal multiple-valued attributes and combinatorial queries of order 2
- S.P. Ghosh
- 1969
- Information Sciences
Properties of infinite covariance matrices and stability of optimum predictors
- J. Rissanen
- L. Barbosa
- 1969
- Information Sciences
"tapeless" bounded action machines
- Eric G. Wagner
- 1968
- SWAT 1968
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