|
|
Creator | Title | Description | Subject | Date |
151 |
|
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 |
152 |
|
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 |
153 |
|
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 |
154 |
|
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 |
155 |
|
Mathews, V. John | Adaptive realizations of the maximum likelihood processor for time delay estimation | Abstract-This correspondence introduces an adaptive realization of the maximum likelihood (ML) processor for time delay estimation (TDE). Also presented is a modified ML processor, which requires less computations but still performs better than the other when implemented in an adaptive way. Widrow'... | | 1984 |
156 |
|
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 |
157 |
|
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 |
158 |
|
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 |
159 |
|
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 |
160 |
|
Mathews, V. John | Adaptive nonlinear digital filter with sequential regression algorithm | The purpose of this paper is to introduce an adaptive nonlinear digital filtering algorithm which use the sequential regression (SER) method to update the second order Volterra filter coefficients in a recursive way. Conventionally, the SER method has been used to invert large matrices which result ... | | 1984 |
161 |
|
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 |
162 |
|
Mathews, V. John | Adaptive realizations of the phase transform for time delay estimation | ABSTRACT This paper introduces two recursive realizations of the Phase Transforn (PHAT) processor for tine delay estimation (TOE), using a simple one-pole lowpass filter and the least mean square (LMS) adaptive filter, respectively. It is shown that these adaptive methods are very effective in redu... | | 1984 |
163 |
|
Mathews, V. John | Spectral leakage suppression properties of linear and quadratic windowing | Abstract-It is shown that the leakage suppression properties of segment averaging spectrum estimation methods using hear windows and equivalent quadratic windows are asymptotically the same, under the assumption that segments relatively far apart are uncorrelated. Thus, for large data lengths, one ... | | 1984 |
164 |
|
Horch, Kenneth W.; Tuckett, Robert P.; Burgess, Paul Richard | Neural signal for the intensity of a tactile stimulus | The effect of indenting the skin at different rates on the perceived intensity of the stimulus was studied by indenting the skin of the fingertip with two triangular waveforms, given as a pair. The subjects were asked to judge which member of the pair was more intense. Perceived intensity was foun... | Skin; Indentation; Nerve impulses | 1984 |
165 |
|
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 |
166 |
|
Panangaden, Prakash | A category theoretic formalism for abstract interpretation | We present a formal theory of abstract interpretation based on a new category theoretic formalism. This formalism allows one to derive a collecting semantics which preserves continuity of lifted functions and for which the lifting functon is itself continuous. The theory of abstract interpretation i... | Formal theory; Theoretic formalism; Lifted functions | 1984 |
167 |
|
Christensen, Douglas A. | Multiple sensor optical thermometry system for application in clinical hyperthermia | The thermometry system described is based upon the temperature dependence of the band edge absorption of infrared light in GaAs crystal. The design of the thermometry was completed, and the system was subjected to an extensive evaluation, including testing with tissue phantoms and microwave applic... | Thermometry; Hyperthermia applicator; Phantom tests | 1984-01 |
168 |
|
Stringfellow, Gerald B.; Cohen, Richard M. | Organometallic vapor phase epitaxial growth of high purity GaInAs using trimethylindium | Gax In1−xAs lattice matched to the InP substrate (x=0.47) has been grown by organometallic vapor phase epitaxy using trimethylindium (TMIn) and trimethylgallium (TMGa) as the group III sources and AsH3 as the As source. In a simple, horizontal, atmospheric pressure reactor, the GaInAs growth proce... | Electron mobilities; Photouminescience; Fabricate modulation | 1984-03-01 |
169 |
|
Bhanu, Bir | Segmentation of complex outdoor scenes | A new simpler approach to image segmentation via recursive region splitting and merging is presented. Unlike other techniques the kernel of splitting is based on a generalization of a two class gradient relaxation method and merging uses a statistical analysis of variance. | Image segmentation; Outdoor scenes; Recursive region splitting; Segmentation algorithm | 1985 |
170 |
|
Keller, Robert M. | Rediflow architecture prospectus | Rediflow is intended as a multi-function (symbolic and numeric) multiprocessor, demonstrating techniques for achieving speedup for Lisp-coded problems through the use of advanced programming concepts, high-speed communication, and dynamic load-distribution, in a manner suitable for scaling to upward... | Rediflow; Multi-function multiprocessors; Lisp-coded problems | 1985 |
171 |
|
Henderson, Thomas C.; Bhanu, Bir | CAGD based 3-D visual recognition | A coherent automated manufacturing system needs to include CAD/CAM, computer vision, and object manipulation. Currently, most systems which support CAD/CAM do not provide for vision or manipulation and similarly, vision and manipulation systems incorporate no explicit relation to CAD/CAM models. CAD... | Object manipulation; CAGD | 1985 |
172 |
|
Henderson, Thomas C. | Arc and path consistency revisited | Mackworth and Freuder have analyzed the time complexity of several constraint satisfaction algorithms [4]. We present here new algorithms for arc and path consistency and show that the arc consistency algorithm is optimal in time complexity and of the same order space complexity as the earlier algor... | Arc consistency; Path consistency; Constraint satisfaction algorithms | 1985 |
173 |
|
Stringfellow, Gerald B. | Organometallic vapor phase epitaxial growth of AlGaInP | Alx Ga,, In, _ x _ y P with x + y = 0.51, lattice matched to the GaAs substrate, has been grown by organometaUic vapor phase epitaxy. The simple, horizontal, IR heated system operates at atmospheric pressure using the reactants TMA1, TMGa, TMln, PH3, and K2. Alloys giving room temperature, band edge... | Liquid phase epitaxial growth; LPE; Alloys; Surface morphology | 1985 |
174 |
|
Lawton, Evert C. | Development of guidelines for construction control of pile driving and estimation of pile capacity | The work upon which this report is based was supported by the Washington State Department of Transportation and the U. S. Department of Transportation, Federal highway Administration. | | 1985 |
175 |
|
Bhanu, Bir; Henderson, Thomas C. | Range data processing: representation of surfaces by edges | Representation of surfaces by edges is an important and integral part of a robust 3-D model based recognition scheme. Edges in a range image describe the intrinsic characteristics about the shape of the objects. In this paper we present three approaches for detecting edges in 3-D range data. The ap... | Range data; Edges; Recognition scheme; 3-D | 1985 |