Search Constraints

Start Over
Filtering by: Creator Mulligan, Daniel M. Remove constraint Creator: Mulligan, Daniel M. Academic Affiliation Computer Science Remove constraint Academic Affiliation: Computer Science Degree Field Computer Science Remove constraint Degree Field: Computer Science

Search Results

  • Disjunctions in forward chaining logic programming

    Creator:
    Corpron, Daniel R.
    Abstract:
    A forward-chaining logic programming system (FORLOG) has been developed at Oregon State University. This system coupled with an assumption-based truth maintenance system (ATMS), provides an alternative to the logic programming paradigm of backward-chaining with Horn clauses. To compare FORLOG to this paradigm, we define a subset of FORLOG, called mini-FORLOG,...
    Resource Type:
    Masters Thesis
    Full Text:
    Abstract of the Thesis of Daniel R. Corpron for the degree of Master of Science in Computer Science

  • Shrunken learning rates do not improve AdaBoost on benchmark datasets

    Creator:
    Forrest, Daniel L. K.
    Abstract:
    Recent work has shown that AdaBoost can be viewed as an algorithm that maximizes the margin on the training data via functional gradient descent. Under this interpretation, the weight computed by AdaBoost, for each hypothesis generated, can be viewed as a step size parameter in a gradient descent search. Friedman...
    Resource Type:
    Masters Thesis
    Full Text:
    AN ABSTRACT OF THE THESIS OF Daniel L. K. Forrest for the

  • 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:
    Representation. Margaret M. Burnett Abstract approved: We believe concreteness, direct manipulation and

  • Message Queue Manager

    Creator:
    Fang, Don Y.
    Abstract:
    The conventional way of debugging is to examine the program's state at various points during execution. With the addition of message passing as a means of communication and synchronization in message passing programs, the state of pending message operations also needs to be examined. Current parallel debuggers or analysis tools...
    Resource Type:
    Capstone Project
    Full Text:
    requirements for the degree of :Master of Science Major Professor : Dr. Cherri M. Pancake Completed

  • Similarity inheritance : a model of inheritance for declarative visual programming languages

    Creator:
    Djang, Rebecca W. (Rebecca Walpole)
    Abstract:
    Declarative visual programming languages (VPLs), including spreadsheets, make up a large portion of both research and commercial VPLs. Spreadsheets in particular enjoy a wide audience, including end users. Unfortunately, spreadsheets and most other declarative VPLs still suffer from some of the problems that have been solved in other languages, such...
    Resource Type:
    Dissertation
    Full Text:
    Model of Inheritance for Declarative Visual Programming Languages. Abstract approved: Margaret M

  • The "Mobius Cube" : an interconnection network for parallel computation

    Creator:
    Larson, Shawn M.
    Resource Type:
    Masters Thesis
    Full Text:
    Computation AN ABSTRACT OF THE THESIS FOR Shawn M. Larson for the degree of Master of Science in Computer

  • A C source code browsing system

    Creator:
    Steinkamp, James M.
    Abstract:
    A project is described wherein a source code browser was implemented based upon tasks performed by software engineers looking for source code modules with only UNIX utilities. These tasks were discovered by observing the actions of software engineers looking for code modules in a library, The success of the implementation...
    Resource Type:
    Capstone Project
    Full Text:
    State University Computer Science masters project by: James M. Steinkamp Advisor: William S. Bregar

  • Electra : integrating constraints, condition-based dispatching, and features exclusion into the multiparadigm language Leda

    Creator:
    Zamel, Nabil M.
    Abstract:
    Multiparadigm languages are languages that are designed to support more than one style of programming. Leda is a strongly-typed multiparadigm programming language that supports imperative, functional, object-oriented, and logic programming. The constraint programming paradigm is a declarative style of programming where the programmer is able to state relationships among some...
    Resource Type:
    Dissertation
    Full Text:
    Nabil M. Zamel for the degree of Doctor of Philosophy in Computer Science presented on December 6

  • A linear equation model for a family of interconnection networks

    Creator:
    Larson, Shawn M.
    Abstract:
    The most important part of parallel computation is communication. Except in the most embarassingly parallel examples, processors cannot work cooperatively to solve a problem unless they can communicate. One way to solve the problem of communication is to use an interconnection network. Processors are located at nodes of the network,...
    Resource Type:
    Dissertation
    Full Text:
    networks AN ABSTRACT OF THE THESIS OF Shawn M. Larson for the degree of Doctor of Philosophy in

  • An experiment in user-centered development

    Creator:
    Ritter, Paul R.
    Abstract:
    This paper describes the results of a research project to design new graphical user interlace to an existing applications software product, using the techniques of user-centered design. The project began with a literature review to determine the currently accepted methodology in the area of user-centered design, with emphasis on the...
    Resource Type:
    Capstone Project