Synthesizing constraint expressions

Barrow , H.G. , and Tenenbaum , J.M . MSYS: A system for reasoning about scenes. Tech. Note 121, A.I. Ctr., Stanford Research Inst., Menlo Park , Calif. , April 1976 . Barrow, H.G., and Tenenbaum, J.M. MSYS: A system for reasoning about scenes. Tech. Note 121, A.I. Ctr., Stanford Research Inst., Menlo Park, Calif., April 1976.

10.1145/356631.356632

10.1016/0004-3702(71)90005-1

10.1145/800157.805047

10.1016/0004-3702(70)90003-2

Freuder , E.C. Synthesizing constraint expressions , A.I. Memo 370, A.I. Lab., M.I.T. , Cambridge , Mass ., 1976 . Freuder, E.C. Synthesizing constraint expressions, A.I. Memo 370, A.I. Lab., M.I.T., Cambridge, Mass., 1976.

Grossman , R.W. Some data base applications of constraint expressions. TR 158 , Lab. for Computer Science, M.I.T. , Cambridge , Mass ., 1976 . Grossman, R.W. Some data base applications of constraint expressions. TR 158, Lab. for Computer Science, M.I.T., Cambridge, Mass., 1976.

HoIn , B.K.P . Determining lightness from an image . Comptr. Graphics and Image Processing 3 , 4(Dec. 1974), 277 - 299 . HoIn, B.K.P. Determining lightness from an image. Comptr. Graphics and Image Processing 3, 4(Dec. 1974), 277-299.

Huffman , D.A. Impossible objects as nonsense sentences . In Machine Intelligence 6 , B. Meltzer and D. Michie, Eds., Edinburgh U. Press , Edinburgh , 1971 , pp. 295 - 323 . Huffman, D.A. Impossible objects as nonsense sentences. In Machine Intelligence 6, B. Meltzer and D. Michie, Eds., Edinburgh U. Press, Edinburgh, 1971, pp. 295-323.

10.1016/0004-3702(77)90007-8

10.1098/rstb.1971.0078

Marr , D. , and Poggio , T . Cooperative computation of stereo disparity. A.I. Memo 364 , A.I. Lab., M.I.T. , Cambridge , Mass ., 1976 . Marr, D., and Poggio, T. Cooperative computation of stereo disparity. A.I. Memo 364, A.I. Lab., M.I.T., Cambridge, Mass., 1976.

Minsky , M. , and Papert , S . Perceptrons . M.I.T. Press , Cambridge, Mass ., 1968 . Minsky, M., and Papert, S. Perceptrons. M.I.T. Press, Cambridge, Mass., 1968.

10.1016/0020-0255(74)90008-5

10.1109/TSMC.1976.4309519

Sussman , G.J. , and McDermott , D.V. From PLANNER to CONNIVER--a genetic approach . Proc. AFIPS 1972 FJCC , Vol. 41 , AFIPS Press, Montvale, N.J. , pp. 1171 - 1179 . Sussman, G.J., and McDermott, D.V. From PLANNER to CONNIVER--a genetic approach. Proc. AFIPS 1972 FJCC, Vol. 41, AFIPS Press, Montvale, N.J., pp. 1171-1179.

Sussman , G.J. , and Stallman , R.M . Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis. A.I. Memo 380 , A.I. Lab., M.I.T. , Cambridge , Mass ., 1976 . Sussman, G.J., and Stallman, R.M. Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis. A.I. Memo 380, A.I. Lab., M.I.T., Cambridge, Mass., 1976.

Tenenbaum , J.M. , and Barrow , H.G . IGS: A paradigm for integrating image segmentation and interpretation . In Pattern Recognition and Artificial Intelligence, C. H. Chen, Ed., Academic Press , New York , 1976 , pp. 472 - 507 . Tenenbaum, J.M., and Barrow, H.G. IGS: A paradigm for integrating image segmentation and interpretation. In Pattern Recognition and Artificial Intelligence, C. H. Chen, Ed., Academic Press, New York, 1976, pp. 472-507.

10.1016/S0019-9958(66)80017-7

Ullman , J. R. Pattern Recognition Techniques . Crane Russak , New York , 1973 . Ullman, J. R. Pattern Recognition Techniques. Crane Russak, New York, 1973.

10.1145/321921.321925

10.1145/363872.363899

Waltz , D.L. Generating semantic descriptions from drawings of scenes with shadows. AI-TR-271 , A.I. Lab., M.I.T. , Cambridge , Mass ., 1972 . Waltz, D.L. Generating semantic descriptions from drawings of scenes with shadows. AI-TR-271, A.I. Lab., M.I.T., Cambridge, Mass., 1972.

Zucker , S.W. Relaxation labelling, local ambiguity, and low-level vision . In Pattern Recognition and Artificial Intelligence, C. H. Chen, Ed., Academic Press , New York , 1976 , pp. 593 - 616 . Zucker, S.W. Relaxation labelling, local ambiguity, and low-level vision. In Pattern Recognition and Artificial Intelligence, C. H. Chen, Ed., Academic Press, New York, 1976, pp. 593-616.