Search
Now showing items 11-20 of 294
A Model of Form Perception and Scene Description
(University of Wisconsin-Madison Department of Computer Sciences, 1974)
This paper examines a computer-programmed model for human recognition and description of scenes of objects that extend over time as well as space. When the scene contains several objects, the model will first output a ...
An Axiomatic Approach to Equivalence of Straight-Line Programs with Structured Variables
(University of Wisconsin-Madison Department of Computer Sciences, 1974)
A program scheme which models straight line code admitting structured variables such as arrays, lists, queues, etc. is considered. A set of expressions is associated with a program reflecting the input-output tranformations. ...
LEXICO Guide No. 3 - Creating and Maintaining a Collection
(University of Wisconsin-Madison Department of Computer Sciences, 1976)
BIBCON: An 1108 Program for Producing Concordances to Prose, Poetry and Bibliographic References
(University of Wisconsin-Madison Department of Computer Sciences, 1971)
A Correctness Proof of the Fisher-Galler Algorithm Using Inductive Assertions
(University of Wisconsin-Madison Department of Computer Sciences, 1970)
Flexible Linguistic Pattern Recognition
(University of Wisconsin-Madison Department of Computer Sciences, 1970)
Fuzzy: A Programming Language for Fuzzy Problem-Solving
(University of Wisconsin-Madison Department of Computer Sciences, 1974)
A new AI programming language is described which provides facilities for the storage, retrieval and manipulation of fuzzy information. The language (called FUZZY) contains such standard features as an associative ...
Unconstrained Lagrangians in Nonlinear Programming
(University of Wisconsin-Madison Department of Computer Sciences, 1974)
The main purpose of this work is to associate a wide class of Lagrangian functions with a nonconvex, inequality and equality constrained optimization problem in such a way that unconstrained stationary points and local ...
On Block Relaxation Techniques
(University of Wisconsin-Madison Department of Computer Sciences, 1978)
In connection with efforts to utilize the CRAY-1 computer efficiently, we present some methods of analysis of rates of convergence for block iterative methods applied to the model problem. One of the more interesting methods ...
Discrete Mechanims for Anisotropic Potentials
(University of Wisconsin-Madison Department of Computer Sciences, 1974)
In previous work, a new type of numerical method for the solution of equations of motion was derived, denoted "discrete mechanics", which has the unique property of conserving the additive constants of motion exactly. The ...