| I. Lexical and Object Decisions. II. Syntactic Disambiguation of Homographs |
JAN 1979 |
|
| Authors:
M. C. Potter; J. F. Kroll; MASSACHUSETTS INST OF TECH CAMBRIDGE DEPT OF PSYCHOLOGY
|
 | Two sets of experiments are reported. In Part I, tests of speed of identification indicated that pictures and words can identified equally fast, but a mixture of the two increases the difficulty of responding, especially to pictures. In Part II, the speeded selection of one pronunciation of an ambiguous word was influenced by a brief priming word that indicated the syntax (noun or verb) of the target word. The effectiveness ... |
|
| Functions as Data Objects: The Implementation of Functions in LISP, |
JAN 1979 |
|
| Authors:
Philip Agre; MARYLAND UNIV COLLEGE PARK DEPT OF COMPUTER SCIENCE
|
| This paper discusses the manner in which functions are defined and manipulated in various dialects of the LISP language. It is argued that the syntax and mechanisms which are usually provided to accomplish such things as passing functions as arguments and returning them as values are unnecessarily inconsistent and clumsy. An alternative scheme for implementing functions in LISP is presented. It is based on the concept of a 'linker node', ... |
|
| The Interval Arithmetic Package - Multiple Precision Version. |
JAN 1979 |
|
| Authors:
J. M. Yohe; WISCONSIN UNIV-MADISON MATHEMATICS RESEARCH CENTER
|
| This report describes the multiple precision version of the interval arithmetic package documented in MRC Technical Summary Report no. 1755. The multiple precision version, based on the FORTRAN multiple precision arithemetic package of Brent, is extremely portable. It is assumed that the reader has access to TSR no. 1755, which provides the basic documentation for the interval arithmetic package; the current report addreses only those aspects of the multiple precision ... |
|
| Nonstandard Arithmetic Packages for FORTRAN. |
JAN 1979 |
|
| Authors:
J. M. Yohe; WISCONSIN UNIV-MADISON MATHEMATICS RESEARCH CENTER
|
| We describe various available supporting packages for the AUGMENT precompiler for FORTRAN, and provide instructions for their use in conjunction with AUGMENT. (Author) |
|
| FORTRAN Automated Verification System (FAVS). Volume III. DMATRAN User's Guide. |
JAN 1979 |
|
| Authors:
Rich A. Melton; Dorothy M. Andrews; GENERAL RESEARCH CORP SANTA BARBARA CALIF
|
| DMATRAN is a structured programming language which provides the logical constructs that are necessary to write structured code in FORTRAN. The additional control constructs in DMATRAN are a structured IF construct which allows execution of a group of statements, two basic structures which permit iteration while a logical expression is true (DO WHILE...END WHILE) or until a logical expression becomes true (DO UNTIL...END UNTIL), and a noniterative CASE structure which ... |
|
| User Performance with a Natural Language Query System for Command Control. |
JAN 1979 |
|
| Authors:
Ramon L. Hershman; Richard T. Kelly; Harold G. Miller; NAVY PERSONNEL RESEARCH AND DEVELOPMENT CENTER SAN DIEGO CALIF
|
| Natural language query systems have been developed as potential aids to command control data retrieval processes involving large data bases. One such system, LADDER (for Language Access to Distributed Data with Error Recovery), was studied in order to identify significant performance characteristics associated with its use in a Navy command control environment. Ten officers received moderate training in LADDER and subsequently employed it in a search and rescue scenario. Both ... |
|
| A Framework for Control in Production Systems. |
JAN 1979 |
|
| Authors:
Michael Georgeff; STANFORD UNIV CA DEPT OF COMPUTER SCIENCE
|
| A formal model for representing control in production systems is defined. The formalism allows control to be directly specified independently of the conflict resolution scheme, and thus allows the issues of control and nondeterminism to be treated separately. Unlike previous approaches, it allows control to be examined within a uniform and consistent framework. It is shown that the formalism provides a basis for implementing control constructs which, unlike existing schemes, ... |
|
| Exploring the Concept of a CODASYL Database Machine. |
JAN 1979 |
|
| Authors:
Richard D. Hackathorn; WHARTON SCHOOL PHILADELPHIA PA DEPT OF DECISION SCIENCES
|
| This paper explores the concept of a database machine using the approach of the CODASYL data model. A database machine is defined as an integration of hardware and software for providing generalized database management capability in a physically separate device. The advantages of a database machine, along with functional specifications, are presented. Next, an illustration of using a database machine is given through an example of invoice processing using the ... |
|
| FORTRAN Automated Verification System (FAVS). Volume II. User's Manual. |
JAN 1979 |
|
| Authors:
Dorothy M. Andrews; Rich A. Melton; GENERAL RESEARCH CORP SANTA BARBARA CALIF
|
| FAVS, for FORTRAN Automated Verification System, is a tool for analyzing source programs written in FORTRAN or DMATRAN. It is essentially a software system to be used as an aid in improving, documenting, and validating the quality of software and software testing by providing for: syntax and structural analysis of the user's source program, static analysis to detect inconsistencies in program structure or in the use of variables, automated documentation, ... |
|
| JOVIAL Automated Verification System. |
DEC 1978 |
|
| Authors:
C. Gannon; GENERAL RESEARCH CORP SANTA BARBARA CALIF
|
| JAVS, for JOVIAL Automated Verification System, provides measurements of testing thoroughness, retesting assistance, and automated software documentation for JOVIAL J3 programs. This report describes the design, implementation and testing of a new JAVS syntax analyzer. Background information regarding all JAVS contracts is provided in this report, as are procedures for installing the complete JAVS software package. Familiarity with the JOVIAL language and with software verification terminology is assumed. (Author) |
|
| Intelligence Report Voice Input. |
NOV 1978 |
|
| Authors:
L. Bahler; P. Markey; S. Moshier; DIALOG SYSTEMS INC BELMONT MA
|
| This work was an initial effort in the use of voice data entry for information data handling. The objective of this effort was to develop the technology for a large vocabulary (1000 word) isolated word recognition system capable of quick adaptation and high accuracy for a limited number of people. Techniques for word boundary detection, noise suppression, and frequency sealing were examined. Tests were conducted on a 1000 word and ... |
|
| Improvements to JOCIT. |
OCT 1978 |
|
| Authors:
T. DeVine; L. Hyde; H. McCoy; R. Rushall; COMPUTER SCIENCES CORP EL SEGUNDO CA
|
| Although the JOVIAL Compiler Implementation Tool (JOCIT) produced the most J3-like JOVIAL compiler built to date, the Air Force was not at liberty to develop compilers for other systems because of the proprietary nature of the JOCIT module, GENESIS. The intent of this effort was to lease GENESIS and to make various improvements to JOCIT. These improvements included fortifying the JOCIT optimizer with state-of-the-art optimizing features. For the most part, ... |
|
| Process Models of Reference in Context. |
OCT 1978 |
|
| Authors:
James A. Levin; Neil M. Goldman; UNIVERSITY OF SOUTHERN CALIFORNIA MARINA DEL REY INFORMATION SCIENCES INST
|
| Reference is a central issue for language comprehension and generation. After reviewing existing process models for comprehending and generating referring expressions, we present a general framework for context and reference processing. The context for reference processing is represented as a Public Workspace. Reference processes access Public Workspace and modify its content, which is the set of concepts currently on the table as far as the current language interaction is concerned. ... |
|
| Verification and Correction of Non-Procedural Specifications in Automatic Generation of Programs. |
15 SEP 1978 |
|
| Authors:
Subramanya K. Shastry; MOORE SCHOOL OF ELECTRICAL ENGINEERING PHILADELPHIA PA DEPT OF COMPUTER AND INFORMATION SCIENCES
|
| This dissertation deals with the design and implementation of an interactive Automatic Program Generator, which will generate PL/1 programs from a nonprocedural description of a problem in MODEL (MOdule DEscription Language). MODEL has many characteristics of very high level languages, being at the same time, descriptive. MODEL processor is quite tolerant of errors in a user specification (like incompleteness, inconsistencies, and ambiguities), and resolves those errors, either by generating additional ... |
|
| SOL-370 Language Reference Manual. |
SEP 1978 |
|
| Authors:
Horst Ulfers; DEFENSE COMMUNICATIONS ENGINEERING CENTER RESTON VA
|
| This document describes the SOL-370 algorithmic language, which is used to construct general systems models for simulation. After the language syntax is described, several sample models are given. |
|
| Error Handling in the TRIDENT Compiler. |
SEP 1978 |
|
| Authors:
Hartmut G. Huber; NAVAL SURFACE WEAPONS CENTER DAHLGREN LAB VA
|
| This paper describes briefly the error recovery strategy used within the LALR parser of the TRIDENT Compiler. The main part deals with an analysis of error situations that can occur in a Context Parser. This analysis is based on a classification of terminals, non-terminals, and heads according to certain syntactic characteristics. This information can be encoded in a table which allows error recovery to be table driven. This approach is ... |
|
| Flight Test Oriented Precompiler System (FLTOPS Design Specifications. |
28 AUG 1978 |
|
| Authors:
Dean A. Otey; H. R. Ramsey; John K. Willoughby; SCIENCE APPLICATIONS INC ENGLEWOOD CO
|
| FLTOPS is a tool to assist in setting up a generalized software system to meet the needs of a project. A simple and meaningful interface between the engineer and FLTOPS is provided. Based on engineer supplied input, FLTOPS generates code which will in essence be a generalied software system, however it will be tailored to project requirements. (Author) |
|
| Syntactic Shape Recognition Using Attributed Grammars. |
AUG 1978 |
|
| Authors:
K. C. You; K. S. Fu; PURDUE UNIV LAFAYETTE IN SCHOOL OF ELECTRICAL ENGINEERING
|
| A syntactic approach is applied to the shape description and recognition. The structure of a shape is described by grammatical rules and the local details by primitives. Four attributes are proposed to describe an open curve segment, and the angle between two consecutive curve segments is used to describe the connection. The property of the attributes and the recognition capability of this method are studies. The primitive extraction and syntax ... |
|
| REL English for the User, |
AUG 1978 |
|
| Authors:
Bozena Henisz Dostert; Frederick B. Thompson; CALIFORNIA INST OF TECH PASADENA
|
| REL (RAPIDLY EXTENSIBLE LANGUAGE SYSTEM) is a complete software system designed to facilitate natural and easy interaction between a user unskilled in programming with the computer. It is designed to support work with specialized data bases, and for this purpose it allows the user to manipulate the data bases by introducing changes and extensions in the data bases themselves. It also provides languages for communication which can be modified and ... |
|
| A Concise Extensible Metalanguage for Translator Implementation. |
31 JUL 1978 |
|
| Authors:
Douglas L. Michels; CALIFORNIA UNIV SANTA CRUZ INFORMATION SCIENCES
|
| A very concise metalanguage is presented. This language is capable of describing context free languages, including itself. Several mutually recursive functions define an interpreter for this language. The metalanguage and interpreter are extended to allow the inclusion of emitters. This makes possible the description of translations. A metatranslator is shown which is capable of self-translation. The addition of labeled productions makes possible a metatranslation language in the style of BNF. ... |
|
| Research in Natural Language Understanding. |
JUL 1978 |
|
| Authors:
Bonnie Lynn Webber; R. Bobrow; William A. Woods; BOLT BERANEK AND NEWMAN INC CAMBRIDGE MASS
|
| The goals of the project are to develop techniques required for fluent and effective communication between a decision maker and an intelligent computerized display system in the context of complex decision tasks such as military command and control. This problem is approached as a natural language understanding problem, since most of the techniques required would still be necessary for an artificial language designed specifically for the task. Characteristics that are ... |
|
| Encoding Knowledge in Partitioned Networks |
28 JUN 1978 |
61 pages |
| Authors:
Gary G. Hendrix; SRI INTERNATIONAL MENLO PARK CA
|
 | This paper discusses network notations for encoding a number of different kinds of knowledge, including taxonomic information; general statements involving quantification; information about processes and procedures; the delineation of local contexts, beliefs, and wishes; and the relationships between syntactic units and their interpretations. Many of the encodings appeal to the concept of network partitioning, in which a large net is partitioned into subnets and higher-order relationships among the subnets are ... |
|
| Synthesis of Synchronization Code for Data Abstractions. |
23 JUN 1978 |
|
| Authors:
Mark Steven Laventhal; MASSACHUSETTS INST OF TECH CAMBRIDGE LAB FOR COMPUTER SCIENCE
|
| Synchronization code is necessary to control shared access of an abstract data object in a parallel-processing environment. This thesis explores an approach in which a synchronization property can be specified in a high-level nonprocedural language, and an implementation for the specified property can be synthesized algorithmically. A problem specification language is introduced in which synchronization properties can be expressed in a structured but natural manner. A method is then presented ... |
|
| The Coral 66 Compiler for Ferranti ARGUS 500 Computer. |
JUN 1978 |
|
| Authors:
B. Gorman; ROYAL SIGNALS AND RADAR ESTABLISHMENT MALVERN (ENGLAND)
|
| This documentation is a working description of the Coral 66 compiler for the ARGUS 500 produced by RRE under contract from Ferranti Ltd. It serves not only as a guide to the actual operation of the compiler, but also as an example of the use of RRE compiler building tools and techniques. These represent the culmination of many man years of research, as also do some of the important Algorithms ... |
|
| A Design for a Function-Descriptive Programming Language. |
JUN 1978 |
|
| Authors:
Jerry Gregory Paccassi II; Carl Eric Wick; NAVAL POSTGRADUATE SCHOOL MONTEREY CALIF
|
| A design for a function-descriptive programming language is described. The language is based upon a software design model which uses the process of abstraction and successive refinement in problem solving. The resulting programming language provides mechanisms and structures conducive to language extension, ease of program development and enhancement of software reliability. A system's library expands the capability of the base language to satisfy the needs of a user or user ... |
|
| Natural Language Processing in an Automatic Programming Domain. |
JUN 1978 |
|
| Authors:
Jerrold M. Ginsparg; STANFORD UNIV CALIF DEPT OF COMPUTER SCIENCE
|
| This paper is about communicating with computers in English. In particular, it describes an interface system which allows a human user to communicate with an automatic programming system in an English dialogue. The interface consists of two parts. The first is a parser called Reader. Reader was designed to facilitate writing English grammars which are nearly deterministic in that they consider a very small number of parse paths during the ... |
|
| SUPREM II -- A Program for IC Process Modeling and Simulation. |
JUN 1978 |
|
| Authors:
Dimitri A. Antoniadis; Stephen E. Hansen; Robert W. Dutton; STANFORD UNIV CALIF STANFORD ELECTRONICS LABS
|
| SUPREM II is the second version of the IC process simulation program, SUPREM. Several modifications and refinements relative to SUPREM I (1) have been implemented but the basic program architecture and I/O philosophy has not been altered. The input language syntax remains the same, but various semantic changes have been made mainly to accommodate the new or improved physical models used in SUPREM II. This report consists of three parts. ... |
|
| An Approach to Constructing Functional Requirement Statements for System Architectural Design. |
JUN 1978 |
|
| Authors:
S. L. Huff; S. E. Madnick; ALFRED P SLOAN SCHOOL OF MANAGEMENT CAMBRIDGE MASS CENTER FOR INFORMATION SYSTEMS RESEARCH
|
| The objective of this study is to develop a systematic approach to the architectural design of complex software systems. In this report, the problem of creating functional requirements, which become the input to the design structuring methodology, is investigated. Presently available requirement statement languages, such as PSL (Problem Statement Language) are examined, and the conclusion is drawn that such schemes are not very appropriate for the expression of requirements prior ... |
|
| MADMAN on the H6000: Data Base Manager for Honeywell 6000. Volume II. |
JUN 1978 |
|
| Authors:
D. E. D. Phillips; J. M. Brown; J. P. Kellerman; GENERAL ELECTRIC CO SCHENECTADY N Y RESEARCH AND DEVELOPMENT CENTER
|
|
| QUINCE System; State-of-the-Art Review. |
JUN 1978 |
216 pages |
| Authors:
William S-Y Wang; Chiu-Chung Liao; Robert Gaskins; Mary S. Wang; CALIFORNIA UNIV BERKELEY DEPT OF LINGUISTICS
|
| The Report documents a 9-month effort consisting of programming documentation for QUINCE System; inventory of R and D holdings (software, hardware, data files), and state-of-the-art assessment of linguistic and data processing requirements for IOC in Chinese-English machine translation. Background information is provided in Section I (INTRODUCTION). Section II contains a textual description of application software and utilities, including pertinent flowcharts, diagrams and tables. Programming documentation supplied under contract consists of ... |
|
| An LALR(1) Parser Grammar for FORTRAN. |
JUN 1978 |
|
| Authors:
Russ C. Rauhauser; COLORADO UNIV BOULDER DEPT OF COMPUTER SCIENCE
|
| An automatic parser generator is a tool for quickly implementing programming language parsers. Parser generators based upon LR parsing have been built for grammars satisfying the LR(o), SLR(1), and LALR(1) properties. Speed of the resulting parser is comparable to that of a hand coded recursive descent parser. DAVE, an automatic program testing aid, requires a flexible, easy-to-implement parser. This report presents an LALR(1) grammar for ANSI standard FORTRAN, suitable as ... |
|
| The FSCAN Lexical Analyzer Generating System. |
JUN 1978 |
|
| Authors:
Geoffrey Clemm; COLORADO UNIV BOULDER DEPT OF COMPUTER SCIENCE
|
| There has recently been much interest in the development of software validation tools for FORTRAN. Such tools are usually designed to analyze programs written in ANSI standard FORTRAN. However, because there are many dialects and extensions of FORTRAN in use, it would be desirable to analyze these as well. One solution is to develop a single diagnostic tool for standard FORTRAN which may be easily modified to accept variants of ... |
|
| Department of Defense Requirements for High Order Computer Programming Languages. 'STEELMAN.' |
JUN 1978 |
|
| Authors:
DEPARTMENT OF DEFENSE WASHINGTON D C
|
| The Department of Defense Common High Order Language Program was established in 1957 with the goal of establishing a single high order computer programming language appropriate for DoD embedded computer systems. A High Order Language Working Group (HOLWG) was established to formulate the DoD requirements for high order languages, to evaluate existing languages against those requirements, and to implement the minimal set of languages required for DoD use. |
|
| Linguistic Documentation of Metal System. |
MAY 1978 |
171 pages |
| Authors:
Winfred P. Lehmann; Solveig M. Pflueger; Helen-Jo J. Hewitt; Robert A. Amsler; Howard R. Smith; TEXAS UNIV AT AUSTIN LINGUISTICS RESEARCH CENTER
|
| The report constitutes a linguistic documentation of the third generation machine translation system designated METAL (Mechanical Translation and Analysis of Languages, or METALanguage). Section I presents an overview of the system (underlying philosophy and general description of system's components). It also includes a description of 14 programs (translation phases), used in the original FORTRAN implementation, and a description of the system's LISP version (8 translation phases). The remaining sections describe ... |
|
| Preliminary Reference Manual for the GREEN Programming Language. A language Designed in Accordance with the Ironman Requirements |
15 APR 1978 |
81 pages |
| Authors:
HONEYWELL SYSTEMS AND RESEARCH CENTER MINNEAPOLIS MN
|
| This report describes the Green language. Designed in accordance with the Ironman requirements of the Department of Defense, the Green language represents a new attempt to combine classical language features with features often found only in specialized languages. These include facilities for handling exceptional conditions, parallel processing, representation specifications for data, encapsulated definitions, low level input-output, and access to system dependent parameters. |
|
| The Basic Instructional Program: Conversion into Mainsail Language |
APR 78 |
|
| Authors:
Mary L. Dageforde; STANFORD UNIV CA INST FOR MATHEMATICAL STUDIES IN THE SOCIAL SCIENCES
|
| The BASIC Instructional Program (BIP) is a sophisticated computer- based laboratory for instruction in elementary programming in the BASIC language. It was developed as an experimental system on the IMSSS PDP-10 research computer facility in a specialized high-level programming language called SAIL, which is presently available only to the PDP-10 user community. Thus, a proposal was made to rewrite BIP in a more machine-independent language, so that it could be ... |
|
| A Progress Report on the Discourse and Reference Components of PAL, |
APR 1978 |
|
| Authors:
Candace Sidner; MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB
|
| This paper reports on research being conducted on a computer assistant, called PAL. PAL is being designed to arrange various kinds of events with concern for the who, what, when, where and why of that event. The goal for PAL is to permit a speaker to interact with it in English and to use extended discourse to state the speaker's requirements. The portion of the language system discussed in this ... |
|
| A Categorization and Evaluation of Formal and Semi-Formal Definition Techniques. |
MAR 1978 |
|
| Authors:
Bruce Daniel Guilmain; AIR FORCE INST OF TECH WRIGHT-PATTERSON AFB OHIO SCHOOL OF ENGINEERING
|
| Operational techniques for defining computer programming languages are examined; specifically, SEMANOL, the Vienna Definition Language (VDL), and BASIS/1-12. A survey of the operational methods is given, in which specific examples of SEMANOL, the VDL, and BASIS/1-12 are explained in detail. A cataloguing criteria is established and evaluated. The cataloguing criteria is then used to categorize and evaluate SEMANOL, the VDL, and BASIS/1-12. The SEMANOL technique was judged as the best ... |
|
| COBOL Compiler Validation Summary Report. |
15 FEB 1978 |
|
| Authors:
FEDERAL COBOL COMPILER TESTING SERVICE WASHINGTON D C
|
| This Validation Summary Report (VSR) for the Honeywell 2000 Series COBOL Compiler Version 4.02 (OS/2000 Version 4.02) provides a consolidated summary of the results obtained from the validation of the subject compiler against the 1968 COBOL Standard (X3.23-1968/FIPS PUB 21-1). The compiler was validated at the High level of FIPS PUB 21-1. The VSR is made up of several sections showing the discrepancies found. These include an overview of the ... |
|
| GENESIS: A Language for Describing the Development of Programs. |
FEB 1978 |
|
| Authors:
W. B. Tyler; W. M. McKeeman; CALIFORNIA UNIV SANTA CRUZ INFORMATION SCIENCES
|
| A language, named GENESIS, is proposed for describing the program development process and bootstrapped programs in particular. It is concise (a seven line grammar) and general. The report contains syntax, semantics, examples and an approach to a formal semantics for the language. (Author) |
|
| An Informal Definition of Alphard (Preliminary). |
FEB 1978 |
|
| Authors:
William A. Wulf; Paul Hilfinger; Robert Fitzgerald; Izumi Kimura; Ralph L. London; CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE
|
| The Alphard language design has four major goals: (1) to support modern programming methodology, (2) to permit practical program verification, (3) to permit extremely efficient object code to be produced, and (4) to permit the programmer to control certain implementation decisions -- such as the representation of data structures. Previous Alphard papers have explored aspects of these issues as they relate to particular language features; to facilitate these explorations these ... |
|
| The Specification of Code Generation Algorithms. |
JAN 1978 |
|
| Authors:
Christopher J. Terman; MASSACHUSETTS INST OF TECH CAMBRIDGE LAB FOR COMPUTER SCIENCE
|
| This thesis addresses the problem of automatically constructing the code generation phase of a compiler from a specification of the source language and target machine. A framework for such a specification is presented in which information about language and machine-dependent semantics is incorporated as a set of transformations on an internal representation of the source language program. The intermediate language which serves as the internal representation, and the metalanguage in ... |
|
| The Revised Report on SCHEME: A Dialect of LISP. |
JAN 1978 |
|
| Authors:
Guy Lewis Steele Jr.; Gerald Jay Sussman; MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB
|
| SCHEME is a dialect of LISP. It is an expression-oriented, applicative order, interpreter-based language which allows one to manipulate programs as data. It differs from most current dialects of LISP in that it closes all lambda-expressions in the environment of their definition or declaration, rather than in the execution environment. This has the consequence that variables are normally lexically scoped, as in ALGOL. However, in contrast with ALGOL, SCHEME treats ... |
|
| An Annotated Bibliography of Natural Language and Speech Understanding Systems. |
DEC 1977 |
|
| Authors:
John R. Kender; CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE
|
| This annotated bibliography summarizes some 80 papers dealing with various aspects of natural language and speech understanding systems. Most detail a working system which 'understands' 'natural' input. Stress is on those issues at or above the level of syntax. Also included are several overviews and criticisms, usually in the form of comparative studies. (Author) |
|
| High-Order Language Extensions for Concurrent Processing. |
DEC 1977 |
|
| Authors:
Michael N. Condict; Christopher A. Landauer; John M. Morris; PATTERN ANALYSIS AND RECOGNITION CORP ROME N Y
|
| This report describes extensions to the JOVIAL computer language which will permit the JOVIAL programmer to exploit the characteristics of advanced computer equipment capable of concurrent non-sequential processing. Major sections of the report include a mathematical model of the processor, a detailed glossary of specialized terms used in concurrent processing, and specifications for the language extensions. Other sections include essential background material and conclusions derived from their research. (Author) |
|
| Research in Natural Language Understanding. |
DEC 1977 |
85 pages |
| Authors:
W. A. Woods; R. J. Brachman; BOLT BERANEK AND NEWMAN INC CAMBRIDGE MASS
|
| The goals of this project are to develop techniques required for fluent and effective communication between a decision maker and an intelligent computerized display system in the context of complex decision tasks such as military command and control. This problem is approached as a natural language understanding problem, since most of the techniques required would still be necessary for an artificial language designed specifically for the task. Characteristics considered important ... |
|
| Towards a PL/I-Based 'Ironman' Language. |
DEC 1977 |
|
| Authors:
Robert F. Maddock; Brian L. Marks; IBM UNITED KINGDOM LABS LTD WINCHESTER (ENGLAND)
|
| The Department of Defense in the United States is running a project, known as IRONMAN, to establish a new programming language for computer applications embedded in other hardware. Their evaluations of existing languages determined that only PASCAL, ALGOL68 and PL/I were suitable as bases for the new language. This report describes work that was begun on such a PL/I-based language. The work was terminated before completion since the Department of ... |
|
| Syntactic Algorithms for Image Segmentation and a Special Computer Architecture for Image Processing. |
DEC 1977 |
274 pages |
| Authors:
Janmin Keng; K. S. Fu; PURDUE UNIV LAFAYETTE IND SCHOOL OF ELECTRICAL ENGINEERING
|
| Several efficient algorithms for image recognition and segmentation and a new computer architecture for image processing are proposed. The algorithms are 'Syntactic' in that they perform structural or spatial analysis rather than statistical analysis, and a 'grammer' is inferred for describing the structures of patterns in an image. Depending on the requirements of the problem, an appropriate grammatical approach is used by the syntactic algorithm. A finite-state string grammar is ... |
|
| Image Understanding and Information Extraction |
NOV 1977 |
|
| Authors:
Thomas S. Huang; King-Sun Fu; PURDUE UNIV LAFAYETTE IN SCHOOL OF ELECTRICAL ENGINEERING
|
| This report summarizes the results of the research program on Image Understanding and Information Extraction at Purdue University. The report covers the period 1 April 1977 to 30 September 1977. The objective of our research is to achieve a better understanding of image structure and to use this knowledge to develop techniques for image analysis and processing tasks, especially information extraction. Our emphasis is on syntactic decomposition and recognition of ... |
|
| Improvements to SEMANOL. Volume I. |
NOV 1977 |
|
| Authors:
Paul T. Berning; TRW DEFENSE AND SPACE SYSTEMS GROUP REDONDO BEACH CALIF
|
| This report describes the work that was performed in meeting the goals of this contract; provides a brief introduction to the SEMANOL method, and discusses issues in formal semantic description that arose in performing these tasks. This project accomplished the definition of an improved semantic specification metalanguage, SEMANOL(76); corollary upgrading of the interpreter program to process the new metalanguage; substantial improvement of the processing efficiency of this new SEMANOL interpreter; ... |
|
Reports by Keyword(s)
SYNTAX
