Browsing CS Technical Reports by Title
Now showing items 959-978 of 1769
-
Name Protection in Block Structured Programming Languages
(University of Wisconsin-Madison Department of Computer Sciences, 1976)Wulf and Shaw [1] have mentioned four deficiencies of Algol-like name scope rules (side effects, indiscriminant access, vulnerability, and no overlapping definition). In this paper a method is proposed to remedy these ... -
Natural Convection in an Enclosure with Localized Heating From Below
(University of Wisconsin-Madison Department of Computer Sciences, 1972) -
Near-Testable Sets
(University of Wisconsin-Madison Department of Computer Sciences, 1988) -
Nearest Neighbors Query Performance for Unstable Distributions
(University of Wisconsin-Madison Department of Computer Sciences, 1998) -
Necessary and Sufficient Criteria for A-Stability of Linear Multi-Step Integration Formulae
(University of Wisconsin-Madison Department of Computer Sciences, 1972) -
Nested Iterators and Recursive Backtracking
(University of Wisconsin-Madison Department of Computer Sciences, 1980) -
A Net Structure Based Relational Question Answerer: Description and Examples
(University of Wisconsin-Madison Department of Computer Sciences, 1969)A question answering system is described which uses a net structure for storage of information. The net structure consists of nodes an labelled edges, which represent relations between the nodes. The labels are also nodes, ... -
A Net Structure for Semantic Information Storage, Deduction and Retrieval
(University of Wisconsin-Madison Department of Computer Sciences, 1971)This paper descril3es a data structure, MENS (MEmory Net Structure), that is useful for storing semantic information stemming Crom a natural language, and a system, MENTAL (MEmory Net That Answers and Learns) that interacts ... -
Network and Array Architectures for Real-Time Perception
(University of Wisconsin-Madison Department of Computer Sciences, 1981) -
A Network of Neuron-Like Units That Learns to Perceive by Generation as Well as Reweighting of its Links
(University of Wisconsin-Madison Department of Computer Sciences, 1988) -
Network Optimization
(University of Wisconsin-Madison Department of Computer Sciences, 1985) -
Neural Network Training Via Linear Programming
(University of Wisconsin-Madison Department of Computer Sciences, 1990) -
A New Abstraction Framework for Affine Transformers
(2017-05-16)Abstract. This paper addresses the problem of abstracting a set of affine transformers v' = v C + d, where v and v' represent the pre-state and post-state, respectively. We introduce a framework to harness any base abstract ... -
A New Algorithm for Semantics-Based Program Integration
(University of Wisconsin-Madison Department of Computer Sciences, 1990) -
New Algorithms for Finding Irreducible Polynomials Over Finite Fields
(University of Wisconsin-Madison Department of Computer Sciences, 1988) -
A New Approach for Attribute Evaluation and Error Correction in Compilers
(University of Wisconsin-Madison Department of Computer Sciences, 1982) -
A New Class of Highly-Stable Methods: $A sub 0 - Stable Methods
(University of Wisconsin-Madison Department of Computer Sciences, 1973) -
A New Class of Sufficient Optimality Conditions for Integer Programming
(University of Wisconsin-Madison Department of Computer Sciences, 1975)The purpose of this report is to present a new class of sufficient optimality conditions for pure and mixed integer programming problems. Some of the sets of sufficient conditions presented can be thought of as generalizations ... -
New Error Bounds for the Linear Complementarity Problem
(University of Wisconsin-Madison Department of Computer Sciences, 1992) -
New Error Bounds for the Linear Complementarity Problem
(University of Wisconsin-Madison Department of Computer Sciences, 1993)