Computer Science Archive
 
Filters: Collection: "ir_computersa" Type: "Text"
1 - 25 of 37
Number of results to display per page
TitleDescriptionSubjectDate
1 Concurrent scheme, a language for concurrent symbolic computingThis research addresses a portion of the "software problem," by proposing language constructs to extend the Lisp class of computer language commonly used for symbolic computing. As a representative of the class of Lisp-like languages, the Scheme dialect will be used throughout this research.computer language; symbolic computing; concurrent processing1991-05
2 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
3 Computer display of curved surfacesAbstract: This thesis attacks the problem of generating computer synthesized images both more rapidly and more realistically. Increase in speed is achieved by a scan line based algorithm for drawing pictures of parametrically defined curved surfaces. Computation time is reduced by requiring calcula...computer images; computation time; surfaces1978
4 Computer graphics approach for understanding prosthetic heart valve characteristicsAbstract: Fluid dynamics principles and numerical analysis techniques are applied in a study of stress distribution in blood caused by the motion of the occluder within the cage of a prosthetic heart valve model. An interactive computer graphics program is developed for the simulation of the flow pr...Prosthetic heart valve; Disc occluder; hemolysis; thrombosis1972-06
5 Subdivision algorithm for computer display of curved surfacesAbstract: This report presents a method for producing computer shaded pictures of curved surfaces. Three-dimensional curved patches are used, as contrasted with conventional methods using polygons. The method subdivides a patch into successively smaller subpatches until a subpatch is as small as a ...Curved surfaces; Computer shaded pictures; Curved patches1974
6 First-order preference theories and their applicationsThis dissertation begins with a logical analysis of the notion of preference. Earlier approaches to logical analysis of preference are surveyed and their shortcomings pointed out. Next, a family of modal logics of preference is presented with soundness and completeness results for both the propositi...1992-12
7 Implementation of a network database using a function graph languageAbstract: Most of the work on databases to date has involved approaches that deviate considerably from a purely mathematical (functional) viewpoint. The research reported in this thesis deals with an implementation of a network database using FGL to achieve this functionality. The amount of database...network database1981-06
8 Parallel Algorithms and Architectures for Very Fast AI SearchA wide range of problems in natural and artificial intelligence, computer vision, computer graphics, database engineering, operations research, symbolic logic, robot manipulation and hardware design automation are special cases of Consistent Labeling Problems (CLP). CLP has long been viewed as an ef...parallel algorithms; CLP; consistent labeling problems; computer programming; computer science1989-08
9 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
10 Surface Representation-Symbolic ComputationRecent research in Computer Aided Geometric Design is surveyed in this paper. A DEMONSTRATION of the feasibility and utility of some of the new methods of curve and surface representation for interactive design is given in a movie which will be shown during the presentation. (Author)1978-04
11 Performance Directed SimulationThe overall scientific objective of this research was to develop techniques for speeding up discrete event simulation (DES) programs in applications such as simulation of computer architectures, communication networks, battlefield scenarios, etc. Such simulations often require prohibitive amounts of...1989-01-26
12 Shape recovery of volume data with deformable B-spline modelsThe research described in this dissertation explores a new technique for shape recovery with deformable models using B-spline surfaces.b-spline surfaces; computers1996-08
13 Design for a micromodular self-timed system, AAbstract: Self-timed systems lend themselves readily to interactive design and implementation of concurrency. These systems and their properties are discussed, and the implementation for a micromodular system is described. The use of formal techniques to design asynchronous machines with concurrency...Switching systems; micromodular representations; self-timed systems; interactive design; concurrency1972-03
14 Graph-based approach for solving geometric constraint problemsThis dissertation presents a new graph representation for constraint problems based on the notion of degrees of freedom and valencies. Any geometric primitive ( point, line, circle, plane, etc.) possess an intrinsic degree of freedom in its embedding space. Constraints reduce the degrees of freedom ...computers; geometric constraint problems; graph1996-05
15 Numerical weather prediction model for distributing computing systemsThe objectives of this research are twofold: One is to develop and implement a spectral numerical weather prediction model using parallel algorithms. The other objective is to examine a parallel paradigm that allows users to write parallel scientific algorithms easily and efficiently.weather predictions; spectral numerical weather predictions; weather prediction model; parallel algorithms; computers1991-08
16 The design and implementation of an OR-parallel logic programming systemThe research focus in OR-parallel logic programming is shifting rapidly from theoretical considerations and simulation on uniprocessors to implementation on true multiprocessors. This dissertation describes the design and implementation of such a system or OR-parallel Horn clause logic programs on t...OR-parallel; computers1987-08
17 High-speed conterflow-clocked pipelining illustrated on the design of subband vector quantizatizer chipsThis dissertation introduces Counterflow-Clocked (C2) pipelining and discusses its usefulness and limitations to build large, high speed VLSI chips. It also presents the design of an image compression chip set to implement subband vector quantization that can handle HDTV data rates with reasonable V...VLSI chips; counterflow-clocked pipelining; computers1995-12
18 On the rendering of surfacesAbstract: Despite the relative sophistication of modern surface design systems, many graphical renderings of surfaces are relatively crude. The paper discusses a variety of possible rendering, including various line drawing methods, realistic and functional shading, and ccombinations of line drawing...surface design systems; graphical renderings; functional shading; curvature shading1979
19 Scientific visualization for finite element analysis data setsThe research is focused on developing new techniques for visualizing FEA data sets. In this thesis, new parallel volume rendering algorithms are outlined to speed up scalar field visualization. Strreamlines, streamribbons and streamtubes are the most fundamental tools for exploring vector field data...finite element analysis; FEA; computers; algorithms1996-08
20 Asylim: A simulation and placement checking system for path-programmable logic integrated circuitsPresented in this thesis is a simulation/design checking system for PPL circuits. This system directly addresses the problems associated with the other simulators listed above. The circuit model employed by the system makes use of six logic values and a close correspondence between the PPL and simul...PPL circuits; PPL; computers; NMOS circuits; CMOS circuits; ASYLIM; simulation checking system; design checking system1983-06
21 KIT : an experimental solid modelling systemThe purpose of this research is to develop an experimental environment for solid modelling which can provide a wide range of graphics primitives and operations toward making the modelling process more flexible The system can handle different types of representations and combine them with an extended...computer graphics; KIT; solid modelling system1985-06
22 Adaptive image segmentationImage segmentation is an old and difficult problem. One of the fundamental weaknesses with current image segmentation systems is their inability to adapt the segmentation process as real-worldchanges occur in the image, This dissertation presents the first closed-loop image segmentation system that ...1992-03
23 Reconstruction of three-dimensional surfaces from two-dimensional projectionsAbstract: This thesis describes a method for determining the three-dimensional shape of an object from a set of photographs of the objects. For a non-glossy surface, the image brightness is, in theory, a function only of the normal to the surface and of the incident light direction. A reflectivity l...three-dimensional images; image brightness; reflectivity law1981-06
24 ASSASSIN: an assembly, specification and analysis system for speed-independent control-unit design in integrated circuits using path-programmable logic (PPL)Abstract: Numerous efforts have been made to automatically implement the control-units and datapaths of synchronous systems in integrated circuits. Speed-independent systems have not yet been extensively explored in the context of the integrated circuit. Presented in this thesis is a software system...path-programmable logic; integrated circuits; Portable standard LISP; VLSI design1982-06
25 Digital image deblurring by nonlinear homomorphic fllteringAbstract: This dissertation is concerned with the digital estimation of the frequency response of a two-dimensional linear system through which images have been passed and blurred. Almost no a priori knowledge concerning the system is required, and only one blurred image is necessary for a successfu...Deblurring; nonlinear homomorphic filtering1974-08
1 - 25 of 37