|
|
Title | Description | Subject | Date |
26 |
|
Elastic and Plastic Surfaces for Modeling and Animation | This 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-spline | 1990 |
27 |
|
PRT--a high quality image synthesis system for B-spline surfaces | Many applications in Computer Aided Design require high quality images of three-dimensional scenes. A system is presented for rendering objects designed with an existing B-spline based geometric modeling package. Two algorithms for ray tracing B-spline surfaces are discussed, one using iterative num... | computer graphics; computer aided design; B-spline surfaces; image synthesis system | 1988-12 |
28 |
|
Simulation of numerically controlled milling machines | This thesis describes a system that can be used to simulate both 3 and 5-axis NC milling toolpaths, reading BCL code. This simulator is based on the imagespace approach in which the workpiece is represented using the z-values resulting from the rendering of a model and metal removal is achieved thro... | NC milling; numerical control; computers | 1995-03 |
29 |
|
Automated Detection of Delirium | This dissertation developed computerized decision support for the recognition of delirium, a condition resulting in high morbidity and cost. The decision support required the development of pen-based graphical user interfaces and client server databases for nursing data and clinical studies, the exe... | delirium; dhcp; graphical user interface | 1994-12 |
30 |
|
Matte volumes for selective data visualization | The matte volumes system uses a volume renderer, surface renderer, and slice viewer for the exploration and visualization of three-dimensional scalar field data. The size and complexity of the volume data pose an interesting challenge to the ideal of providing the scientist with a system which autom... | matte volumes; three-dimensional scalar field data; computers; matte volumes system | 1995-08 |
31 |
|
UCL+P - a persistent common lisp | The 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 |
32 |
|
Static inference in applicative languages | Static inference involves the compile-time analysis of programs, either with a view to optimizing program execution or ensuring that errors do not arise during program execution (e.g., type checking). We present a general framework for static inference of first-order applicative programs as well as ... | programming languages; computer science; static inference; applicative languages | 1985-03 |
33 |
|
Shape recovery of volume data with deformable B-spline models | The research described in this dissertation explores a new technique for shape recovery with deformable models using B-spline surfaces. | b-spline surfaces; computers | 1996-08 |
34 |
|
TWEAK: A three-dimensional toolkit and modeling system using snapping and constraints | The goal of this thesis is to provide a simple and intuitive user interface to a three-dimensional (3D) Computer Aided Design system. The interactive modeling system described here was built to demonstrate the utility of this user interface. The four main parts of the system are discussed. | Tweak; snapping; constraint; interactive modeling system; DI-3D graphics library | 1996-12 |
35 |
|
A polymorphic, hierarchical type system for Prolog | This thesis develops a polymorphic, hierarchical type system for Prolog that can be checked statically. Type issues unique to Prolog, such as moding and treatment of logical variables, are considered. A type checking specification is defined and an algorithm fulfilling that specification is presente... | | 1992-08 |
36 |
|
A Saddle Point Strategy for Path Planning | This thesis explores a new strategy for addressing the local minimum problem. As a prerequisite, a smooth potential function with a well-defined analytical gradient is devised. The availability of exact derivatives permits the use of more sophisticated optimization methods than those typically emplo... | robots; robotics; motion planning, path planning; saddle point; c-space; quasi-newton | 1993 |
37 |
|
Parametric approximation to surfaces | The use of B-splines for the approximation of functions and data is well established. Issues such as parametrization, knot placement and reparametrizaton are important in determining the B-spline representation for the data. Compactness of the B-spline representation also becomes an issue when deali... | | 1992-12 |
38 |
|
Rule Based Process Planning System for Hole Feature Machining | Traditional mechanical design and manufacturing methods are being replaced by computer aided systems that automate the process. However, existing computer aided process planners do not generate optimal process plans and lack modeling ability. A rule based expert system is proposed in this thesis to ... | CAD/CAM systems; production planning; machining; holemaking | 1989-05 |
39 |
|
Load balancing and fault tolerance in applicative systems | Applicative 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 systems | 1985-08 |
40 |
|
Feature-based reverse engineering of mechanical parts: revision | Reverse engineering of mechanical parts requires extraction of information about an instance of a particular part sufficient to replicate the part using appropriate manufacturing techniques. This is important in a wide variety of situations, since functional CAD models are often unavailable or unusa... | | 1995-11-06 |
41 |
|
A Dynamic Model for Computer-Aided Choreography | The application of the digital computer in the field of dance choreography is a relatively unexplored area. The use of the computer in other arts is more widely known. The report describes an interactive, FORTRAN 5 UNIVAC 1108 computer which relates the angular movements of the joints of the display... | | 1970-06 |
42 |
|
A general model for the user interface of screen editors | Text editing programs are becoming larger in size and more important in modern operating systems. We present a model for the user interface portions of editors. The model provides a consistent and easy-to-implement environment in which many powerful and useful features can be incorporated. This mode... | text editing; text editing program; screen editor; computers | 1983-03 |
43 |
|
A framework for hardware design analysis and synthesis using VHDL | An 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 language | 1993-03 |
44 |
|
Discrete B-Splines as an Approach to Computer Aided Geometric Design | Investigations 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 |
45 |
|
The design and implementation of an OR-parallel logic programming system | The 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; computers | 1987-08 |
46 |
|
Surface Representation-Symbolic Computation | Recent 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 |
47 |
|
A pipelined architecture for ray tracing | Ray tracing is a computer graphics rendering algorithm well known for the realistic images that it generates. Its primary drawback is the huge amount of computation required for even moderately complex scenes. Pipelined architectures have been used for many years to accelerate conventional scan conv... | computer architecture; computers; pipeline; computer graphics; RayPipe | 1994-06 |
48 |
|
A framework for multi-sensor integration and data acquisition | This thesis investigates and implements a framework for multi-sensor integration and data acquisition operating in the context of a robot workstation equipped with both contact and noncontact sensors. An appropriate low-level representation of raw data supplied by various sensors is developed. We pr... | computers; Spatial proximity graph; 3-D data; object recognition | 1983-08 |
49 |
|
A Java-based active network operating system (JANOS) | The JANOS prqjects' primary objective was to develop a principle local operating system for active network nodes. The operating system is oriented toward executing untrusted Java bytecode, primarily for management and control.,The original document contains color images. | | 2003-11 |
50 |
|
Noise Suppression Methods for Robust Speech Processing | Robust speech processing in practical operating environments requires effective environmental and processor noise suppression. This report describes the technical findings and accomplishments to develop real time, compressed speech analysis-synthesis algorithms whose performance is invariant under s... | | 1979-04 |