skip to main content
10.1145/800127acmconferencesBook PagePublication Pagesacm-national-conferenceConference Proceedingsconference-collections
ACM '78: Proceedings of the 1978 annual conference
ACM1978 Proceeding
Publisher:
  • Association for Computing Machinery
  • New York
  • NY
  • United States
Conference:
Washington D.C. USA December 4 - 6, 1978
ISBN:
978-0-89791-000-2
Published:
04 December 1978
Sponsors:

Reflects downloads up to 20 Jan 2025Bibliometrics
Abstract

No abstract available.

Article
Free
The Interplay Between Mathematics And Computer Science

The assertion that the taproots of mathematics lie in its applications is a familiar one, and for a clear statement of this thought we have only to quote von Neumann:

“The most vitally characteristic fact about mathematics is, in my opinion, its quite ...

Article
Free
Stylitism, Synergism, And Syncretism: The interface of computer science and operations research

In 1970 I authored a paper dealing with the interface of Operations Research and Computer Science, which was presented at the 37th Meeting of ORSA on April 20-22, 1970. [NANCR70]. That paper, which included the thoughts and opinions of several eminent ...

Article
Free
Computer Science And Recursion Theory

One of the basic concerns of classical mathematical logic has been a rigorous definition of “mathematical proof". A proof may be discovered by luck, genius or accident. But once discovered it is mechanically checkable. Thus the most general type of ...

Article
Free
Computer Science Core Curriculum And Mathematics

The history of computer science and of new areas of applicable mathematics are intimately related. Much of this common development is due to common developers. In the 1940's John von Neumann developed the concept and first implementation of a stored-...

Article
Free
Computer Science And Numerical Analysis

Until the advent of computers, numerical analysis was not considered an attractive area of study. The early computers, designed as they were to attack some of the nation's pressing engineering and scientific problems, sparked an enormous interest in the ...

Article
Free
On The Difference Between Natural Language And High Level Query Languages

Natural Language questions differ from most existing formal query languages in that they tend to admit a wider range of responses than their formal counterparts, and provide cues for selecting among the variety of appropriate responses. These ...

Article
Free
Impertinent Question-Answering Systems: justification and theory

A Question-Answering System (QAS) is impertinent if it tells a user something the user did not ask! Since a user rarely understands the full implications of a data base, especially a large one, his question is limited by his knowledge of the data base. ...

Article
Free
Natural Language Dialogue For Managing An On-Line Calendar

This paper describes a project for studying the feasibility of developing systems which accomplish typical office tasks by means of human-like communication with the user. An actual dialogue with the initial version of a system that is being built for ...

Article
Free
Automating The Office (Panel Discussion): user experiences

This session will describe the experiences of users in implementing the automated office within their companies. The discussions will include descriptions of the approaches taken, the tools implemented, the benefits derived, the problems encountered, ...

Article
Free
A Proposed Masters Degree In Software Engineering

A proposed masters degree program and curriculum in Software Engineering is presented. This program features courses in communication and management skills, as well as improved programming methodologies. Descriptions of seventeen new courses are ...

Article
Free
Educational Issues In Software Engineering

The term “software engineering” came into common usage as a result of the NATO Workshops on Software Engineering in 1968 and 1969 (1). At that time the term was intentionally chosen as a provocation rather than as an indication of actual practice. ...

Article
Free
A Software Engineering Graduate Curriculum

Picking up any large city Sunday paper one cannot help but be impressed by the large demand for “software engineers.” Upon reflection, several questions are raised: Who are these mythical software engineers? What do they do? Where do they come from? Why ...

Article
Free
Diagnostic And Computational Reconfiguration In Multiprocessor Systems

Diagnosis and reconfiguration is concerned with the detection and location of faulty units and the minimization of the effect of faults within a digital system. This topic is motivated by the need for highly available systems that can continue essential ...

Article
Free
A Modular Computer With Petri Net Array Control

This paper presents a computer system with modular functional units which establishes data and control paths dynamically by means of a programmable Petri net array. The input program control flow and the desired allocation of hardware resorces are ...

