Search ACM DL

Search Issue

enter search term and/or author name

**Set Covering by an All Integer Algorithm**: Computational Experience

Ronald D. Koncal, Harvey M. Salkin

Pages: 189-193

DOI: 10.1145/321752.321753

**Benefit-Cost Analysis of Coding Techniques for the Primal Transportation Algorithm**

V. Srinivasan, G. L. Thompson

Pages: 194-213

DOI: 10.1145/321752.321754

**Canonical Precedence Schemes**

James N. Gray, Michael A. Harrison

Pages: 214-234

DOI: 10.1145/321752.321755

**A Formalization of Transition Diagram Systems**

David Bruce Lomet

Pages: 235-257

DOI: 10.1145/321752.321756

**Recent Studies in Automatic Text Analysis and Document Retrieval**

G. Salton

Pages: 258-278

DOI: 10.1145/321752.321757

**Best Least Squares Solutions to Finite Difference Equations Using the Generalized Inverse and Tensor Product Methods**

John F. Dalphin, Victor Lovass-Nagy

Pages: 279-289

DOI: 10.1145/321752.321758

**Optimal Covering Algorithms in Methods of Search for Solving Polynomial Equations**

Armin Friedli

Pages: 290-300

DOI: 10.1145/321752.321759

**A Midpoint Phenomenon**

A. J. Goldstein, P. L. Richman

Pages: 301-304

DOI: 10.1145/321752.321760

**Note on a Lower Bound on the Linear Complexity of the Fast Fourier Transform**

Jacques Morgenstern

Pages: 305-306

DOI: 10.1145/321752.321761

**Optimization of Static Loading and Sizing of Multilevel Memory Systems**

S. R. Arora, A. Gallo

Pages: 307-319

DOI: 10.1145/321752.321762

**Efficient Exercising of Switching Elements in Combinatorial Nets**

Donald L. Richards

Pages: 320-332

DOI: 10.1145/321752.321763

**A Complete Mechanization of Second-Order Type Theory**

Tomasz Pietrzykowski

Pages: 333-364

DOI: 10.1145/321752.321764