Search

Start over Topic Computer science

1. The semantics of PASCAL in LCF

2. Checking proofs in the metamathematics of first order logic

3. A Symposium to Honor Mina Rees, AAAS 1982 Annual Convention

4. The translation of 'go to' programs to 'while' programs

5. Association for Computing Machinery (ACM) Turing Award (Master)

6. D724 Keynote Address: Artificial Intelligence (AI) as an Experimental Science by Herbert Simon - AAAI National Conference

7. IQ-17 Presidential Address: Toward an Theory of Knowledge, Reddy AAAI. Part 1

8. IQ-17 Presidential Address: Toward an Theory of Knowledge, Reddy AAAI. Part 2

9. Oliver Selfrideg, AAAI

10. Oliver Selfridge, AAAI

11. Image contouring and comparing

12. An overview of KRL, a Knowledge Representation Language

13. The use of sensory feedback in a programmable assembly system

14. BAOBAB, a parser for a rule-based system using a semantic grammar

15. Ray Kurtzweil Panel at Boston Computer Society, "Powersharing: People, Computers and You"

16. The Heuristic DENDRAL program for explaining empirical data

17. Carnegie Mellon University speech

18. Efficient compilation of linear recursive programs

19. On the power of programming features

20. Program schemas with equality

21. Multidimensional analysis in evaluating a simulation of paranoid thought

22. Pattern-matching rules for the recognition of natural language dialogue expressions

23. Inference rules for program annotation

24. The evolution of programs: a system for automatic program modification

25. The interaction of inferences, affects, and intentions, in a model of paranoia

26. Automatic programming

27. Total complexity and the inference of best programs

28. Aesthetics systems

29. Operational reasoning and denotational semantics

30. Towards a semantic theory of dynamic binding

31. A hypothetical dialogue exhibiting a knowledge base for a program-understanding system

32. Progress report on program-understanding systems

33. Interactive generation of object models with a manipulator

34. Monte Carlo simulation of tolerancing in discrete parts manufacturing and assembly

35. The generation of French from a semantic representation

36. Correspondence about Yershov Trip around USA including Stanford, organized by Prof. J. Schwartz, NYU and Prof. John McCarthy, Stanford

37. A heuristic approach to program verification

38. Dr. Edward Feigenbaum, KCBS - Jan Hutchins

39. KGO News Talk Radio

40. Sorting and Searching - errata and addenda

41. Correctness of two compilers for a Lisp subset

42. Automatic program verification V: verification-oriented proof rules for arrays, records and pointers

43. Computer Chronicles - AI, MacNeil-Lehrer/5th Generation

44. Axiomatic approach to total correctness of programs

45. The convergence of functions to fixedpoints of recursive definitions

46. A deductive approach to program synthesis

47. A new approach to recursive programs

48. Fixpoint approach to the theory of computation

49. Towards automatic program synthesis

50. A Basis for a Mathematical Theory of Computation

51. ARPA Contractors Meeting - February, 1974 - 1973 ARPA Project Summary - Department Computer Science, Stanford University

52. ARPA Contractors Meeting: San Diego, March 12-14, 1975. - STANFORD ARTIFICIAL INTELLIGENCE LABORATORY 1974 ARPA Project Summary

53. Artificial Intelligence 1973 - The Present Scientific Situation in Artificial Intelligence, Handwritten notes and "AI"

54. Artificial Intelligence and the Stanford A.I. Lab

55. Molecular Memories and Determinants of the Utility of Large Memories

56. Notes on LISP

57. Programs with Common Sense

58. Programs with Common Sense

59. PROPOSAL FOR EXPANSION OF THE STANFORD ARTIFICIAL INTELLIGENCE PROJECT

60. Proposal to the Advanced Research Projects Agency for Continuation of the Stanford Artificial Intelligence Project and the Heuristic Programming Project

61. Proposal to The Defense Advanced Research Projects Agency for a Network-Based Graphical Design System

62. Some Philosophical Problems from the Standpoint of Artificial Intelligence

63. Stanford Artificial Intelligence Laboratory (SAIL) - Proposal to NSF

64. Stanford Plan for Time-Sharing the IBM 360/67

65. Time-Sharing Computer Systems

66. Time-Sharing Project Working Papers - Preliminary Timeshared Operation by John McCarthy and Improvements to the Kalah Program by Richard Russell

67. Time-Sharing Project Working Papers - Report on the 1964 Fall Joint Programming Race

68. to the campus newspaper, commenting on recent speech of Stanford President

69. The hetrodyne filter as a tool for analysis of transient waveforms

70. The optimum comb method of pitch period analysis of continuous digitized speech

71. The Role of Raw Power in Intelligence

72. AL users' manual

73. NAVISTAR. Part 5

74. NAVISTAR. Parts 1-2

75. NAVISTAR. Parts 3-4

76. Notes on a problem involving permutations as subsequences

77. CS 225: Artificial Intelligence Research. Fall 1976

78. Revised Report on the Algorithmic Language ALGOL 60

79. The macro processing system STAGE2: transfer of comments to the generated text

80. Stanford automatic photogrammetry research

81. BAIL: a debugger for SAIL

82. SAIL

83. Essential E

84. Adverbs and belief

85. Inference and the computer understanding of natural language

86. Intention, memory, and computer understanding

87. Primitive concepts underlying verbs of thought

88. The fourteen primitive actions and their inferences

89. The goals of linguistic theory revisited

90. CS226 Expert Systems Applications # 01 Chukyo University - Stanford Instructional Television Network

91. CS226 Expert Systems Applications # 03 Chukyo University - Stanford Instructional Television Network

92. CS226 Expert Systems Applications # 04 Chukyo University - Stanford Instructional Television Network

93. CS226 Expert Systems Applications # 05 Chukyo University - Stanford Instructional Television Network

94. CS226 Expert Systems Applications # 06 Chukyo University - Stanford Instructional Television Network

95. CS226 Expert Systems Applications # 07 Chukyo University - Stanford Instructional Television Network

96. CS226 Expert Systems Applications # 09 Chukyo University - Stanford Instructional Television Network