Computer Science Archive
 
Filters: Collection: "ir_computersa"
126 - 150 of 149
Number of results to display per page
TitleDescriptionSubjectDate
126 A priori digital speech analysisAbstract: This paper describes a priori digital speech analysis. This method takes advantage of the quasi-periodic nature of voice speech sounds to reduce the amount of computation needed to obtain the analysis parameters. The vocal tract is modeled as an all-pole digital filter (predictive coding)...speech analysis; predictor coefficients; pitch period1973-03
127 Accurate capacitance and resistance extractionA novel approach to solving the accurate capacitance and resistance extraction problem in integrated circuits is presented as a combination of a custom language and a kit of circuit analysis primitives. This approach is targeted toward the analysis of circuit interconnect and the determination of fr...integrated circuits; electric resistance1993-03
128 Approximating data with parametric B-splines for computer aided designThis thesis addresses some of the difficulties that can be encountered when approximation is used as a design tool. In many cases, it is most intuitive for a designer to specify points on or near a desired contour, and approximate them with a curve. Merely computing some approximation to a set of da...computer graphics; computer-aided design; approximation theory; B-splines1985-12
129 Beta-spline: a local representation based on shape parameters and fundamental geometric measuresAbstract: A mathematical technique for curve and surface representation has been developed which reflects an underlying geometric, as opposed to algebraic nature. Elementary differential geometry concepts are reviewed and the unit tangent and curvature vectors are used as fundamental geometric meas...beta-spline; geometric curves; geometric surfaces; shape parameters1981-12
130 Design goals of an editor for storage logic arraysAbstract: Integrated circuits of increased density require both better fabrication technology and tools for managing the design complexity. Before stepping firmly into the era of Very Large Scale Integration (VLSI), powerful abstractions of integrated circuit design and associated software tools mu...storage logic arrays; Integrated circuit design1981-06
131 Design of a Self-Timed, Pipelined, Floating Point Multiplier in Gallium ArsenideThis thesis presents the design of a self-timed, floating point multiplier in Gallium Arsenide (GaAs) technology. It implements the Institute of Electrical and Electronic Engineers (IEEE) single precision standard. Self-timed design methodology offers some advantages over a synchronous approach, esp...gallium arsenide; floating point multiplier; GaAs; GaAs technology1994-06
132 Interactive volume visualizationThe purpose of scientific computation is insight. Visualization is the most direct way to bring out and deliver insight. The advances of technology have allowed scientists to simulate or observe our physical world at a much higher resolution than was available previously. As a result, large-scale nu...computer graphics; volume visualization1993-06
133 Load balancing and fault tolerance in applicative systemsApplicative systems are promising candidates to achieve high performance computing through aggregation of processors. This dissertation studies two important issues in building scalable applicative systems: load balancing problem and fault tolerance.; A dynamic load balancing scheme is proposed for ...computer architecture; load balancing; fault tolerance; computer science; applicative systems1985-08
134 Page 25
135 Sketching with constraintsThe goal of this thesis is to provide a simple and intuitive user interface to a Computer Aided Design (CAD) system. A simple modeling system was built to demonstrate the utility of the ideas presented here. There are three main parts to this system. The first part is the interpretation of sketched ...user interfaces; computer systems; computer-aided design; CAD system1994-06
136 Static Analysis of Multiparadigm LanguagesWe contribute to the state of the art in static analysis of declarative languages with multiparadigms. The language paradigms under consideration include normal order evaluation, higher-order functions, polymorphic typing, and logical variables. Our static analysis integrates strictness analysis, ty...multiparadigm; declarative language; language paradigm1990
137 UCL+P - a persistent common lispThe Persistent Lisp language was defined and an implementation, UCL+P,1 was designed and constructed. Persistent · Lisp is a superset of Common Lisp which fully supports the development of programs manipulating persistent data , while maintaining Lisp semantics across the storage/retrieval of value...computer language; Lisp,1994-08
138 A framework for hardware design analysis and synthesis using VHDLAn approach for behavioral analysis and synthesis in a single framework is presented. The main advantage of specifying circuits at an abstract level is that they become amenable to formal analysis. A formalism HOP, which is an extended automaton model to describe behaviors of circuits is introduced....VHDL; computer hardware description language1993-03
139 Analysis of Functional Programs using Attribute GrammarsAn attribute grammar combines the standard context-free grammar that defines the syntax of a programming language with attributes that define semantic aspects of the language. This information makes attribute grammars very useful for performing the semantic analysis of programs. Functional programmi...programming languages, functional programs; attributed grammar1985-08
140 Applicative updating and provisional computation in functional programmingLarge scale computing systems often consist of calculations which are repeated for many sets of input data. If the variance between the data sets is small, there may be portions of the computation which are not affected by the changes in the input values. The effort required for such systems can be ...recomputation; efficient recomputation; function graphs; computers1983-06
141 Computer-Aided Geometric Design Based Three-Dimensional Object Representations For Computer VisionModel-based recognition is one of the key paradigms in the field of computer vision and pattern recognition. However, at present there is an absence of a systematic approach to build vision models for a large class of three-dimensional (3-D) objects used in industrial environments. Computer-Aided Ge...computer vision; model based recognition; pattern recognition1988-12
142 Fixed Point Computation and Parallel Algorithms for Solving Wave EquationsThis dissertation is concerned with two problems: fixed-point computation and parallel algorithms for solving wave equations. Many problems can be formulated as fixed-point problems, which is to solve the equations of the form f(x) - x = 0. We develop efficient algorithms and establish complexity re...fixed point computation; parallel algorithm; fixed point envelope; fixed point ellipsoid; wave equation; processor array; transputer; linear array1994
143 Modelling complex objects with generalized sweepsRecently, constructive solid geometry (CSG) techniques have been generalized to include set operations on certain sculptured surface solid models. This advancement has reemphasized the need for modelling techniques that create vasod objects. The definition of a valid object is somewhat cumbersome in...computer-aided design; computer graphics1985-12
144 On Representation and Discretization of Finite Element AnalysesThe use of B-spline geometric representation and subdivision mechanism is explored for use in finite element analysis. On the representation issue, an attribute modelling technique is introduced to model the problem specification and the result interpretation. This modelling technique relies on the ...finite element; b-spline; geometric representation; subdivision mechanism; planar domain; shell domain; solid domain1985
145 Real-time measurement of multiple three-dimensional positionsAbstract: This paper describes a priori digital speech analysis. This method takes advantage of the quasi-periodic nature of voice speech sounds to reduce the amount of computation needed to obtain the analysis parameters. The vocal tract is modeled as an all-pole digital filter (predictive coding)...light-emitting diodes; photomultiplier1973-06
146 Real-time measurement of multiple three-dimensional positionsAbstract: This paper describes a priori digital speech analysis. This method takes advantage of the quasi-periodic nature of voice speech sounds to reduce the amount of computation needed to obtain the analysis parameters. The vocal tract is modeled as an all-pole digital filter (predictive coding)...light-emitting diodes; photomultiplier1973-06
147 Feature-based reverse engineeringReverse engineering entails building a representation of an engineered object using only information derived from an instance of that object. This research has focused on the reverse engineering of physical objects, specifically machined parts. Reverse engineering differs from many other sensing pro...reverse engineering1994-12
148 Spacetime Control of Linked FiguresThis dissertation describes the development of techniques to automate the creation of physically-based, goal-directed motion of synthetic creatures, More specifically, the research concentrates on developing an underlying mathematical representation for constraints and objectives imposed on a creatu...computer animation; spacetime control; animated figures; creature motion1992-06
149 Behavioral simulation from high-level specificationsA validation tool for synchronous hardware systems based on process composition and symbolic simulation has been developed. The problems addressed are:; • effective evaluation of a design through high-level simulation • quick exploration of alternative designs • contraction of the I/O vector s...computer simulation; integrated circuits; large scale integration; behavioral simulation1989-06
126 - 150 of 149