|
|
Creator | Title | Description | Subject | Date |
76 |
|
Faugeras, Olivier Dominique | Digital color image processing and psychophysics within the framework of a human visual model | A three-dimensional homomorphic model of human color vision based on neurophysiological and psychophysical evidence is presented. This model permits the quantitative definition of perceptually important parameters such as brightness. saturation, huo and strength. By modelling neural interaction in t... | Human visual model; Neurophysiological evidence; Psychophysical evidence | 1977 |
77 |
|
Allen, Edgar S. | Sensory information processing (1 July 1975 - 31 December 1975) | In the previous semi-annual report a new method was described for removing blur from photographic images. Several experiments are described here illustrating the effect of adjusting the cutoff frequency of filters used in the restoration scheme. | Blur; Photographic images; Restoration scheme | 1977 |
78 |
|
Boll, Steven F.; Done, William John | Noise suppression methods for robust speech processing (1 Oct. 1978- 31 Mar. 1981) | Robust speech processing in practical operating environments requires effective environmental and processor noise suppression. This report describes the technical findings and accomplishments during this reporting period for period for research program funded to develop real time, compressed speech ... | Noise suppression; Compressed speech analysis-synthesis algorithms; Signal contamination | 1978 |
79 |
|
Davis, Alan L. | Data driven nets: a maximally concurrent, procedural, parallel process representation for distributed control systems | A procedural parallel process representation, known as data-driven nets is described. The sequencing mechanism of the data-driven representation is based on the principle of data dependency. Operations are driven into action by the arrival of the required working set of input operands. Execution of ... | Data driven nets | 1978 |
80 |
|
Keller, Robert M. | Sentinels: A concept for multiprocess coordination | The sentinel construct is introduced, which provides a certain syntactic and semantic framework for multiprocess coordination. The advantage of this construct over others is argued to be semantic transparency, efficiency, ease in implementation, and usefulness in verfication. | Sentinels; Multiprocess coordination; Sentinel construct | 1978 |
81 |
|
Keller, Robert M.; Lindstrom, Gary E. | An architecture for a loosely-coupled parallel processor | An architecture for a large (e. g. 1000 processor) parallel computer is presented. The processors are loosely-coupled, in the sense that communication among them is fully asynchronous, and each processor is generally not unduly delayed by any immediate need for specific data values. The network supp... | Loosely-coupled; Parallel processors | 1978 |
82 |
|
Evans, David | Display of complex three dimensional finite element models | Complex three dimensional models can be displayed after an automatic generation of a finite element (panel) mapping. although this automatic generation algorithm fails at certain levels of model complexity, the elimination of these failures can be accomplished through user interaction. This report p... | Three dimensional models; Finite element models | 1978 |
83 |
|
Keller, Robert M. | An approach to determinacy proofs | It is known that any parallel program graph composed of continuous operators itself represents a continuous function. In other words, the network is determinate in the sense that for a given input, the output is unique, independent of the timing of the constituent operators. This result is applied t... | Parallel program graph; Determinacy proofs | 1978 |
84 |
|
Boll, Steven F. | Suppression of acoustic noise in speech using two microphone adaptive noise cancellation | Acoustic noise with energy greater or equal to the speech is suppressed by filtering a separately recorded correlated noise signal and subtracting it from the speech waveform. This approach was investigated to determine the degree of noise suppression possible using an external correlated input. The... | Suppression; acoustic noise; adaptive noise cancellation | 1979 |
85 |
|
Boll, Steven F.; Timothy, LaMar K. | Noise suppression methods for robust speech processing (1 Oct. 1978- 31 Mar. 1979) | Robust speech processing in practical operating environments requires effective environmental and processor noise suppression. This report describes the technical findings and accomplishments during this reporting period for the research program funded to develop real time, compressed speech analysi... | Noise suppression; Signal contamination; Compressed speech analysis-synthesis algorithms | 1979 |
86 |
|
Lindstrom, Gary E. | Alpha-beta pruning on evolving game trees | The alpha-beta strategy is a widely used method for economizing on the size of game trees. Heretofore, its application has been limited to depth-first tree growth in recursive search functions. However, many modern game players use retentive (i.e. coroutine-based) control to achieve greater attentio... | Alpha-beta pruning; Game trees | 1979 |
87 |
|
Organick, Elliott I. | CASL - A language for automating the implementation of computer architectures | The computer Architecture Specification Language (CASL), described in this paper, is intended for use by computer architects CASL is a state machine description language especially useful for describing digital systems at the "register transfer" level and designed to meet the needs of the computer a... | Computer Architecture Specification Language | 1979 |
88 |
|
Boll, Steven F. | Suppression of acoustic noise in speech using spectral subtraction | A stand alone noise suppression algorithm is presented for reducing the spectral effects of acoustically added noise in speech. Effective performance of digital speech processors operating in practical environments may require suppression of noise from the digital waveform. Spectral subtraction offe... | Suppression; acoustic noise; noise suppression algorithm; digital speech processors; Spectral subtraction | 1979 |
89 |
|
Riesenfeld, Richard F. | Discrete B-splines and subdivision techniques in compter-aided geometric design and computer graphics | The relevant theory of discrete 5-sphnes with associated new algorithms is extended to provide a framework for understanding and implementing general subdivision schemes for nonuniform B-splines. The new derived polygon corresponding to an arbitrary refinement of the knot vector for an existing .B-... | | 1979 |
90 |
|
Pulsipher, Dennis Carl | Application of adaptive noise cancellation to noise reduction in audio signals | The LMS adaptive noise cancellation algorithm has been applied to the removal of high-level white noise from audio signals. Simulations and actual acoustically recorded signals have been processed successfully, with excellent agreement between the results obtained from simulations and the results ob... | Noise cancellation; Noise reduction; White noise; LMS algorithm | 1979 |
91 |
|
Riesenfeld, Richard F. | The application of total positivity to computer aided curve and surface design | Of particular importance in an interactive curve and surface design system is the interface to the user. The mathematical model employed in the system must be sufficiently flexible for interaction between designer and machine to converge to a satisfactory result. The mathematical theory of Total Pos... | interactive curves; total positivity | 1979 |
92 |
|
Done, William John | Estimation of the parameters of an autoregressive process in the presence of additive white noise | Applications of linear prediction (LP) algorithms have been successful in modeling various physical processes. In the area of speech analysis this has resulted in the development of LP vocoders, devices used in digital speech communication systems. The LP algorithms used in speech and other areas ar... | Autoregressive process; Linear prediction algorithms; All-pole model | 1979 |
93 |
|
Boll, Steven F. | Noise suppression methods for robust speech processing (1 April 1979- 30 Sept. 1979) | Robust speech processing in practical operating environments requires effective environmental and processor noise suppression. This report describes the technical findings and accomplishments during this reporting period for the research program funded to develop real-time, compressed speech analysi... | Noise suppression; Signal contamination; Compressed speech analysis-synthesis algorithms | 1979 |
94 |
|
Lindstrom, Gary E. | Referencing and retention in block-structured coroutines | The combination of coroutines with recursive procedures is characteristic of many modern higher-level languages offering advanced control structures (e.g. SIMULA-67, SL5, Interlisp, etc.). We say a language has block-structured coroutines (BSCRs) when static nesting considerations govern the usage o... | Block-structured; BSCR | 1979 |
95 |
|
Frost, Richard L. | High resolution astronomical imaging through the turbulent atmosphere | This research is principally concerned with the digital reconstruction of star images observed with large ground-based telescopes, although the techniques developed here will have application to a broad class of reconstruction problems. Since the work of Labeyrie, the difficulty in producing accurat... | Astronomical imaging; Turbulent atmosphere; Digital reconstruction; Star images | 1979 |
96 |
|
Organick, Elliott I. | Characteristics of a functional programming language | A programming language kernel is presented where an algorithm is a function defined through a functional expression. The only data structure introduced is an object that may be an atom or a sequence of objects. A number of functional forms are defined, with a notation close to ordinary mathematical ... | | 1980 |
97 |
|
Subrahmanyam, P.A. | On proving the correctness of data type implementations | In order to prove the correctness (or consistency) of an implementation of a data type with respect to the data type's specifications, the minimal amount of information that needs to be provided consists of: (i) a specification of the type being implemented; (ii) a specification of the representati... | Data type; Consistency | 1980 |
98 |
|
Davis, A.L. | Dataflow computers: a tutorial and survey | The demand for very high performance computer has encouraged some researchers in the computer science field to consider alternatives to the conventional notions of program and computer organization. The dataflow computer is one attempt to form a new collection of consistent systems ideas to improve ... | Dataflow computers | 1980 |
99 |
|
Davis, Alan L. | Mathematical representation for VLSI arrays | This paper introduces a methodology for mapping algorithmic description into a concurrent implementation on silicon. This methodology can help in the solution of important problems using a new technique for the representation of highly parallel networks. This new approach for the representation of c... | VLSI arrays | 1980 |
100 |
|
Gerpheide, George E. | Bit-driven logic: a style of digital logic for VLSI design | This memo describes a new style of low-level digital logic design called Bit-Driven Logic (BDL) which may prove attractive for the design of VLSI chips. BDL is an application of speed-independent, data-flow ideas to a very low level. It has the advantages of good locality, clockless operation, and... | Bit-Driven Logic; BDL; Digital logic design; VLSI chips | 1980 |