WorldCat Identities


Works: 184 works in 204 publications in 1 language and 268 library holdings
Classifications: QA76, 510.78
Publication Timeline
A formal system for defining the syntax and semantics of computer languages by Henry F Ledgard( Book )

1 edition published in 1969 in English and held by 3 WorldCat member libraries worldwide

The thesis of this dissertation is that formal definitions of the syntax and semantics of computer languages are needed. This dissertation investigates two candidates for formally defining computer languages: (1) the formalism of canonical systems for defining the syntax of a computer language and its translation into a target language, and (2) the formalisms of the lambda-calculus and extended Markov algorithms as a combined formalism used as the basis of a target language for defining the semantics of a computer language. Formal definitions of the syntax and semantics of SNOBOL/1 and ALGOL/60 are included as examples of the approach. (Author)
A New List-Tracing Algorithm( Book )

1 edition published in 1970 in English and held by 3 WorldCat member libraries worldwide

List-processing systems have each allowed use of only a single size and configuration of list cell. The paper describes a system which allows use of arbitrarily many different sizes and configurations of list cell, possibly not specified until run time. (Author)
The Substantive Use of Computers for Intellectual Activities by Robert C Goldstein( Book )

1 edition published in 1971 in English and held by 3 WorldCat member libraries worldwide

The paper discusses an on-going research project aimed at developing computer facilities capable of providing substantive aid to a human decision maker concerned with complex, unstructured problems. The rationale for such systems is discussed, followed by an outline of the approach used. Some results of preliminary experiments are also discussed, as well as plans for future activities. (Author)
STRESS: a problem-oriented language for structural engineering by John M Biggs( Book )

1 edition published in 1964 in English and held by 3 WorldCat member libraries worldwide

STRESS is a general purpose programming system for the analysis of structures. Compared to most other structural programs it has three distinguishing characteristics: (1) The input language is that of the structural engineer which makes possible direct communication between the engineer and the machine; (2) The system is capable of analyzing a wide variety of structural types and loading conditions thus permitting industrial use on a routine basis; and (3) The design process is expedited by the fact that modifications of the original structure for alternate designs can be easily executed. This last capability is most effectice when STRESS is used in the time-sharing mode. These features combine to provide a system which not only reduces the effort required for structural analysis but, more significantly, enhances the designer's ability to evolve an efficient structure. (Author)
Some aspects of pattern recognition by computer by Adolfo Guzmán( Book )

1 edition published in 1967 in English and held by 3 WorldCat member libraries worldwide

A computer may gather a lot of information from its environment in an optical or graphical manner, if a TV picture of a scene is transformed into a symbolic description of points and lines, or surfaces. This thesis describes several programs, written in the language CONVERT, for analyzing such descriptions in order to recognize, differentiate, and identify desired objects or classes of objects in a scene. Examples are given in each case. Important restrictions and suppositions are: (a) input is assumed perfect (noiseless) and in a symbolic format; (b) no perspective deformation is considered. A portion of this thesis is devoted to the study of models (symbolic representations) of the objects we want to identify, and different schemes, some of them already in use, are discussed. Focusing attention on the more general problem of identifying general objects when they substantially overlap, some schemes are proposed for such recognition, and some concurrent problems are analyzed. (Author)
Transmission of Information Between a Man-Machine Decision System and Its Environment by Douglas M Wells( Book )

1 edition published in 1971 in English and held by 3 WorldCat member libraries worldwide

The paper describes the structure of the external communication facilities of a highly-interactive information system designed to assist a user in making non-trival decisions. The report also examines the usefulness of functional modularity and specification of canonical form interfaces as an aid in the comprehension of the interaction of the various modules of a complex system. The areas of external communication defined and examined are: data collection, process management, report generation, and facilities management. (Author)
The Relational Approach to the Management of Data Bases by Alois J Strnad( Book )

1 edition published in 1971 in English and held by 3 WorldCat member libraries worldwide

The paper is concerned with the design and implementation of a relational system for management of Large Data Bases (LDB) at M.I.T., Project MAC. The following six major requirements were determined for the management of LDB in a dynamically varying environment, such as an Interactive Management System: high degree of flexibility; data independence; ability to operate on different data structures; access path independent of data structure; access control below the file level; uniform retrieval time. The view is taken that information one might store in the LDB consists of sets of data elements and sets of relations among data elements. The basic set theoretic operations are used for manipulating and operating upon these sets. (Author)

1 edition published in 1964 in English and held by 3 WorldCat member libraries worldwide

