What people are saying - Write a review
We haven't found any reviews in the usual places.
VISION Automated Inspection Using GrayScale Statistics
Interpreting Line Drawings as ThreeDimensional PROGRAM SYNTHESIS
SCENE ANALYSIS Automatic GoalDirected Program Transformation
23 other sections not shown
ABSTRACT action agent algorithm analysis application approach Artificial Intelligence axioms Carnegie-Mellon University clauses complete components Computer Science Computer Vision concept consistent constraints context data base database defined described determine developed domain entities evaluation example execution expert Figure focus feature function game trees given goal graph Hayes-Roth human hypotheses implementation inference initial input instantiation interaction INTERLISP interpretation KL-ONE knowledge base knowledge representation labeling LISP logic loop match method MYCIN natural language node objects operation orientation paper paramodulation path performance prediction problem solving Proc procedure produce program synthesis projection properties reasoning relation represented retrieval rules semantic semantic network semantic tree sequence simulation structure slot Smalltalk specific SRI International story strategy surface syntactic task techniques theorem theory tree understanding University