1 - 25 of 11
Number of results to display per page
1 Keller, Robert M.Denotational models for parallel programs with indeterminate operatorsSeveral approaches to networks of concurrently-operating modules involving indeterminacy are discussed. Techniques for representing the denotational semantics of such networks, and for verifying properties of them, are presented, including an oracle approach, an axiomatic approach, a data-type reduc...Denotational models; Indeterminate operators1977
2 Boll, Steven F.Improving linear prediction analysis of noisy speech by predictive noise cancellationThe analysis of speech using Linear Prediction is reformulated to account for the presence of acoustically added noise and a technique is presented for reducing its effect on parameter estimation. The method, called Predictive Noise Cancellation (PNC), modifies the noisy speech autocorrelations ...Linear prediction; Predictive Noise Cancellation; Noisy speech; Sppech analysis1977
3 Carter, Tony M.Cascade: hardware for high/variable precision arithmeticThe Cascade hardware architecture for high/variable precision arithmetic is described. It uses a radix-16 redundant signed-digit number representation and directly supports single or multiple precision addition, subtraction, multiplication, division, extraction of the square root and computation...1989
4 Hansen, Mark S.; Healy, Lindsey J.; Johnson, Christopher R.; Capecchi, Mario R.; Keller, Charles; Jones, Greg M.Virtual histology of transgenic mouse embryos for high-throughput phenotyping.A bold new effort to disrupt every gene in the mouse genome necessitates systematic, interdisciplinary approaches to analyzing patterning defects in the mouse embryo. We present a novel, rapid, and inexpensive method for obtaining high-resolution virtual histology for phenotypic assessment of mouse ...Forkhead Transcription Factors; Paired Box Transcription Factors2006
5 Lee, Hyo JongAutomatic mesh analysis technique by knowledge-based systemThe finite element analysis technique has been recognized as a very important tool to solve various engineering problems, such as structural analysis, heat transfer, and fluid dynamics. The key point to the technique is discretization of the domain of interest into many finite elements. A good resul...Mesh analysis; Mesh generation algorithm1989
6 Boll, Steven F.Suppression of acoustic noise in speech using spectral subtractionA 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 subtraction1979
7 Boll, Steven F.Noise suppression methods for robust speech processing (1 Oct. 1976 - 31 March 1977)To develop robust speech processes, based upon the integration of digital noise suppression methods and narrow band speech analysis-synthesis methods, capable of realizing practical, real time methods for effectively processing speech recorded in practical operating environments.Digital noise suppression1977
8 Lee, Hyo JongImplementation and characteristics of rule-based system for the finite element analysisIt it well known that the analysis of process for the finite element method is tedious and errorprone steps. Considering the importance of the task of engineering analyses, such as structural analysis, heat transfer, fluid flow simulation, and electromagnetic potential, many researchers have tried t...finite element analysis; Rule-based system1989
9 Allen, Edgar S.Sensory information processing and symbolic computation (1 Jan. 1975 - 30 June 1975)This research uses digital computation to investigate processes, both linear and nonlinear, for the filtering. restoration, enhancement, bandwidth reduction, distortion immunization and analysis of both visual and auditory information.Sensory information processing; Symbolic computation; Auditory information; Visual information1973
10 Christiansen, Richard WesleyWord recognition in continuous speech using linear prediction analysisA promising method of automatic word recognition in continuous speech, recently designated as word spotting, has been demonstrated. The method uses error residual ratios from LPC (Linear Predictive Coding) vocoder analysis for waveform comparison and a dynamic programming procedure for time regist...Word recognition; continuous speech; linear prediction analysis; word spotting; error residual ratios; LPC; Linear Predictive Coding; vocoder analysis1976
11 Carter, Tony M.; Smith, Kent F.Cell matrix methodologies for integrated circuit designA class of integrated circuit design and implementation methodologies is described. These techniques are unique in that they simultaneously model both function and interconnect using cells. These cells are designed such that cell adjacency normally implies interconnection. The absence of an interco...Integrated circuit design; Cell matrix1989
1 - 25 of 11