Search Constraints

Start Over
Filtering by: Creator Thomas, Jennifer A. Remove constraint Creator: Thomas, Jennifer A. Decade 1980-1989 Remove constraint Decade: 1980-1989 Degree Field Computer Science Remove constraint Degree Field: Computer Science

Search Results

  • An investigation of the search space of Lenat's AM program

    Creator:
    Mishra, Prafulla K.
    Abstract:
    AM is a computer program written by Doug Lenat that discovers elementary mathematics starting from some initial knowledge of set theory. The success of this program is not clearly understood. This work is an attempt to explore the search space of AM in order to understand the success and eventual...
    Resource Type:
    Masters Thesis
    Full Text:
    Abstract approved:_ Redacted for Privacy Thomas G. Dietterich. AM is a computer program written by Doug

  • A specialized ATMS for equivalence relations

    Creator:
    Koff, Caroline Nan
    Abstract:
    A specialized ATMS for efficiently computing equivalence relations in multiple contexts is introduced. This specialized ATMS overcomes the problems with existing solutions to reasoning with equivalence relations. The most direct implementation of an equivalence relation in the ATMS-encoding the reflexive, transitive, and symmetric rules in the consumer architecture-produces redundant equality...
    Resource Type:
    Masters Thesis
    Full Text:
    for privacy Thomas G. Dietterich. A specialized ATMS for efficiently computing equivalence relations

  • A laboratory station timetable problem

    Creator:
    Mickelsen, Thomas E.
    Abstract:
    The general problem of classroom scheduling is well known to be NP-complete. A typical classroom scheduling problem is that of assigning students to a limited number of pieces of laboratory equipment. Frequently several identical pieces of equipment are available only at fixed hours and have limited access due to physical...
    Resource Type:
    Capstone Project
    Full Text:
    ) A Laboratory Station Timetable Problem Thomas E

  • 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:
    approved: Redacted for Privacy Thomas G. Dietterich A forward-chaining logic programming system (FORLOG

  • Learning functional descriptions from examples

    Creator:
    Flann, Nicholas S.
    Abstract:
    The task of inductive learning from examples places constraints on the representation of training instances and concepts. These constraints are different from, and often incompatible with, the constraints placed on the representation by the performance task. This incompatibility is severe when learning functional concepts and explains why previous researchers have...
    Resource Type:
    Masters Thesis
    Full Text:
    Abstract approve Thomas G. Dietterich. The task of inductive learning from examples places constraints on

  • Transient decay of persistent photo conductance in AIGaAs

    Creator:
    Dobson, Thomas William
    Abstract:
    1988 best estimate for issue date and commencement year based on available information.
    Resource Type:
    Capstone Project
    Full Text:
    PHDTDCDNDUCTANCE IN AlG aAs by Thomas Willi a m Dobson ,~, THE El I 13 <,;ub1n :i. ttt::•cl to Or e gon

  • G, a language based on demand-driven stream evaluations

    Creator:
    Placer, John R.
    Abstract:
    A programming paradigm can be defined as a model or an approach employed in solving a problem. The results of the research described in this document demonstrate that it is possible to unite several different programming paradigms into a single linguistic framework. The imperative, procedural, applicative, lambda-free, relational, logic and...
    Resource Type:
    Dissertation
    Full Text:
    G, a language based on demand-driven stream evaluations

  • The cloze procedure : a proposal for a measure of program comprehension

    Creator:
    Foote, David A.
    Resource Type:
    Capstone Project
    Full Text:
    . 20. McCabe, Thomas J., "A Complexity Measure", IEEE Transactions on Software Engineering, SE-2(4

  • A rule based approach to program development

    Creator:
    Birjandi, Abbas
    Abstract:
    A rule based transformational model for program development and a metatool based on the above model is presented. The meta-tool can be instantiated to create various program development tools such as tools for building reusable software components, language directed editors, language to language translators, program instrumentation, structured document generator, and...
    Resource Type:
    Dissertation
    Full Text:
    A rule based approach to program development AN ABSTRACT

  • 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:
    ) A C Source Code Browsing System Produced for an Oregon