Machine Intelligence and Robotics: Report of the NASA Study Group : Final Report |
From inside the book
Results 6-10 of 44
Page 367
... domain . A crop survey using structural analysis at high resolution is perhaps feasible now , and will be feasible in a few years . A scenario is outlined below which would require about 3.4 years to do a world - wide crop survey at 108 ...
... domain . A crop survey using structural analysis at high resolution is perhaps feasible now , and will be feasible in a few years . A scenario is outlined below which would require about 3.4 years to do a world - wide crop survey at 108 ...
Page 380
... domain specific . Here the domain is the knowledge of programming : how programs fit together , what constraints they must satisfy , how they are optimized , how they are described , etc. Programming knowl- edge is embedded within a ...
... domain specific . Here the domain is the knowledge of programming : how programs fit together , what constraints they must satisfy , how they are optimized , how they are described , etc. Programming knowl- edge is embedded within a ...
Page 398
... domain . Dr. Thomas O. Binford , a research associate in the Artificial Intelligence Laboratory of the Department of Computer Science at Stanford University , is presently working in the area of com- puter visions and robotics . Dr ...
... domain . Dr. Thomas O. Binford , a research associate in the Artificial Intelligence Laboratory of the Department of Computer Science at Stanford University , is presently working in the area of com- puter visions and robotics . Dr ...
Page 411
... domains of effective- ness of the machine's different methods . These pattern - recognition methods must extract the heuristically significant features of the objects in question . The simplest methods simply match the objects against ...
... domains of effective- ness of the machine's different methods . These pattern - recognition methods must extract the heuristically significant features of the objects in question . The simplest methods simply match the objects against ...
Page 435
... domain here is that of discovering proofs in the Russell- Whitehead system for the propositional calculus . That system is given as a set of ( five ) axioms and ( three ) rules of inference ; the latter specify how certain ...
... domain here is that of discovering proofs in the Russell- Whitehead system for the propositional calculus . That system is given as a set of ( five ) axioms and ( three ) rules of inference ; the latter specify how certain ...
Other editions - View all
Common terms and phrases
algorithms Allen Newell analysis applications areas Artificial Intelligence automated base basic behavior Chart chess complex computer science concepts Conf construction DENDRAL domain element engineering example experience Feigenbaum Feldman Figure function GAME generate-and-test goal H. A. Simon heuristic programming heuristic search human hypotheses ill-structured problems inference Information Processing input intelligence and robotics INTERLISP knowledge logic Logic Theorist machine intelligence manipulators mathematical mechanisms Memo memory methods Michie Minsky mission operations MYCIN NASA NASA's Natural Language Newell ORGANISM-1 Papers 3d Intl pattern recognition performance problem solving problem space problem statement Proc procedure Project Project MAC PSYC psychology representation rover rules Semantic sensors sequence Simon simplex method Slagle solution solver spacecraft Stanford Research Institute Stanford Univ structure Study Group symbolic task Tech techniques TEIRESIAS teleoperator theorem proving theory tion variables York