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
22 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 implementation inference initial input instantiation interaction interpretation KL-ONE knowledge base knowledge representation labeling LISP loop match memory method MYCIN natural language node Non-Monotonic Logic objects operation organization 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