Search ACM DL

Search Issue

enter search term and/or author name

**A general approach to connected-component labeling for arbitrary image representations**

Michael B. Dillencourt, Hanan Samet, Markku Tamminen

Pages: 253-280

DOI: 10.1145/128749.128750

**An analysis of the longest match and the greedy heuristics in text encoding**

Jyrki Katajainen, Timo Raita

Pages: 281-294

DOI: 10.1145/128749.128751

**Nonlinear pattern matching in trees**

R. Ramesh, I. V. Ramakrishnan

Pages: 295-316

DOI: 10.1145/128749.128752

**The generation of binary trees as a numerical problem**

Renzo Sprugnoli

Pages: 317-327

DOI: 10.1145/128749.128753

**What can machines know?**: On the properties of knowledge in distributed systems

Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi

Pages: 328-376

DOI: 10.1145/128749.150945

**Theorem proving using equational matings and rigid E-unification**

Jean Gallier, Paliath Narendran, Stan Raatz, Wayne Snyder

Pages: 377-430

DOI: 10.1145/128749.128754

**A Four Russians algorithm for regular expression pattern matching**

Gene Myers

Pages: 432-448

DOI: 10.1145/128749.128755