UScholar Works
 
Filters: Date: "1984" Department: "Computing, School of" Collection: ir_uspace
1 - 25 of 10
Number of results to display per page
CreatorTitleDescriptionSubjectDate
1 Panangaden, PrakashAbstract interpretation and indeterminacyWe present a semantic theory that allows us to discuss the semantics of indeterminate operators in a dataflow network. The assumption is made that the language in which the indeterminate operators are written has a construct that allows for the testing of availability of data on input lines. We then...Semantics; Indeterminate operators1984
2 Riesenfeld, Richard F.; Smith, Kent F.An experimental system for computer aided geometric designThe main goal of this proposed level-of-effort project is to extend present capabilities in the area of Computer Aided Geometric Design (CAGD) and to develop custom VLSI support for some special geometric functions.Computer aided geometric design; CAGD; VLSI; Very large scale integration1984
3 Riesenfeld, Richard F.Computer aided designThe report is based on the proposal submitted to the National Science Foundation in September 1981, as part of the Coordinated Experimental Computer Science Research Program. The sections covering the budget and biographical data on the senior research personnel have not been included. Also, the sec...1984
4 Henderson, Thomas C.Implementing multi-sensor systems in a functional languageWe discuss a methodology for configuring systems of sensors using a functional language. To date no such general methodology exists, and existing multi-sensor systems have been hand-crafted around a particular application. Our main point is that the use of abstraction and of functional language fe...Multi-sensor systems; Multisensor systems1984
5 Henderson, Thomas C.Logical sensor systemsMulti-sensor systems require a coherent and efficient treatment of the information provided by the various sensors. We propose a framework the Logical Sensor Specification System, in which the sensors can be abstractly defined in terms of computational processes operating on the output from other se...Logical sensor systems; Multi-sensor systems; Multisensor systems; Logical Sensor Specification System1984
6 Hansen, Charles D.; Henderson, Thomas C.MKS: a multisensor kernel systemThe multisensor kernel system (MKS) is presented as a means for multisensor integration and data acquisition. This system has been developed in the context of a robot work station equipped with various types of sensors utilizing three-dimensional laser range finder data and two-dimensional camera da...Multisensor kernel system; Spatial proximity graphs1984
7 Bhanu, BirRepresentation and shape matching of 3-D objectsA three-dimensional scene analysis system for the shape matching of real world 3-D objects is presented. Various issues related to representation and modeling of 3-D objects are addressed. A new method for the approximation of 3-D objects by a set of planar faces is discussed. The major advantage of...3-D objects; Representation; Shape matching; Scene analysis system1984
8 Keller, Robert M.Semantics of networks containing indeterminate operatorsWe discuss a denotational semantics for networks containing indeterminate operators. Our approach is based on modelling a networks by the set of all its possible behaviors. Our notion of behavior is a sequence of computational actions. The primitive computational action is an event: the appearance o...1984
9 Bhanu, BirShape matching of two-dimensional objectsIn this paper we present results in the areas of shape matching of nonoccluded and occluded two-dimensional objects. Shape matching is viewed as a "segment matching" problem. Unlike the previous work, the technique is based on a stochastic labeling procedure which explicitly maximizes a criterion ...Shape matching; Two-dimensional objects; Segment matching1984
10 Pickett, Forrest B.Simulation of CellsA self-timed cell set and library for the design of integrated circuits is presented. The cell set and library are two different cellular methods of designing integrated circuits. These have been incorporated to form a hybrid system which exploits the advantages provided by each. The cell set an...Self-timed; Cell set1984
1 - 25 of 10