It is shown that a combination of specification and program refinement may be applied to deriving efficient concurrent rule-based programs. Specification refinement is used to generate an initial rule-based program that is refined into a program which is highly concurrent and efficient. This program derivation strategy is divided into two major tasks. The first task relies on specification refinement. Techniques similar to those employed in the derivation of UNITY programs are used to produce a correct rule-based program having a static knowledge base. The second task involves program refinement and is specific to the development of concurrent rule-based programs. It relies heavily on the availability of a computational model, such as Swarm, that has the ability to dynamically restructure the knowledge base. The ways in which a Swarm program can be translated to OPS5 specifically, given some restrictions, while maintaining the correctness criteria are discussed.>

This paper describes a formal approach for developing concurrent rule-based programs. Specification refinement is used to generate an initial version of the program. Program refinement is then applied to produce a highly concurrent and efficient version of the same program. Techniques for deriving concurrent programs through either specification or program refinement have been described in previous literature. The main contribution of this paper consists of extending the applicability of these techniques to a broad class of rule-based programs. To the best of our knowledge, this is the first time formal derivation is employed in the context of rule-based programming.

A novel method for character recognition targeted at complex annotations found in engineering documents is presented. A feasibility study is described in which characters extracted from engineering drawings were recognized without error from a class of 36 distinct alphanumeric patterns by a neural network classifier trained with multiscale representations. An incremental strategy is presented for resolution which relies upon the continuity between hierarchical levels of a novel multiscale decomposition. The authors observed a 16-fold reduction in the amount of information needed to represent each character for recognition. These results suggest high reliability at a reduced cost of representation.>

No abstract available.

A methodology is presented for designing detectors which locate specific features in an image. The method is applied to the detection and segmentation of spherical features. A vital part of the detection and segmentation is the use of the gradient angle transform. An analysis of the gradient angle for ideal spheres is presented, with a discussion of how this may be used to locate the boundaries of the sphere. The algorithms used by a program which detects and segments spherical features are then presented. The results of applying the program to images with man-made spherical features are given.>