The notion of machine-aided cognition implies an intimate collaboration between a human user and a computer in a real-time dialogue on the solution of a problem, in which the two parties contribute their best capabilities. In order for this intimate collaboration to be possible, a computer system is needed that can serve simultaneously a large number of people, and that is easily accessible to them, both physically and intellectually. The present MAC System is a first step toward this goal. The purpose of this paper is to present a brief description of the current system, to report on the experience gained from its operation, and to indicate directions along which future developments are likely to proceed. (Author)
Computer recognition of three-dimensional objects in a visual scene by Adolfo Guzmán( Book )

1 edition published in 1968 in English and held by 3 WorldCat member libraries worldwide

Methods are presented: (1) to partition or decompose a visual scene into the bodies forming it; (2) to position these bodies in three-dimensional space, by combining two scenes that make a stereoscopic pair; (3) to find the regions or zones of a visual scene that belong to its background; (4) to carry out the isolation of objects in (1) when the input has inaccuracies. Running computer programs implement the methods, and many examples illustrate their behavior. The input is a two-dimensional line-drawing of the scene, assumed to contain three-dimensional bodies possessing flat faces (polyhedra); some of them may be partially occluded. Suggestions are made for extending the work to curved objects. Some comparisons are made with human visual perception. The main conclusion is that it is possible to sseparate a picture or scene into the constituent objects exclusively in basis of monocular geometric properties (in basis of pure form); in fact, successful methods are shown. (Author)
Program structure in a multi-access computer by Jack B Dennis( Book )

1 edition published in 1964 in English and held by 3 WorldCat member libraries worldwide

A multi-access computer (MAC) system consists of processing units and directly addressable main memory in which procedure information is interpreted as sequences of operations on data, a system of terminal devices through which users may communicate with procedures operating for them, and mass memory where procedures and data may be held when not required for immediate reference. One fundamental attraction of the MAC concept is the increased productivity of 'computer catalyzed research' that results from close man-machine interaction. Another attraction is wealth of data and procedures that are accessible to a large user community through the file memory of a MAC system
Project mac: progress report iv, july 1966-july 1967( Book )

1 edition published in 1967 in English and held by 2 WorldCat member libraries worldwide

The broad goal of Project MAC is experimental investigation of new ways in which on-line use of computers can aid people in their individual work, whether research, engineering design, management, or education. (Author)
ADEPT : a heuristic program for proving theorems of group theory by Lewis Mark Norton( Book )

2 editions published in 1966 in English and held by 2 WorldCat member libraries worldwide

A computer program, named ADEPT (A Distinctly Empirical Prover of Theorems), has been written which proves theorems taken from the abstract theory of groups. Its organization is basically heuristic, incorporating many of the techniques of the human mathematician in a 'natural' way. This program has proved almost 100 theorems, as well as serving as a vehicle for testing and evaluating special-purpose heuristics. A detailed description of the program is supplemented by accounts of its performance on a number of theorems, thus providing many insights into the particular problems inherent in the design of a procedure capable of proving a variety of theorems from this domain. Suggestions have been formulated for further efforts along these lines, and comparisons with related work previously reported in the literature have been made. (Author)
A model for process representation and synthesis by R. H Thomas( Book )

2 editions published in 1971 in English and held by 2 WorldCat member libraries worldwide

The dissertation investigates the problem of representing groups of loosely connected processes and develops a model for process representation useful for synthesizing complex patterns of process behavior. There are three parts to the dissertation. The first part isolates the concepts which form the basis for the process representation model by focusing on questions such as: What is a process; What is an event; Should one process be able to restrict the capabilities of another. The second part develops a model for process representation which captures the concepts and intuitions developed in the first part. The model presented is able to describe both the internal structure of individual processes and the interface structure between interacting processes. Much of the model's descriptive power derives from its use of the notion of process state as a vehicle for relating the internal and external aspects of process behavior. The third part demonstrates by example that the model for process representation is a useful one for synthesizing process behavior patterns. In it the model is used to define a variety of interesting process behavior patterns. The dissertation closes by suggesting how the model could be used as a semantic base for a very potent language extension facility. (Author)
Computer analysis of visual properties of curved objects by Leopold Krakauer( Book )

2 editions published in 1971 in English and held by 2 WorldCat member libraries worldwide

A method is presented for the visual analysis of objects by computer. It is particularly well suited for opaque objects with smoothly curved surfaces. The method extracts information about the object's surface properties, including measures of its specularity, texture, and regularity. It also aids in determining the object's shape. The application of this method to a simple recognition task -- the recognition of fruit -- is discussed. The results on a more complex smoothly curved object, a human face, are also considered. (Author)
Economies of scale in computer use : initial tests and implications for the computer utility by Lee L Selwyn( Book )

