Search Constraints

Start Over
Filtering by: Creator Martin, Kenneth G. Remove constraint Creator: Martin, Kenneth G. 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

  • 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

  • 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

  • Principles of Variational Databases

    Creator:
    Ataei, Parisa S.
    Abstract:
    Data variations are prevalent in real-world applications. For example, software vendors have to handle numerous variations in the business requirements, conventions, and environmental settings of a software product. In database-backed software, the database of each version may have a different schema and content. As another example, data scientists often need...
    Resource Type:
    Masters Thesis
    Full Text:
    also grateful to my committee members and GCR, Prof. Martin Erwig, Prof. Alan Fern, and Prof. Abi

  • 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

  • Activity recognition in desktop environments

    Creator:
    Shen, Jianqiang
    Abstract:
    Knowledge workers are struggling in the information flood. There is a growing interest in intelligent desktop environments that help knowledge workers organize their daily life. Intelligent desktop environments allow the desktop user to define a set of “activities” that characterize the user’s desktop work. These environments then attempt to identify...
    Resource Type:
    Dissertation
    Full Text:
    Recognition in Desktop Environments Abstract approved: Thomas G. Dietterich Knowledge workers are

  • 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