Journal of the ACM (JACM)


Search Issue
enter search term and/or author name


Journal of the ACM (JACM), Volume 12 Issue 4, Oct. 1965

Morphological Classification in the National Bureau of Standards Mechanical Translation System
Leroy F. Meyers
Pages: 437-472
DOI: 10.1145/321296.321297

Is Automatic Classification a Reasonable Application of Statistical Analysis of Text?
Lauren B. Doyle
Pages: 473-489
DOI: 10.1145/321296.321298

Automatic Subject Recognition in Scientific Papers: An Empirical Study
John O'Connor
Pages: 490-515
DOI: 10.1145/321296.321299

Backtrack Programming
Solomon W. Golomb, Leonard D. Baumert
Pages: 516-524
DOI: 10.1145/321296.321300

An Investigation of Some Computational Aspects of Integer Programming
A. V. Srinivasan
Pages: 525-535
DOI: 10.1145/321296.321301

Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
Lawrence Wos, George A. Robinson, Daniel F. Carson
Pages: 536-541
DOI: 10.1145/321296.321302

On Mappings for Modular Arithmetic, I
T. R. N. Rao, N. Zierler
Pages: 542-544
DOI: 10.1145/321296.321303

On Mappings for Modular Arithmetic, II
S. Berkovits, M. Schlessinger, N. Zierler
Pages: 545-546
DOI: 10.1145/321296.321304

Iterative Procedures for Nonlinear Integral Equations
Donald G. Anderson
Pages: 547-560
DOI: 10.1145/321296.321305

Groups of Automorphisms and Sets of Equivalence Classes of Input for Automata
Bruce Barnes
Pages: 561-565
DOI: 10.1145/321296.321306

On the Automorphism Group of an Automaton
A. C. Fleck
Pages: 566-569
DOI: 10.1145/321296.321307

On Formalisms for Turing Machines
Patrick C. Fischer
Pages: 570-580
DOI: 10.1145/321296.321308

Analysis of Real Time Multiprogramming
Wei Chang, Donald J. Wong
Pages: 581-588
DOI: 10.1145/321296.321309

Segmentation and the Design of Multiprogrammed Computer Systems
Jack B. Dennis
Pages: 589-602
DOI: 10.1145/321296.321310

Updating the Product Form of the Inverse for the Revised Simplex Method
G. B. Dantzig, R. P. Harvey, R. D. McKnight
Page: 603
DOI: 10.1145/321296.321311