Using rewriting rules for connection graphs to prove theorems
- C.L. Chang
- J.R. Slagle
- 1979
- Artificial Intelligence
Publications
8001 results for AI
The psychological study of design
- John C. Thomas
- John M. Carroll
- 1979
- Design Studies
A class of robust edge detectors based on latin squares
- Ivan Kadar
- Ludwik Kurz
- 1979
- Pattern Recognition
Path Calculus in Program Verification
- Daniel Brand
- 1978
- Journal of the ACM
Some Matching Problems for Bipartite Graphs
- Steven L. Tanimoto
- Alon Itai
- et al.
- 1978
- Journal of the ACM
On the Average Number of Maxima in a Set of Vectors and Applications
- J.L. Bentley
- H.T. Kung
- et al.
- 1978
- Journal of the ACM
Regenerative Simulation of Response Times in Networks of Queues
- Donald L. Iglehart
- Gerald S. Shedler
- 1978
- Journal of the ACM
Dynamic Placement of Records in Linear Storage
- A.C. McKellar
- C.K. Wong
- 1978
- Journal of the ACM
A Time-Space Trade-Off
- Nicholas Pippenger
- 1978
- Journal of the ACM
Big Buckets Are (Are Not) Better!
- Ian F. Blake
- Alan G. Konheim
- 1977
- Journal of the ACM