Test incorporations are program transformations that improve the performance of generate-and-test procedures by moving information out of the "test" and into the "generator." The test information is said to be "incorporated" into the generator so that items produced by the generator are guaranteed to satisfy the incorporated test. This article...
In recent papers on machine learning, the term 'operationalization' has been used to describe the purpose of the learning process. In particular, explanation-based learning systems are said to 'operationalize' the given target concept. Unfortunately, the exact meaning of this term has varied from one paper to another, and frequently the...
Several methods are developed for analyzing data containing a highly variable internal tide. In particular, the methods are aimed at the analysis of moored observations with relatively few measurements in the vertical. The analysis depends upon an "elliptical decomposition" that is a generalization of the familiar "rotary decomposition." The technique...