51 - 75 of 937
Number of results to display per page
51 Shared memory as a basis for conservative distributed architectural simulationThis 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 architecture1977
52 Application of the saber method for improved spectral analysis of noisy speechA 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 method1977
53 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 procedure1977
54 Sensory information processing (1 July 1976 - 31 March 1977)The student of human visual perception is often overwhelmed by the vast amount of data that has been accumulated from experiments performed within the last century or so. It is often difficult to understand why a certain experiment has been performed.Results from similar experiments sometimes seem t...Sensory information processing1977
55 Image recognition using generalized correlationThis paper investigates the use of generalized cross-correlation in pattern matching when the objects may be of one or two dimensions. Generalized correlation can be used to determine the amount of dilatation and rotation between a given template and an object, in addition to determining the relativ...Image recognition; Generalized correlation1977
56 CONSIM: a converstional simulation language implemented through interpretive control self-modelingThis 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; ICSM1977
57 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 scheme1977
58 Digital color image processing and psychophysics within the framework of a human visual modelA 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 evidence1977
59 Efficiency in nondeterministic control through non-forgetful backtrackingNondeterministic (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 problems1977
60 Design and implementation of a relational data base system for a minicomputerA 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 system1977
61 The architecture of DDMl: a recursively structured data driven machineAn 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 programs1977
62 Backtracking in generalized control settingsBacktracking 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...Backtracking1977
63 Modeling of solids for three-dimensional finite element analysisThe 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 analysis1977
64 Semantics of parallel program graphsA 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 model1977
65 Display of complex three dimensional finite element modelsComplex 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 models1978
66 An approach to determinacy proofsIt 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 proofs1978
67 Sentinels: A concept for multiprocess coordinationThe 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 construct1978
68 Data driven nets: a maximally concurrent, procedural, parallel process representation for distributed control systemsA 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 nets1978
69 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 contamination1978
70 An architecture for a loosely-coupled parallel processorAn 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 processors1978
71 CASL - A language for automating the implementation of computer architecturesThe 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 Language1979
72 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 algorithms1979
73 High resolution astronomical imaging through the turbulent atmosphereThis 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 images1979
74 The application of total positivity to computer aided curve and surface designOf 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 positivity1979
75 Alpha-beta pruning on evolving game treesThe 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 trees1979
51 - 75 of 937