2 editions published in 1970 in English and held by 2 WorldCat member libraries worldwide

The study is concerned with the existence of economies of scale in the production of data processing and other computing services, and the possible regulatory and public policy implications of such economies. An analysis was made of data on nearly 10,000 computers installed at firms in manufacturing industries, using the survival technique, which uses market experience as a basis for studying levels of optimum plant size. The results of this analysis suggested that users did operate computers as if there were significant economies of scale in their use. (Author)
Information processing and transmission in cellular automata by Edwin R Banks( Book )

2 editions published in 1971 in English and held by 2 WorldCat member libraries worldwide

A cellular automation is an iterative array of very simple identical information processing machines called cells. Each cell can communicate with neighboring cells. At discrete moments of time the cells can change from one state to another as a function of the states of the cell and its neighbors. Thus on a global basis, the collection of cells is characterized by some type of behavior. The goal of this investigation was to determine just how simple the individual cells could be while the global behavior achieved some specified criterion of complexity -- usually the ability to perform a computation or to reproduce some pattern. The chief result described in this thesis is that an array of identical square cells (in two dimensions), each cell of which communicates directly with only its four nearest edge neighbors and each of which can exist in only two states, can perform any computation. This computation proceeds in a straight forward way. (Author)
Deadlock-free sharing of resources in asynchronous systems by Prakash G Hebalkar( Book )

2 editions published in 1970 in English and held by 2 WorldCat member libraries worldwide

Whenever resources are shared among several activities that hoard resources, the activities can attain a state of deadlock in which, for lack of resources, none of the activities can proceed. Deadlocks can be prevented by coordination of the sharing. Efficient running of the activities under such coordination requires knowledge of the patterns of use of resources by the activities. This thesis presents a study of deadlock prevention in systems in which a knowledge of the usage of resources by the activities during several phases of steady resource usage is available. A representation called a demand graph is presented and used for the study of deadlocks. The model is a general one and encompasses systems in which the activities themselves consist of more than one sequence of phases and are not necessarily independent of each other. The analysis is applicable to computer systems as well as systems in the realm of operations research. (Author)
A low-cost output terminal for time-shared computers by Ronald C Rosenberg( Book )

2 editions published in 1967 in English and held by 2 WorldCat member libraries worldwide

A low cost remote terminal which provides output in switch form from a time-shared digital computer is described. The terminal consists of a modified model 35 KSR teletype and a local memory unit. The unit is independent of the particular computer, and is easy to test and maintain. The states of the memory control and memory words are observable directly by indicator lights. An application of the memory to the automatic set-up and control of an analog computation are displayed on an oscilloscope; this makes possible, for example, the rapid display of time response of linear systems, under digital program control. (Author)
CTSS technical notes by Project MAC (Massachusetts Institute of Technology)( Book )

1 edition published in 1965 in English and held by 2 WorldCat member libraries worldwide

This report is a technical description of the 7094 Compatible Time Sharing System in use at Project MAC and the M.I.T. Computation Center. It is designed to acquaint a system programmer with the techniques of construction which were used in this particular timesharing system. Separate chapters discuss the overall supervisor program flow; console message input and output; the scheduling and storage algorithms; and a thumbnail sketch is given of each of the subroutines which make up the supervisor program. This report was prepared with the aid of the compatible time-sharing system and the TYPSET and RUNOFF commands. (Author)
Symbolic integration by Joel Moses( Book )

1 edition published in 1967 in English and held by 2 WorldCat member libraries worldwide

SIN and SOLDIER are heuristic programs written in LISP which solve symbolic integration problems. SIN (Symbolic INtegrator) solves indefinite integration problems at the difficulty approaching those in the larger integral tables. SIN contains several more methods than are used in the previous symbolic integration program SAINT, and solves most of the problems attempted by SAINT in less than one second. SOLDIER (SOLution of Ordinary DIfferential Equations Routine) solves first-order, first-degree, ordinary differential equations at the level of a good college sophomore and at an average of about five seconds per problem attempted. The differences in philosopy and operation between SAINT and SIN are described, and suggestions are made for extending this work. (Author)
moreShow More Titles
fewerShow Fewer Titles
Audience Level
Audience Level
  Kids General Special  
Audience level: 0.77 (from 0.72 for Computer r ... to 0.81 for A New List ...)

English (27)