Search
Now showing items 1-10 of 35
Some Problems in German in English Machine Translation
(1974-12)
This paper discusses some problems in the machine translation of natural language, in particular, for translation from German into English. An implementation of some parts of the translating process has been built. The ...
An Enciphering Module for Multics
(1974-07)
Recently IBM Corporation has declassified an algorithm for encryption usable for computer-to-computer or computer-to-terminal communications. Their algorithm was implemented in a hardware device called Lucifer. A software ...
An Investigation of Current Language Support for the Data Requirements of Structured Programming
(1974-09)
Structured programming is a new method for constructing reliable programs. Structured programming relies upon a systematic technique of top-down development which involves the refinement of both control structures and data ...
Research on Experts Systems
(1974-12)
On the Complexity of the Theories of Weak Direct Products
(1974-01)
Let N be the set of nonnegative integers and let < N ,+> be the weak direct product of < N,+> with itself. Mostowski[ 9 ] shows that the theory of < N ,*> is decidable, but his decision procedure isn't elementary recursive. ...
An Input/Output Architecture for Virtual Memory Computer Systems
(1974-01)
In many large systems today, input/output is not performed directly by the user, but is done interpretively by the system for him, which causes additional overhead and also restricts the user to whatever algorithms the ...
An Abstract Model of a Research Institute: Simple Automatic Programming Approach
(1974-03)
A problem of knowledge representation is considered in terms of designing a model for a simple sociological structure. A version of the access language is proposed which is based on three kind of expressions accepted by ...
On Lower Bounds for Selection Problems
(1974-03)
Let V i (n) be the minimum number of binary comparisons that are required to determine the i-th largest of n elements drawn from a totally ordered set. In this thesis we use adversary strategies to prove lower bounds on ...
The Computer Utility as a Marketplace for Computer Service
(1974-05)
Computers are unique in their ability to be programmed for a wide variety of applications. This is in contrast with hardware dedicated to specific tasks such as the telephone system. Because of its flexibility, a computer ...
Mathematical Logic for Computer Scientists
(1974-06)
This book is an introductory course in mathematical logic covering basic topics in quantification theory and recursive function theory, and is intended for the reader who is interested in artificial intelligence, computer ...