|
|
Creator | Title | Description | Subject | Date |
51 |
|
Boll, Steven F. | Application of the saber method for improved spectral analysis of noisy speech | A stand alone noise suppression algorithm is described for reducing the spectral effects of acoustically added noise in speech. A fundamental result is developed which shows that the spectral magnitude of speech plus noise can be effectively approximated as the sum of magnitudes of speech and noise.... | Noise suppression algorithm; SABER method | 1977 |
52 |
|
Lindstrom, Gary E. | Efficiency in nondeterministic control through non-forgetful backtracking | Nondeterministic (ND) control has long been used to express elegant solutions to complex search problems. Programs using ND control can be executed on conventional machines through a systematic examination of trial execution paths. Among the many approaches to the enumeration of these paths is backt... | Nondeterministic control; Non-forgetful backtracking; Search problems | 1977 |
53 |
|
Dintelman, Sue Marie Thompson | Design and implementation of a relational data base system for a minicomputer | A data base system provides the advantages of centralized control of data including increased data independence. Design specifications for a low level relational data base interface are given in the form of a formal description which separates the implementation details from the description of the ... | Data base system | 1977 |
54 |
|
Brown, Bruce Eric | Modeling of solids for three-dimensional finite element analysis | The geometric modeling of solid objects is a major problem within the design analysis loop of the engineering design process. Models are analyzed by various computer programs to predict their performance. The format of each model is usually different for each analysis routine. The existence of sev... | Geometric modeling; Solid objects; Finite element analysis | 1977 |
55 |
|
Keller, Robert M. | Semantics of parallel program graphs | A denotational model for networks of parallel processes is presented which generalizes the work of Kahn by using alternative data types, e.g. Lisp-like operators on trees. It is shown that the ordering aspect of data types plays a central role in determining how much parallelism can be present. It i... | Parallel program graphs; Computer semantics; Denotational model | 1977 |
56 |
|
Davis, A.L. | The architecture of DDMl: a recursively structured data driven machine | An architecture for a highly modular, recursively structured class of machines is presented. DDMl is an instance of such a machine structure, and is capable of executing machine language programs which are data driven (data flow) nets. These nets may represent arbitrary amounts of concurrency as wel... | DDMl; machine structure; machine language programs | 1977 |
57 |
|
Lindstrom, Gary E. | Backtracking in generalized control settings | Backtracking is a powerful conceptual and practical technique in programming. However, its application in general has been limited to global control over recursive programs. In this paper we explore through several examples the coherence and utility of applying backtracking in more general control s... | Backtracking | 1977 |
58 |
|
Stoller, Leigh B. | Shared memory as a basis for conservative distributed architectural simulation | This paper describes experience in parallelizing an execution-driven architectural simulation system used in the development and evaluation of the Avalanche distributed architecture. It reports on a specific application of conservative distributed simulation on a shared memory platform. Various comm... | Shared memory; Avalanche distributed architecture | 1977 |
59 |
|
Lindstrom, Gary E. | CONSIM: a converstional simulation language implemented through interpretive control self-modeling | This paper describes an implementation technique termed interpretive control self-modeling (ICSM) and outlines its application in the implementation of CONSIM, a prototype conversational simulation language. ICSM may be defined as the use of a higher-level programming language (HLL) to specify its o... | CONSIM; Converstional simulation language; Interpretive control self-modeling; ICSM | 1977 |
60 |
|
Allen, Edgar S. | Sensory information processing (1 January 1976 - 30 June 1976) | The removal of the effects of atmospheric turbulence from optical images is a significant problem of long standing. Recent investigations by Knox and Thompson have led to the development of a restoration procedure which shows considerable promise. This procedure has not been successfully applied to ... | Removal; Atmospheric turbulence; Interference; Restoration procedure | 1977 |
61 |
|
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 |
62 |
|
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 |
63 |
|
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 |
64 |
|
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 |
65 |
|
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 |
66 |
|
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 |
67 |
|
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 |
68 |
|
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 |
69 |
|
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 |
70 |
|
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 |
71 |
|
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 |
72 |
|
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 |
73 |
|
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 |
74 |
|
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 |
75 |
|
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 |