Computer Science Archive
 
Filters: Collection: "ir_computersa"
51 - 75 of 160
Number of results to display per page
TitleDescriptionSubjectDate
51 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
52 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
53 Considerations for the Development of a Computer-Aided Electrical Design SystemThe specifications of a computer-aided design system are proposed based on the implementation of a prototype subsystem using UNIVAC 1108 and PDP-8 computers. The design system would aid a designer who wished to select and specify electrical fixtures, controls and circuits, and place them in a buildi...1969-09
54 Consistent Geometric Modeling ApproachesBoolean set operations are important in solid modeling; however making them robust is problematic. This thesis summarizes the problems with robustness of geometric algorithms caused by approximated data and numerical computation and provides two different approaches to build a robust geometric model...geometric model; boolean set; adaptive single tolerance1993
55 Constraint driven synthesis of hardware designDesign synthesis (or Synthetic Design) is an attractive alternative to manual design, due to the obvious benefits of decreased development time and correctness by construction. Unfortunately, the price for this automation has frequently been inefficient designs and a narrow range of application. The...design synthesis; constraint driven synthesis; constraints; computers1983-08
56 Constraint kernels: constraints and dependencies in a geometric modeling systemThis thesis describes the use of algebraic constraints and functional dependencies in the context of a geometric modeling system.geometric modeling system; functional dependencies; algebraic constraints; computers1987-08
57 Constraints as a Paradigm for ComputingThis dissertation presents a multiple domain constraint logic programming system (MDCLP) in which multiple solvers are supported and are viewed as external modules interfaced to the logic programming system through the set of constructors and predicates they support. The concept of separately compil...logic programming; constraint logic programming; clp; logic programming language; programming language; warren abstract machine; type inference1993-03
58 Data structures and system support for a graphical programming language editing and program development environmentThis thesis presents an editing tool for use in the development of data-driven style programs. These programs are based on a hierarchical graphical syntax rather than the conventional textual syntax. The editor provides the programmer with all the necessary operations for traversing and manipulating...editing tool; computers; data-driven style programs1983-12
59 Design and implementation of a portable shared memory serverProcesses communicate between one another using mechanisms like message passing, files, shared memory, etc. In current systems, shared memory is not commonly used even though it has many advantages over message passing and file sharing such as simplicity, efficiency, and lower space overhead. This t...memory management; portable shared memory server1994-12
60 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
61 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
62 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
63 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
64 The Development of a Virtual Database and an Evaluation of Techniques to Improve the Performance of a Virtual DatabaseThis project evaluated the practicality of the virtual database and the effectiveness of the performance enhancement techniques. The overhead associated with the virtual database was negligible for interactive applications. The additional delays for sequential queries may be negated because the enti...1992-03
65 Digital Image Deblurring by Nonlinear Homomorphic FilteringThis report 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 successful estimation. Fo...1974-08
66 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
67 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
68 Discrete B-Splines as an Approach to Computer Aided Geometric DesignInvestigations have been made of many interesting problems deriving from the applications of discrete splines to the problems of computer aided geometric design. New theory and algorithms have been developed and support mechanisms based on the Oslo algorithm have been incorporated in order to help u...1985-09
69 The dynamic expansion of class hierarchyThis dissertation focuses on dynamic expansion of the class hierarchy of programs written in the C++ programming language.C++; dynamic expansion; program class hierarchy; computers1995-08
70 E-MO : a system for automatically generating emotive-motionsA system is developed to automatically generate control functions for linked mechanisms that express specific emotions. This system could be employed to produce motions for characters in a computer animation. It takes advantage of the fact that evaluation functions, which take physical characteristi...1995-03
71 Efficient evaluation of normal order through strictness informationNormal order functional languages (NOFLs) offer conceptual simplicity, expressive power and attractiveness for parallel execution. In NOFLs expressions are represented in a graphical form and transformed to the final answer using graph transformation rules. Until the G-machine project in Sweden, imp...NOFL; strictness analysis; computers1987-03
72 The Efficient Modeling of Processor Behavior and PerformanceSimulation models of digital computers span a broad range of capabilities. At one end are drastically simplified models that are very efficient. At the other end are executable register transfer models with a typical simulation overhead of two or three orders of magnitude. The Simon Simulation and D...computer simulation; microprocessors; direct execution simulation; computer performance models1985-12
73 ELA: A program to analyze logs of execution eventsThis is a description of ELA, a tool to give insight into the operation of computer systems during their development.ELA; logs of execution events; computers1991-03
74 Elastic and Plastic Surfaces for Modeling and AnimationThis thesis presents eplastics, a modeling and animation tool developed to represent elastic and plastic surfaces under the B-spline representation. Eplastics derives its model from concepts found in physically based modeling of articulated motion, rigid bodies and deformable models. Eplastics works...animation; modeling; eplastics; articulated motion; deformable; alpha_1; b-spline1990
75 Extraction of Micro-Terrain FeaturesMicro-terrain features are topographic structures relavent to the behavior of a simulation, but with a horizontal extent significantly less than the resolution of the base-level terrain data covering the area in which these structures occur. Thus, these features are not directly extractable from ele...1998-08
51 - 75 of 160