|
|
Title | Description | Subject | Date |
101 |
|
A multistrategy machine learning approach to object recognition | This work describes an innovative approach that combines machine learning and vision into an integrated system. The system is called ORACLE: Object Recognition Accomplished through Consolidation Learning Expertise. It uses two machine learning techniques known as explanation-based learning and conce... | ORACLE; ORACLE system; computers | 1991-03 |
102 |
|
Parallel path consistency | This thesis examines the actual real world performance of PC as compared AC and shows that in most cases the measured performance is greatly superior to its assumed worst case. In addition, the improved filtering efficiency of PC over AC is measured. | arc consistency; path consistency; real world performance; computers | 1991-03 |
103 |
|
Concurrent scheme, a language for concurrent symbolic computing | This 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 processing | 1991-05 |
104 |
|
Interaction with constraints in three-dimensional modeling | The purpose of this thesis is to simplify and improve the efficiency of the interactive definition of geometric objects in computer aided geometric modeling. To achieve this goal two ways of defining geometric objects are combined and interfaced: 1) the definition of objects by interactive construct... | three-dimensional modeling; computers | 1991-05 |
105 |
|
Towards a language independent object system | This thesis proposes a solution to the problem of mixed language programming in an object-oriented environment that centers around an object specification that can describe the features of objects in a language independent fashion. Also, a stub generator which reads this specification and creates me... | object-oriented programming; mixed language programming; programming; computers; object-oriented environment; stub generator | 1991-06 |
106 |
|
An automated wire routing kernel | The kernel described here is based on using pattern matching techniques for describing algorithms. The use of patterns permits different physical constraints and properties to be considered. In addition, the abstraction provided by patterns allows the ability to transform oddly shaped routing areas ... | computers; kernel functions | 1991-07 |
107 |
|
Seqwarp: A low-cost linear systolic array for biological sequence comparison | This thesis involved the design, implementation, and testing of Seqwarp, a linear systolic array capable of performing biological sequence comparison, using a revised Smith-Waterman dynamic programming algorithm. Through the use of Seqwarp, search and comparison problems equivalent to those performe... | Seqwarp; biological computation; computers; biological sequence comparison | 1991-08 |
108 |
|
Numerical weather prediction model for distributing computing systems | The 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; computers | 1991-08 |
109 |
|
Trivariate B-splines | The purpose of this thesis is to explore and evaluate the use of trivariate B-splines. There are several issues that make modeling with trivariate B-splines a significant and interesting problem. The issues to be addressed are the domain of the representation; algorithms for display, subdivision, a... | trivariate b-splines; computers | 1991-12 |
110 |
|
Reactive Behavior Design Tools | The behavior of sensor based autonomous agents can be stratified into three basic levels. The first is low-level motor and sensor control, the second is mid-level reactive processes and the third is high-level end goals of the robotic device. The middle level of control, reactive processes, is the a... | robots; control system; reactive behaviors; COSPAN | 1992-01 |
111 |
|
Adaptive image segmentation | Image 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 |
112 |
|
The Development of a Virtual Database and an Evaluation of Techniques to Improve the Performance of a Virtual Database | This 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 |
113 |
|
The Many Faces of Introspection | In psychology, introspection is a common term meaning an examination of one's own thought process and sensory experience. Similarly, introspection in computer systems enables a computer to examine its own computational behavior. A computer that ""understands"" its own behavior, an introspective comp... | | 1992-04 |
114 |
|
Spacetime Control of Linked Figures | This 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 motion | 1992-06 |
115 |
|
A cell-based approach to hierarchical interdomain VLSI design | This dissertation presents a new design environment for VLSI circuits that is based upon a unification of the physical and structural design domains. Unlike conventional design approaches that divide the VLSI design process into disjoint structural and physical design phases, this new environment is... | | 1992-06 |
116 |
|
The persistent object system MetaStore : persistence via metaprogramming | Object intensive applications require persistence of complex objects. Many of these applications also use vast amounts of data, often exceeding a machine's virtual memory, MetaStore is a portable, persistent object system designed to solve these problems.; MetaStore uses the metaprogramming faciliti... | | 1992-06 |
117 |
|
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 |
118 |
|
CAD based biomedical modeling and visualization | A framework for the representation, modeling, visualization and static analysis of natural systems has been developed. This framework provides the following aspects of a system: geometry, function, simulation, and graphic visualization. This approach shows how it is possible to explore higher level ... | | 1992-08 |
119 |
|
Robustness in geometric modeling : an intuitionistic and tolerance-based approach | Geometric algorithms based on floating point arithmetic often fail or generate incorrect results due to floating point arithmetic errors and geometric approximation errors, Ambiguous interpretations of degenerate cases in geometric modeling, for instance, can lead to invalid geometric representation... | | 1992-08 |
120 |
|
Blending parametric surfaces | Blending parametric surfaces can be a valuable tool in sculptured surface modeling. In conventional approaches, the boundaries and the cross boundary tangents of the blending surface are obtained by approximating a discrete number of points and vectors that are evaluated along the blending boundarie... | | 1992-12 |
121 |
|
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 |
122 |
|
A symbolic simulation-based verification system for synchronous circuits | This thesis addresses the issues related to the symbolic simulation-based verification of synchronous circuits. A prototype verification system, based on a two-level verification approach for synchronous circuits, has been implemented that embodies the ideas of parametric Boolean expressions for eff... | | 1992-12 |
123 |
|
First-order preference theories and their applications | This 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 |
124 |
|
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 |
125 |
|
Consistent Geometric Modeling Approaches | Boolean 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 tolerance | 1993 |