|
|
Creator | Title | Description | Subject | Date |
1 |
|
Panangaden, Prakash | Abstract interpretation and indeterminacy | We 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 operators | 1984 |
2 |
|
Riesenfeld, Richard F.; Smith, Kent F. | An experimental system for computer aided geometric design | The 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 integration | 1984 |
3 |
|
Riesenfeld, Richard F. | Computer aided design | The 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 language | We 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 systems | 1984 |
5 |
|
Henderson, Thomas C. | Logical sensor systems | Multi-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 System | 1984 |
6 |
|
Hansen, Charles D.; Henderson, Thomas C. | MKS: a multisensor kernel system | The 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 graphs | 1984 |
7 |
|
Bhanu, Bir | Representation and shape matching of 3-D objects | A 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 system | 1984 |
8 |
|
Keller, Robert M. | Semantics of networks containing indeterminate operators | We 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, Bir | Shape matching of two-dimensional objects | In 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 matching | 1984 |
10 |
|
Pickett, Forrest B. | Simulation of Cells | A 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 set | 1984 |