SMALL

The current literature on expert systems development in Prolog is replete with sample inference engines. However, the available models tend to be fragmentary and simplistic. Important issues such as how to incorporate arithmetic evaluation into the ...

The process of “redistricting” involves the division of a land surface into two or more pieces. In a political setting, the districts thus formed serve as groups of voters that elect the same public officials. Other types of redistricting problems ...

The FAULT FINDER Expert System implements fault isolation decisions for any target system or equipment that can be modeled by lowest replaceable units (hereafter called LRUs). The term “Target System” will be used to refer to the system being fault ...

This paper is concerned with the specification and verification of an active message system. Aspects of specification and verification of active messages are discussed. Approaches to the formal specification and verification of active message design are ...

Security measures in small and personal computer systems are exacerbated by the limited resources available. Inference of information from databases on any system is one security concern which involves breaches by authorized users of the system. One ...

In this paper, ASK, a kernel for programming actor systems under MS-DOS operating system, is presented. The kernel was designed to define and test a set of primitives based on the actor programming model and suitable to be implemented on parallel ...

There is a need for expandable, integrated workstation environments which are simple and straight-forward to use but which can be modified to accommodate a particular user's needs. In this paper, a model is proposed for the development of integrated ...

Database-centered environment architectures differ significantly from file-based architectures. Consequently they require a different set of primitives for tool support. This paper describes a form of tool composition called cotools which provides many ...

As microcomputer technology converges with methods of artificial intelligence, we should see small computing systems that are more responsive to the cognitive functioning of the user. That is, the software should be able to adapt to the user's “...

This paper describes a method of using color to display the actual structure of a Pascal program on a color monitor. This enhancement not only increases a programmer's understanding of the code, but also aids in detecting common structural errors. The ...

To speed up the implementation process of a specific mathematical problem on (sparse) matrices and to increase the quality of the software developed, a system supporting the reusability of units from an existing large software library is particularly ...

Improving the semantic level of the information handling provided by personal computers is likely to be a way both to use the increasing hardware capacities of these machines and to improve their economic impact. While this goal is widely recognized as ...

In this paper we discuss a prototype of the tableau method which derives its rule base from Jeffrey's text [3]. The heuristics are a subset of those outlined for HARP by Oppacher and Suen [4]. The prototype was written in C and intended for use with the ...

In this paper, we present a description of a Prolog implementation of a system (RTR) for “real-time reasoning”, similar to those discussed by Perlis (see [3] and [6]). The reasoning to be performed by the system is “real-time” in two different senses. ...

STP (Simple Theorem Prover) was conceived as a tool to help gain a better understanding of the concepts and difficulties involved in producing a generalized automated theorem prover for first-order logic, such as ITP (Interactive Theorem Prover). The ...

Since their introduction, microcomputers have undergone a revolution in which the standard text-based input and output facilities have been replaced by powerful graphics and pointing devices. As a result, most applications are now driven by easy-to-use ...

This paper presents an integrated approach to the cost-effective support of microcomputers and their applications in an actual campus environment. Hardware and software standards, departmental LAN's, a campus network, large central computers, and ...

This paper describes two implementations of a tape recorder simulator. One is based on hard-wired logic and the other on microcomputer programmed logic approach. Both implementations are compared and evaluated for such points as flexibility, speed, ...

A multitasking operating system for an IBM PC or compatible has been developed to provide students with an educational opportunity for hands-on experience with concurrent programming concepts. The operating system includes features which permit users to ...

This paper describes the structure and capabilities of a memory adjustable, menu driven software system, mostly written in C programming language for the classification and retrieval of multidimensional data.

To group patterns, the system uses the single ...

An important open problem in the field of case-based reasoning is the retrieval of relevant cross-contextual cases. This paper describes an approach to the problem based on Schank's dynamic memory theory of human memory and an implementation of that ...

Palindromes are strings of symbols which are symmetrical about the center. This paper outlines a method for generating certain types of palindromes, called lexical palindromes, which consist of legitimate English words. The method reported provides ...

This paper reports the results of evaluating a large sample of the 23,858 type-10 homographs found in Roget's International Thesaurus (3rd Ed.) as defined by the Bryan Model of abstract thesauri, of which Roget's is an instantiation. According to the ...

— This paper presents an exploratory approach to the development of a tool for integrating existing databases. The intent is to meet specific requirements and to achieve flexibility through the creation of an “open” system. The methodology assumes an ...

An extended analytical technique for performance evaluation of software packages is introduced. The purpose of this analytical technique is to present the performance evaluation of a system in parametric equations. The equations can be easily used in ...

The CLAuse Retrieval Engine (CLARE) is a coprocessor system which based on two-stage filtering, for handling large sets of disc resident clauses in Prolog database applications. The overall architecture and the timing measurements of the first stage ...

Based on seven assumptions, the following comparison factors are used to compare the performance of linear hashing with extendible hashing: 1. storage utilization; 2. average unsuccessful search cost; 3. average successful search cost; 4. split cost; 5. ...

This paper describes a VLSI layout editor implemented on the Macintosh and IBM personal computers. The editor is capable of manipulating integrated circuit designs of complexity exceeding 50,000 transistors on a standard Macintosh Plus computer. The ...

It is commonly recognized that AI Languages, such as Common Lisp or Prolog, require a workstation. This is mainly due to the fact that both languages need large amounts of memory space and disk storage space. Workstations are appropriate for a ...