Browsing CS Technical Reports by Title
Now showing items 10551074 of 1769

On Inequality Tableaux
(University of WisconsinMadison Department of Computer Sciences, 1980) 
On KLine and K x K block Iterative Schemes for a Problem Arising in 3D Elliptic Difference Equations
(University of WisconsinMadison Department of Computer Sciences, 1980) 
On Knapsacks, Partitions, and a New Dynamic Programming Technique for Trees
(University of WisconsinMadison Department of Computer Sciences, 1980) 
On Maintaining Dynamic Information in a Concurrent Environment
(University of WisconsinMadison Department of Computer Sciences, 1984) 
On MCR[v] Multigrid Methods
(University of WisconsinMadison Department of Computer Sciences, 1985) 
On Mixing Queries and Transactions Via Multiversion Locking
(University of WisconsinMadison Department of Computer Sciences, 1991) 
On Multivariate Approximation By Integer Translates of a Basis Function
(University of WisconsinMadison Department of Computer Sciences, 1989)Approximation properties of the dilations of the integer translates of a smooth function, with some derivatives vanishing at infinity, are studied. The results apply to fundamental solutions of homogeneous elliptic operators ... 
On Multivariate Polynomial Interpolation
(University of WisconsinMadison Department of Computer Sciences, 1989) 
On Multivariate Polynomial Interpolation
(University of WisconsinMadison Department of Computer Sciences, 1989)A class of spaces of multivariate polynomials, closed under differentiation, is studied and corresponding classes of well posed Hermitetype interpolation problems are presented. All Hermitetype problems are limits of ... 
On NewtonLike Methods
(University of WisconsinMadison Department of Computer Sciences, 1968) 
On NonIntersecting Eulerian Circuits
(University of WisconsinMadison Department of Computer Sciences, 1984)The following question arises in flamecutting and similar applications. "Given a graph drawn in the plane, is there an Eulerian circuit in which successive edges always belong to a common face?" We prove that this ... 
On Packing TwoDimensional Bins
(University of WisconsinMadison Department of Computer Sciences, 1981) 
On Parsing and Compiling Arithmetic Expressions in Parallel Computational Environments
(University of WisconsinMadison Department of Computer Sciences, 1975)The problem of parsing and compiling arithmetic expressions in parallel computational environments is considered. It is seen that the concept of Operator Precedence can be generalized to allow encodings of one or more ... 
On Polynomial Ideals of Finite Codimension with Applications to Box Spline Theory
(University of WisconsinMadison Department of Computer Sciences, 1989)We investigate here the relations between an ideal I of finite codimension in the space ??of multivariate polynomials and various ideals which are generated by lower order perturbations of the generators of I. Special ... 
On Programming Dependences Between Parallel Processes
(University of WisconsinMadison Department of Computer Sciences, 1975)In order to study the problems of synchronization between concurrent processes, a distinction is made between the level of the formal models, the level of programming tools, and the level of the implementation practicalities. ... 
On ScrewTransform Manifolds
(University of WisconsinMadison Department of Computer Sciences, 2003)This paper describes the mathematical theory of screwtransform manifolds and their use in camera self calibration. When a camera with fixed internal parameters views a scene from two different locations, the physical t ... 
On Strong Digraphs With a Unique Minimally Strong Subdigraph
(University of WisconsinMadison Department of Computer Sciences, 1986) 
On Testing for InsertCorrectability in ContextFree Grammars
(University of WisconsinMadison Department of Computer Sciences, 1979) 
On the Adequacy of DependenceBased Representations for Programs with Heaps
(University of WisconsinMadison Department of Computer Sciences, 1991) 
On the Adequacy of Program Dependence Graphs for Representing Programs
(University of WisconsinMadison Department of Computer Sciences, 1987)