Article
Free
Reconfigurable Pipeline Systems

Systems with pipeline processing capabilities, processors whose computational subsystems are divided into several distinct stages, each of which may be working with an independent set of data at the same instant of time, are one attractive solution to ...

Article
Free
A Vocational - Technical High School Program

This paper describes the Business Data Processing program for vocational technical education at the Boulder Valley Re-2 Public Schools Area Vocational Technical Center. This program is the result of years of development through constant evaluation by ...

Article
Free
Small Business—A Gold Mine For D.P. Educators

The California State Polytechnic University (Cal Poly) is the scene for a very innovative project in the educational field of data processing. Dr. Reed Powell, former Dean of the School of Business Administration at Cal Poly, set in motion a mechanism ...

Article
Free
Validating The Utility Of Abstraction Techniques

A number of recent research efforts have been based on the hypothesis that encapsulation techniques, formal specification, and verification lead to significant improvements in program quality. As we gain experience with the language facilities produced ...

Article
Free
The Euclid Language: a progress report

Euclid is a programming language for writing verifiable system programs. A compiler for Euclid is being implemented by the authors. Since its definition [1], the language has evolved largely in response to problems discovered in the course of ...

Article
Free
A Report On The Development Of Gypsy

The first version of Gypsy was introduced in 1976 to support the specification and construction of verified programs. A second version has evolved based on the experiences of the last two years. The changes introduced in the second version are ...

Article
Free
Aspects Of Implementing CLU

Linguistic mechanisms used in CLU to support 1) structured exception handling, 2) iteration over abstract objects, and 3) parameterized abstractions are briefly reviewed, and methods of realizing these mechanisms are described. The mechanisms discussed ...

Article
Free
Congressional Reliance On And Use Of Computers

This session will explore the evolution of information support services on Capitol Hill, with an emphasis on the utilization of information technology: computers, microforms, telecommunications, audio and video technologies. The complexities of changing ...

Article
Free
Federal Funding For Basic Research In Computer Science

Each panelist, representing a different Federal agency, will discuss his agency's approach to the support of basic research in computer science and engineering. Some of the topics to be discussed include

1)areas of current activity;

2)budgets; and

3)...

Article
Free
Computer Science And Graduate Education In Applied Mathematics

The term “applied mathematics” in the title and throughout this discussion includes all areas of the mathematical sciences rather than just classical applied mathematics.

The comments in this paper are derived from two primary sources: an ad hoc ...

Article
Free
Complexity Of Computations

Construction of algorithms is a time honored mathematical activity. Euclid's algorithm for finding the greatest common divisor of two integers, as well as the many constructions by a ruler and compass are some of the fruits of the search for algorithms ...

Article
Free
Computer Science And Statistics

This paper develops a theme about a specific, small part of the interface between computer science and statistics - that of kernels of computation. Currently, because of an impending technology revolution, it is important that statisticians and ...

Article
Free
Computer Related Curricular Changes In Traditional Mathematics

The author has been long concerned with the proper role for the computer in undergraduate instruction in mathematics. This was, in part, prompted by the dramatic shift he observed in engineering education which took place in the early 1960s as students ...

Article
Free
Some Comments On EQS, A Near Term Natural Language Data Base Query System

Problems and possibilities for near term natural language query systems are discussed, with emphasis on the author's own system, EQS. First, the general objectives for near term systems in the areas of syntax, world knowledge, discourse, and problem ...

Article
Free
The ROBOT System: Natural language processing applied to data base query

In the early 1970's the natural language processing techniques developed within the field of artificial intelligence (AI) made important progress. Within certain restricted micro worlds of discourse it became possible to process a reasonably large class ...

Article
Free
Rapidly Extendable Natural Language

A major thrust of artificial intelligence research is how to build knowledge of the application domain into computer systems. We investigate how the user himself can introduce his own expert knowledge into his data base system through rapid language ...

Contributors
  • University of Maryland, College Park
  • University of Connecticut Stamford Campus

Recommendations