Machine Intelligence and Robotics: Report of the NASA Study Group : Final Report |
From inside the book
Results 6-10 of 15
Page 527
... Proc . Western Joint Comp . Conf . AIEE , 157-159 , Mar. 1959. ( GAME ) Blair , F. W. , Griesmer , J. H. , and Jenks , R. D. ( 1970 ) , " An Interactive Facility for Symbolic Mathematics , " Proc . Intl . Comp . Symposium , 394-419 ...
... Proc . Western Joint Comp . Conf . AIEE , 157-159 , Mar. 1959. ( GAME ) Blair , F. W. , Griesmer , J. H. , and Jenks , R. D. ( 1970 ) , " An Interactive Facility for Symbolic Mathematics , " Proc . Intl . Comp . Symposium , 394-419 ...
Page 528
... Proc . , Vol . 41 , Part II , 1181-1187 , Fall Joint Comp . Conf . , 1972. ( DED ) Deutsch , L. P. ( 1973 ) , " An Interactive Program Veri- fier , " Ph.D. thesis , Dept. of Computer Science , Univ . of California , Berkeley , 1973 ...
... Proc . , Vol . 41 , Part II , 1181-1187 , Fall Joint Comp . Conf . , 1972. ( DED ) Deutsch , L. P. ( 1973 ) , " An Interactive Program Veri- fier , " Ph.D. thesis , Dept. of Computer Science , Univ . of California , Berkeley , 1973 ...
Page 529
... Proc . 1959 Intl . Conf . on Info . Proc . , 273-282 , UNESCO , Paris . Also in Computers and Thought , E. A. Feigenbaum and J. Feldman , eds . , 134-152 , McGraw - Hill Book Company , New York , 1963. ( TP , SEARCH ) Gelernter , H ...
... Proc . 1959 Intl . Conf . on Info . Proc . , 273-282 , UNESCO , Paris . Also in Computers and Thought , E. A. Feigenbaum and J. Feldman , eds . , 134-152 , McGraw - Hill Book Company , New York , 1963. ( TP , SEARCH ) Gelernter , H ...
Page 530
... Proc . ACM 2d Symposium on Symbolic and Algebraic Manipula- tion , S. R. Petrick , ed . , 23-25 Mar. 1971 , Los Angeles , CA. ( AIDS ) Hendrix , G. ( 1973 ) , " Modeling Simultaneous Actions and Continuous Processes , " Artificial ...
... Proc . ACM 2d Symposium on Symbolic and Algebraic Manipula- tion , S. R. Petrick , ed . , 23-25 Mar. 1971 , Los Angeles , CA. ( AIDS ) Hendrix , G. ( 1973 ) , " Modeling Simultaneous Actions and Continuous Processes , " Artificial ...
Page 531
... Proc . AFIPS Conf . , Vol . 32 , 1968 Spring Joint Comp . Conf . , 385-393 , Thompson Book Co. , Washington , D.C. ( LANG ) ( LANG ) London , R. ( 1970 ) , " Bibliography on Proving the Correctness of Computer Programs , " Machine ...
... Proc . AFIPS Conf . , Vol . 32 , 1968 Spring Joint Comp . Conf . , 385-393 , Thompson Book Co. , Washington , D.C. ( LANG ) ( LANG ) London , R. ( 1970 ) , " Bibliography on Proving the Correctness of Computer Programs , " Machine ...
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