Search Constraints

Start Over
Filtering by: Creator Oslund, Robert S. Remove constraint Creator: Oslund, Robert S. Degree Field Computer Science Remove constraint Degree Field: Computer Science Degree Level Doctoral Remove constraint Degree Level: Doctoral

Search Results

  • Specifications for a fuzzy system modeling language

    Creator:
    Fellinger, William Lowell
    Abstract:
    Specifications for a simulation language capable of modeling fuzzy systems are presented. Actions occurring in the running model are to be displayed on a graphics terminal in the .form of modified E-nets. The concept of partial execution of predicates is introduced in connection with the underlying continuously valued logic. Fuzzy...
    Resource Type:
    Dissertation
    Full Text:
    privacy Abstract approved: Professor Robert A. Short Specifications for a simulation language capable of

  • Al-Khorezmi : an intelligent algebra tutoring system

    Creator:
    Bayley, Garland J.
    Abstract:
    This thesis presents our investigation of the problem of creating an intelligent tutor for solving algebra word problems that employs effective pedagogy. Among our major concerns are the problems of sufficient knowledge and proper knowledge organization. From student protocols and test papers, we derived sets of general purpose strategic rules...
    Resource Type:
    Dissertation
    Full Text:
    Abstract approved: Redacted for Privacy William S. 10egar This thesis presents our investigation of the

  • Fault-tolerant ring embedding in De Bruijn networks

    Creator:
    Rowley, Robert A.
    Resource Type:
    Dissertation
    Full Text:
    Abstract of the Thesis of Robert A. Rowley for the degree of Doctor of Philosophy in Computer Science

  • Topics in toroidal interconnection networks

    Creator:
    Broeg, Robert Richard
    Resource Type:
    Dissertation
    Full Text:
    THE THESIS OF Robert Richard Broeg, SDS for the degree of Doctor of Philosophy in Computer

  • Towards Automating Type Changes

    Creator:
    Ketkar, Ameya S.
    Abstract:
    Developers frequently change the type of a program element and update all its references for performance, security, concurrency, library migration, or better maintainability. Despite type changes being a common program transformation, it is the least automated and the least studied. Manually performing type changes is tedious since the programmers have...
    Resource Type:
    Dissertation
    Full Text:
    replaced generic with specialized Java 8’s Functional Interfaces, the type changes in- volved 34 files

  • Theory and Implementation of a Variational Database Management System

    Creator:
    Ataei, Parisa S.
    Abstract:
    In this thesis, I present the variational database management system, a formal framework and its implementation for representing variation in relational databases and managing variational information needs. A variational database is intended to support any kind of variation in a database. Specific kinds of variation in databases have already been...
    Resource Type:
    Dissertation
    Full Text:
    AN ABSTRACT OF THE DISSERTATION OF Parisa S. Ataei for

  • Generalizing abstractions in form-based visual programming languages : from direct manipulation to static representation

    Creator:
    Yang, Sherry
    Abstract:
    We believe concreteness, direct manipulation and responsiveness in a visual programming language increase its usefulness. However, these characteristics present a challenge in generalizing programs for reuse, especially when concrete examples are used as one way of achieving concreteness. In this thesis, we present a technique to solve this problem by...
    Resource Type:
    Dissertation
    Full Text:
    : Major Pro aor, representing Computer Science Head of Department of Computer Science Dean of Graduate S

  • Creating, Understanding and Applying Machine Learning Models of Multiple Species

    Creator:
    Griffioen, Arwen Twinkle E.
    Abstract:
    Many problems in ecology and conservation biology can be formulated and solved using machine learning algorithms for multi-label classification. This dissertation addresses three topics related to predicting the distributions of multiple species. It improves existing methods and proposes a new modeling paradigm to address the multi-species, multi-label problem. The first...
    Resource Type:
    Dissertation
    Full Text:
    . I’d like to thank my committee members, Matt Betts, Weng-Keen Wong, Xiaoli Fern and Robert Higdon

  • Machine Learning Methods for Computational Sustainability

    Creator:
    Liu, Liping
    Abstract:
    Maintaining the sustainability of the earth’s ecosystems has attracted much attention as these ecosystems are facing more and more pressure from human activities. Machine learning can play an important role in promoting sustainability as a large amount of data is being collected from ecosystems. There are at least three important...
    Resource Type:
    Dissertation
    Full Text:
    k|α̂k) as the prior of each θk and integrate out all θk-s. Given 14 a test point xt, the

  • Active learning with committees : an approach to efficient learning in text categorization using linear threshold algorithms

    Creator:
    Liere, Ray
    Abstract:
    We developed and investigated machine learning methods that require minimal preprocessing of the input data, use few training examples, run fast, and still obtain high levels of accuracy. Most approaches to designing machine learning programs are based on the supervised learning paradigm – training examples are chosen randomly and given...
    Resource Type:
    Dissertation
    Full Text:
    . Gerald Smith, and Prof. Robert Kiekel. All have shown special patience as I requested permission to do