Descriptor
| Algorithms | 7 |
| Computer Programs | 7 |
| Man Machine Systems | 7 |
| Computer Assisted Instruction | 2 |
| Computer Science | 2 |
| Information Systems | 2 |
| Problem Solving | 2 |
| Artificial Intelligence | 1 |
| Automation | 1 |
| College Students | 1 |
| Computational Linguistics | 1 |
| More ▼ | |
Source
| International Journal of… | 1 |
Author
| Biermann, A. W. | 1 |
| Connelly, Edward M. | 1 |
| Edwards, John S. | 1 |
| Feurzeig, Wallace | 1 |
| Lukas, George | 1 |
| May, Donald M. | 1 |
| Minker, Jack | 1 |
| Sveinson, Lynn | 1 |
Publication Type
| Reports - Research | 2 |
Education Level
Audience
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Download full textMinker, Jack; And Others – 1972
The Maryland Refutation Proof Procedure System (MRPPS) is an interactive experimental system intended for studying deductive search methods. Although the work is oriented towards question-answering, MRPPS provides a general problem solving capability. There are three major components within MRPPS. These are: (1) an inference system, (2) a search…
Descriptors: Algorithms, Computer Programs, Deduction, Experimental Programs
Peer reviewedSveinson, Lynn – International Journal of Man-Machine Studies, 1978
Presents a justification of the belief that science and art can be successfully combined. The computer's merits are viewed as a potential modelbuilder for the formalization of aesthetic concepts. The rest of the paper details recent and current research on such uses of the machine. (VT)
Descriptors: Algorithms, Computer Graphics, Computer Programs, Computers
Biermann, A. W.; And Others – 1973
Some of the major results of future goals of an automatic program synthesis project are described in the two papers that comprise this document. The first paper gives a detailed algorithm for synthesizing a computer program from a trace of its behavior. Since the algorithm involves a search, the length of time required to do the synthesis of…
Descriptors: Algorithms, Artificial Intelligence, Computational Linguistics, Computer Programs
Connelly, Edward M.; And Others – 1974
This report documents the theory, structure, and implementation of a performance processor (written in FORTRAN IV) that can accept performance demonstration data representing various levels of operator's skill and, under user control, analyze data to provide candidate performance measures and validation test results. The processor accepts two…
Descriptors: Algorithms, Computer Oriented Programs, Computer Programs, Flight Training
May, Donald M.; And Others – 1978
The Computerized Decision Training (CDT) system, which focuses on improving and sharpening higher order cognitive skills in judgmental decision making, incorporates an adaptive computer program which learns the student's value structure, and uses this structure to train the student in practical decision making. The application of decision models…
Descriptors: Algorithms, Computer Assisted Instruction, Computer Programs, Decision Making
Adaptive Man-Machine Interaction in Information Retrieval; A Dissertation in Electrical Engineering.
Edwards, John S. – 1967
Three specific contributions to the field of information retrieval are presented. The first two describe the establishment of an adaptive, interactive man-machine dialogue that produces a form of unsolicited librarian-like assistance for the user in his selection of index terms to characterize an indexing function. The data set upon which the…
Descriptors: Algorithms, Automation, Computer Programs, Evaluation
Lukas, George; Feurzeig, Wallace – 1973
A description is provided of a computer system designed to aid in the analysis of student programing work. The first section of the report consists of an overview and user's guide. In it, the system input is described in terms of a "dribble file" which records all student inputs generated; also an introduction is given to the aids…
Descriptors: Algorithms, College Students, Computer Assisted Instruction, Computer Programs
