• Alan Bundy
Part of the Symbolic Computation book series (SYMBOLIC)


The representation of an image quantity (e.g. zero-crossings) over a range (which may in theory vary continuously) of scales at which the image is perceived. The “scale” concerned is generally the width parameter of a Gaussian function with which the image is convolved; thus at small scales the image detail is faithfully represented and at large scales the detail is blurred as the result tends to the image mean.


Simulated Annealing Natural Deduction Sequent Calculus Large Scale Organisation Spatial Frequency Channel 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Witkin, A.P. Scale-space filtering, Proceedings of IJCAI-83, pages 1019–1022. International Joint Conference on Artificial Intelligence, 1983.Google Scholar
  2. Schank, R. and Abelson, R. Scripts, Plans, Goals and Understanding. Lawrence Erlbaum Associates, Hillsdale, New Jersey, 1977.MATHGoogle Scholar
  3. Azmoodeh, M., Lavington, S.H. and Standring, M. The semantic binary relation model of information. Department of Computer Science, University of Essex, 1984.Google Scholar
  4. Azmoodeh M. and Dunnion, J.N. A BRM machine and its interface procedures. Internal Report IFS/4/84, Dept. of Computer Science, University of Manchester, 1984Google Scholar
  5. Gelernter, H. Realisation of a Geometry theorem-proving machine. McGraw-Hill, New York, 1963.Google Scholar
  6. Brownm, J.S. and Burton, R. Multiple representations of knowledge for tutorial reasoning. In D.G. Bobrow and A. Collins, editors, Representation and Understanding, pages 311–349. Academic Press, New York, 1975.Google Scholar
  7. Findler, N.V. (editor). Associative Networks, Academic Press, New York, 1979.MATHGoogle Scholar
  8. Charniak, E. and Wilks, Y. Computational Semantics. North-Holland, Amsterdam and Oxford, 1976.MATHGoogle Scholar
  9. Simons, G.L. Robots in Industry. NCC Publications, 1980.Google Scholar
  10. Nevins, J.L. and Whitney, D.E. Computer controlled assembly. Scientific American, 238(2):62–74, February 1978.CrossRefGoogle Scholar
  11. Dorf, R.C. Modern Control Systems. Addison-Wesley, Reading, Mass. and Wokingham, 1980.Google Scholar
  12. Gallier, J.H. Logic for Computer science: foundations of automatic theorem proving. Harper & Row, New York and London, 1986.MATHGoogle Scholar
  13. Horn, R.K.P. Obtaining shape from shading information. In P.H. Winston, editor, The Psychology of Computer Vision. McGraw-Hill, New York, 1975.Google Scholar
  14. Witkin, A.P. Recovering surface shape and orientation from texture. Artificial Intelligence, 17:17–45, 1981.CrossRefGoogle Scholar
  15. Kirkparick, S., Gelatt, C.D. and Vecchi, M.P. Optimisation by simulated annealing. Science, 220:671–680, 1983MathSciNetCrossRefGoogle Scholar
  16. Nilsson, N.J. Principles of Artificial Intelligence. Tioga Pub. Co., San Mateo, California, 1980.MATHGoogle Scholar
  17. Tsao, Y.F. and Fu, K.S. A parallel thinning algorithm for 3-d pictures. Computer Graphics and Image Processing, 17:315–331, 1981.CrossRefGoogle Scholar
  18. Chang, C. and Lee, R.C. Symbolic Logic and Mechanical Theorem Proving. Academic Press, New York, 1973.MATHGoogle Scholar
  19. Wilson, H.R. and Bergen, J.R. A fourier mechanism model for spatial vision. Vision Research, 19:19–32, 1979.CrossRefGoogle Scholar
  20. Pollock, J.J. Spelling error detection and correction by Computer: some notes and a bibliography. Journal of Documentation, 38:282–291, 1982CrossRefGoogle Scholar
  21. Harper, R., MacQueen, D. and Milner, R. Standard ML. LFCS Report ECS-LFCS-86-2, Department of Computer Science, Edinburgh University, Scotland.Google Scholar
  22. A. Wikström. Functional Programming Using Standard ML. Prentice Hall, Hemel hemstead, 1987.MATHGoogle Scholar
  23. Barr, A. and Feigenbaum, E.A. (editors). The Handbook of Artificial Intelligence, Volume 1. W. Kaufmann, Los Altos, California, 1981.MATHGoogle Scholar
  24. Mayhew, J.E.W. Stereopsis. In Braddick and Sleigh, editors, Physical and Biological Processing of Images, 1983.Google Scholar
  25. Ayache, N. and Faugeras, O.D. Building, registrating and fusing noisy visual maps. International Journal of Robotics Research, 7(6):pp45–65, 1988.CrossRefGoogle Scholar
  26. Pearl, J. Probabilistic Reasoning in Intelligent Systems: networks of plausible inference. Morgan Kaufmann, San Mateo, California, 1988.Google Scholar
  27. Shapiro, A. and Niblett, R.B. Automatic induction of Classification rules for a chess end-game. In Advances in Computer Chess, 3, Pergamon Press, Oxford, 1982.Google Scholar
  28. Popplestone, R.J., Brown, C.M., Ambler, A. P. and Crawford, G. F., Forming models of plane-and-cylinder faceted bodies from light stripes. Proceedings of IJCAI-75, pp 664–668, International Joint Conference on Artificial Intelligence, 1975.Google Scholar
  29. Faugeras, O. D., Lustman, F. and Toscani, G. Motion and structure from motion from point and line matches Proceedings ofthe First International Conference on Computer Vision, pp25–34, 1987.Google Scholar
  30. Nilsson, N.J. Principles of Artificial Intelligence, Tioga Pub. Co., Palo Alto, California, 1980.MATHGoogle Scholar
  31. Stefik, M.J. Planning with constraints (Molgen: part 1) and planning and meta-planning (Molgen: part2). Artificial Intelligence, 16:111–139 and 16:141–169, 1981.CrossRefGoogle Scholar
  32. Sussman, G.J. A Computer model of skill acquisition. Elsevier, New York, 1975.Google Scholar
  33. Barr, A.H. Superquadrics and angle-preserving transformations. IEEE Computer Graphics and Applications, 1:1–20.Google Scholar
  34. Terzopoulos, D. Multilevel computational processes for visual surface reconstruction. Computer Vision, Graphics and Image Processing, 24:52–96, 1983.CrossRefGoogle Scholar
  35. Besl, P. Surfaces in Range Image Understanding. Springer-Verlag, New York and London, 1988.MATHCrossRefGoogle Scholar
  36. Charniak, E. Passing markers: a theory of contextual influence in language comprehension. Cognitive Science, 7:171–190, 1983CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Alan Bundy
    • 1
  1. 1.Department of Artificial IntelligenceUniversity of EdinburghEdinburghScotland, UK

Personalised recommendations