Search
Now showing items 1-10 of 157
One-Dimensional Edge Detection and Representation
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1979), CS79007-R
One reason no single edge detector has been found that satisfies the requirements of a wide range of image analysis applications is that existing edge detectors often produce unjustifiable interpretations of edge regions ...
Stochastic wave-kinetic theory in the Liouville approximation
(AIP Publishing, 1976-05-01)
The behavior of scalar wave propagation in a wide class of asymptotically conservative, dispersive, weakly inhomogeneous and weakly nonstationary, anisotropic,random media is investigated on the basis of a stochastic, ...
Determination Of Unit Costs For Library Services
(ACRL Publications, 1979-05-01)
As with other public service activities, inflationary trends and public opinion provide a clear mandate for attempts to control the increasing costs of providing library services. Cost control necessarily requires knowledge ...
Symbol Manipulation in an Interactive Environment
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1978), CS78004-R
In an interactive environment the opportunity exists for the on-line execution of an algorithm represented as a sequence of ordered commands. In particular, when the sequence of commands defines a normal Markov algorithm, ...
A Computer Implementation of the Transformations of Formulas into Prenex Normal Form
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1974), CS74010-R
The purpose of this paper is to explain a computerized process whereby any well-formed formula (wff) of first order predicate calculus can be moved to its prenex normal form (PNF). The main features of the program demonstrate ...
Transfer of Apl Workspaces: A Useful Solution
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1978), CS78006-R
Most suppliers of APL have not yet implemented the STAPL convention for trans¬mitting workspaces from one installation to another. This report describes three workspace representations which may be used on a DECsystem-lO ...
An Artificial Intelligence Approach to the Symbolic Factorization of Multivariable Polynomials
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1974), CS74019-R
A new heuristic factorization scheme that uses learning to improve the efficiency of determining the symbolic factorization of multivariable polynomials with integer coefficients and an arbitrary number of variables and ...
Generalized Structured Programming
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1973), CS73003-R
In an effort to eliminate some inconveniences connected with Dijkstra's method of Structured Programming, a generalized set of basic flow graphs for structuring programs is suggested. These structures generate the set of ...
Adhesive bondline interrogation using Stoneley wave methods
(American Institute of Physics, 1979)
In this work, a new technique for analyzing interfacial conditions in completed adhesive bonds is discussed. This method is based on the sensitivity of Stoneley waves, which propagate along the boundary between dissimilar ...
Higher-order effects of initial deformation on the vibrations of crystal plates
(Acoustical Society of America, 1977-02-01)
A system of plate equations for the thickness_shear and flexural vibrations superposed on large initial deflection due to bending is derived; in the stress–strain relations the terms associated with the fourth_order elastic ...