Search Constraints

Start Over
Filtering by: Alternative title ssim Special report 711 Remove constraint Alternative title ssim: Special report 711 Committee Member Tadepalli, Prasad Remove constraint Committee Member: Tadepalli, Prasad Resource Type Masters Thesis Remove constraint Resource Type: Masters Thesis

Search Results

  • Using Change Representations to Analyze Properties of Variational Software

    Creator:
    Wang, Xiangyu
    Abstract:
    Appropriate representations of variational software simplify the analysis of their properties.This thesis proposes tailored representations of two kinds variational softwares: difference files of merge commits in Git and feature models. For the former, we use the Choice Edit Model, which is based on the choice calculus, to represent changes introduced...
    Resource Type:
    Masters Thesis
    Full Text:
    of edit B. As a special application of the choice calculus, the CEM has the syntax: e ::= ε | p | D

  • Reinforcement learning-based off-equilibrium incentives to approximate the VCG mechanism

    Creator:
    Moissinac, Béatrice
    Abstract:
    Auctions are used to solve resource allocation problem between many agents and many items in real-world settings. Unfortunately, in most cases, it is possible for selfish agents to manipulate the system for their own interest at the expense of the social welfare. Such manipulation can be prevented using the Vickrey-Clarke-Groves...
    Resource Type:
    Masters Thesis
    Full Text:
    Approximation Solution . . . . . . . . . . . . . . . . . . . . . . . . 10 2.2.2 Identify Special cases

  • Object highlighting : real-time boundary detection using a Bayesian network

    Creator:
    Jia, Jin
    Abstract:
    Image segmentation continues to be a fundamental problem in computer vision and image understanding. In this thesis, we present a Bayesian network that we use for object boundary detection in which the MPE (most probable explanation) before any evidence can produce multiple non-overlapping, non-self-intersecting closed contours and the MPE with...
    Resource Type:
    Masters Thesis
    Full Text:
    on the pre-segmented image graph. It captures the special relationships of edges and nodes in the

  • OME : A Framework for Running Spatially Explicit System Dynamics Models

    Creator:
    Wingo, Patrick C.
    Abstract:
    The Open Modeling Environment (OME) is a tool developed to address some known shortcomings in ecological System Dynamics (SD) modeling research. OME provides a common set of methods for interacting directly with spatial information, reducing the need for modelers to create their own methods for doing so. The environment is...
    Resource Type:
    Masters Thesis

  • Mechanical design under changing customer requirements case study : BugID

    Creator:
    Fagan, Chris R.
    Abstract:
    Customer requirements and engineering specifications will influence the direction of the design in any product, so it is crucial to make the requirements as stable as possible so quality designs can be produced on time within a budget. It would be optimal for requirements and specifications to remain constant but...
    Resource Type:
    Masters Thesis
    Full Text:
    transport tube were tested. Testing various sizes, shapes, and lengths of tubing, as well as special

  • Offensive Direction Inference in Real-World Football Video

    Creator:
    Lu, Qingkai
    Abstract:
    Automatic analysis of American football videos can help teams develop strategies and extract patterns with less human effort. In this work, we focus on the problem of automatically determining which team is on offense/defense, which is an important subproblem for higher-level analysis. While seemingly mundane, this problem is quite challenging...
    Resource Type:
    Masters Thesis
    Full Text:
    , the Kanade-Lucas-Tomasi (KLT) [32] trajectories analysis, seeks to detect the position of a special

  • Investigation of automatic construction of reactive controllers

    Creator:
    Westerberg, Caryl J.
    Abstract:
    In real-time control systems, the value of a control decision depends not only on the correctness of the decision but also on the time when that decision is available. Recent work in real-time decision making has used machine learning techniques to automatically construct reactive controllers, that is, controllers with little...
    Resource Type:
    Masters Thesis
    Full Text:
    examples. No special adjustments were necessary for off-line learning, but because C4.5 is not an

  • Towards reliable and survivable ocean wave energy converters

    Creator:
    Brown, Adam C.
    Abstract:
    Ocean wave energy is a new and developing field of renewable energy with great potential. The energy contained in one meter of an average wave off the coast of Newport Oregon could supply dozens of homes with electricity. However, ocean waves are usually quite irregular which leads to large bursts...
    Resource Type:
    Masters Thesis
    Full Text:
    environment this failure may necessitate the use of special equipment to access and repair the device

  • Learning multiple non-redundant codebooks with word clustering for document classification

    Creator:
    Surve, Akshat Sudhakar
    Abstract:
    The problem of document classification has been widely studied in machine learning and data mining. In document classification, most of the popular algorithms are based on the bag-of-words representation. Due to the high dimensionality of the bag-of-words representation, significant research has been conducted to reduce the dimensionality via different approaches....
    Resource Type:
    Masters Thesis
    Full Text:
    impossible to finish this thesis. Special thanks should be given to all the students, faculty and staff in

  • Interactive fault localization techniques to empower the debugging efforts of end-user programmers

    Creator:
    Ruthruff, Joseph Ronald
    Abstract:
    End users develop more software than any other group of programmers, using software authoring devices such as e-mail filtering editors, by-demonstration macro builders, and spreadsheet environments. Despite this, there has been only a little research on finding ways to help these programmers with the dependability of the software they create....
    Resource Type:
    Masters Thesis
    Full Text:
    . This page contains two example, correct “report cards” that participants were allowed to use to