Search Constraints

Start Over
Filtering by: Creator Martin, Thomas T. Remove constraint Creator: Martin, Thomas T. Committee Member Fern, Alan Remove constraint Committee Member: Fern, Alan

Search Results

  • Customizable Visual Traces for Program Explanations

    Creator:
    Bajaj, Divya
    Abstract:
    Correctness and efficiency are important properties of programs. However, to support maintenance and debugging, the programs should also be understandable. Program explanations also play a vital role in educational settings, enhancing the understanding of programs among students. Proof trees provide a sound basis for generating dynamic explanations of programs. But...
    Resource Type:
    Masters Thesis
    Full Text:
    Visual Traces for Program Explanations Abstract approved: Martin Erwig Correctness and efficiency are

  • Automatic Explanations of Computation Results with Value Decompositions and Dominating Sets

    Creator:
    Kumar, Prashant
    Abstract:
    In an increasingly computation-driven world, algorithms and mathematical models significantly impact decision making across various fields. To foster trust and understanding, it is crucial to provide users with clear and concise explanations of the reasoning behind the results produced by computational tools, especially when recommendations appear counterintuitive. Legal frameworks in...
    Resource Type:
    Dissertation
    Full Text:
    approved: Martin Erwig In an increasingly computation-driven world, algorithms and mathematical models

  • Adaptation-based programming

    Creator:
    Bauer, Tim
    Abstract:
    Partial programming is a field of study where users specify an outline or skeleton of a program, but leave various parts undefined. The undefined parts are then completed by an external mechanism to form a complete program. Adaptation-Based Programming (ABP) is a method of partial programming that utilizes techniques from...
    Resource Type:
    Dissertation
    Full Text:
    31, 2013. Title: Adaptation-Based Programming Abstract approved: Martin Erwig Partial

  • Improving automated email tagging with implicit feedback

    Creator:
    Sorower, Mohammad Shahed
    Abstract:
    Machine learning systems are generally trained offline using ground truth data that has been labeled by experts. However, these batch training methods are not a good fit for many applications, especially in the cases where complete ground truth data is not available for offline training. In addition, batch methods do...
    Resource Type:
    Dissertation
    Full Text:
    : Improving Automated Email Tagging with Implicit Feedback Abstract approved: Thomas G. Dietterich Machine

  • Anomaly Detection and Probabilistic Diagnosis for Automated Data Quality Control

    Creator:
    Zemicheal, Tadesse H.
    Abstract:
    Advances in sensor technology are greatly expanding the range of quantities that can be measured while simultaneously reducing the cost. However, deployed sensors drift out of calibration and fail, so every sensor network requires quality control procedures to promptly detect these failures. To address these problems, we propose a two-level...
    Resource Type:
    Dissertation
    Full Text:
    : Thomas G. Dietterich Advances in sensor technology are greatly expanding the range of quantities that

  • 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:
    special thank you to Martin Erwig for many constructive advice and discussions on research in either

  • Monte Carlo Counterfactual Regret Minimization applied to Clue

    Creator:
    Martin, Benjamin
    Abstract:
    This document analyzes the application of Monte Carlo Counterfactual Regret Minimization (MCCFR) in the game of Hasboro’s Clue. As a partially observable stochastic multiplayer game, Clue is well-suited for MCCFR methods. MCCFR has previously been shown to be effective in beating top human players around the world in No-Limit Texas...
    Resource Type:
    Honors College Thesis
    Full Text:
    Benjamin Martin A THESIS submitted to Oregon State University Honors College in partial fulfillment of

  • Learning MDP action models via discrete mixture trees

    Creator:
    Wynkoop, Michael S.
    Abstract:
    This thesis addresses the problem of learning dynamic Bayesian network (DBN) models to support reinforcement learning. It focuses on learning regression tree models of the conditional probability distributions of the DBNs. Existing algorithms presume that the stochasticity in the domain can be modeled as a deterministic function with additive noise....
    Resource Type:
    Masters Thesis
    Full Text:
    , 2008. Title: Learning MDP Action Models via Discrete Mixture Trees Abstract approved: Thomas G

  • Probabilistic models for quality control in environmental sensor networks

    Creator:
    Dereszynski, Ethan W.
    Abstract:
    Networks of distributed, remote sensors are providing ecological scientists with a view of our environment that is unprecedented in detail. However, these networks are subject to harsh conditions, which lead to malfunctions in individual sensors and failures in network communications. This behavior manifests as corrupt or missing measurements in the...
    Resource Type:
    Dissertation
    Full Text:
    : Probabilistic Models for Quality Control in Environmental Sensor Networks Abstract approved: Thomas G

  • Efficient training and feature induction in sequential supervised learning

    Creator:
    Hao, Guohua
    Abstract:
    Sequential supervised learning problems arise in many real applications. This dissertation focuses on two important research directions in sequential supervised learning: efficient training and feature induction. In the direction of efficient training, we study the training of conditional random fields (CRFs), which provide a flexible and powerful model for sequential...
    Resource Type:
    Dissertation
    Full Text:
    Feature Induction in Sequential Supervised Learning Abstract approved: Thomas G. Dietterich Sequential