Parallel Algorithms and Architectures for Very Fast AI Search

Page 309

291 [15] C. A. Brown and P. W. Purdom. An Average Time Analysis of Backtracking. SIAM J. Comput., 10(3):583- 593, Aug. 1981. [16] C. A. Brown and P. W. Purdom. An Empirical Comparison of Backtrack­ing Algorithms. IEEE Trans. on Pattern Analysis and Machine Intelligence, PAMI-4(3):309- 316, May 1982. [17] B. Bruderlin. Constructing Three Dimensional Geometric Objects Defined by Constraints. In Proceedings of 1986 AGM SIGGRAPH Workshop in In­teractive Graphics, 1986. [18] A. Bundy, editor. Catalogue of Artificial Intelligence Tools. Springer-Verlag, Berlin, 1984. [19] I. Chakravarty. A Generalized Line and Junction Labelling Scheme with Ap­plications to Scene Analysis. IEEE Trans. on Pattern Analysis and Machine Intelligence, PAMI-1 (2):202-205, Apr. 1979. [20] E. Charniak and D. McDermott. Introduction to Artificial Intelligence. Addison-Wesley, Reading, 1985. [21] B. Chazelle and L. Monier. A Model of Computation for VLSI with Related Complexity Results. Technical Report, Dept. of Computer Science, Carnegie­Mellon University, Feb. 1981. [22] B. Chazelle and L. Monier. Towards More Realistic Models of Computation for VLSI. In Proc. of 11th Annual ACM Symposium of Theory of Computing, pages 209-213, ACM Press, Apr. 1979. [23] W. F. Clocksin and C. S. Mellish. Programming in Prolog {2nd Edition). Springer-Verlag, Berlin, 1984. [24] R. P. Colwell, C. Y. Hitchcock III, E. D. Jensen, H. M. B. Sprunt, and C. P. Kollar. Computers, Complexity, and Controversy. IEEE Computer, 18(9):8- 19, Sept. 1985. [25] S.A. Cook. The complexity of theorem-proving procedures. In Proceedings of the Third ACM Symposium on Theory of Computing, pages 151-158, 1971. [26] P. R. Cooper and M. J. Swain. Parallelism and Domain Dependence in Con­straint Satisfaction. Technical Report TR 255, Dept. of Computer Science, Univ. of Rochester, Dec. 1988. [27] L. S. Davis. Shape Matching Using Relaxation Techniques. IEEE Trans. on Pattern Analysis and Machine Intelligence, PAMI-1(1):60-72, Jan. 1979. [28] L. S. Davis and T. C. Henderson. Hierarchical Constraint Processes for Shape Analysis. IEEE Trans. on Pattern Analysis and Machine Intelligence, PAMI- 3(3) :265-277, May 1981. [29] J. C. Huck and M. J. Flynn. Analyzing Computer Architectures. IEEE Com­puter Society Press, Washington, 1989. [30] J. J. Hack. Peak vs. Sustained Performance in Highly Concurrent Vector Machines. IEEE Computer, 19(9):11-19, Sept. 1986.