Computer Science Archive
 
Filters: Collection: "ir_computersa"
101 - 125 of 160
Number of results to display per page
TitleDescriptionSubjectDate
101 A multistrategy machine learning approach to object recognitionThis 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; computers1991-03
102 Parallel path consistencyThis 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; computers1991-03
103 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
104 Interaction with constraints in three-dimensional modelingThe 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; computers1991-05
105 Towards a language independent object systemThis 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 generator1991-06
106 An automated wire routing kernelThe 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 functions1991-07
107 Seqwarp: A low-cost linear systolic array for biological sequence comparisonThis 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 comparison1991-08
108 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
109 Trivariate B-splinesThe 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; computers1991-12
110 Reactive Behavior Design ToolsThe 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; COSPAN1992-01
111 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
112 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
113 The Many Faces of IntrospectionIn 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 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
115 A cell-based approach to hierarchical interdomain VLSI designThis 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 metaprogrammingObject 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 PrologThis 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 visualizationA 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 approachGeometric 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 surfacesBlending 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 surfacesThe 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 circuitsThis 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 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
124 A Saddle Point Strategy for Path PlanningThis 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-newton1993
125 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
101 - 125 of 160