Search Constraints

Start Over
Filtering by: Creator Gandhi, Kalpesh K. Remove constraint Creator: Gandhi, Kalpesh K. Degree Field Computer Science Remove constraint Degree Field: Computer Science Peer Reviewed No Remove constraint Peer Reviewed: No

Search Results

  • On the limits of mutation analysis

    Creator:
    Gopinath, Rahul
    Abstract:
    Mutation analysis is the gold standard for evaluating test-suite adequacy. It involves exhaustive seeding of all small faults in a program and evaluating the effectiveness of test suites in detecting these faults. Mutation analysis subsumes numerous structural coverage criteria, approximates fault detection capability of test suites, and the faults produced...
    Resource Type:
    Dissertation
    Full Text:
    – The composite fault hypothesis: Tests detecting a fault in isolation will (with probability K ≈ 99

  • Auxiliary Tasks for Efficient Learning of Point-Goal Navigation

    Creator:
    Desai, Saurabh Satish
    Abstract:
    Top-performing approaches to embodied AI tasks like point-goal navigation often rely on training agents via reinforcement learning over tens of millions (or even billions) of experiential steps – learning neural agents that map directly from visual observations to actions. In this work, we question whether these extreme training durations are...
    Resource Type:
    Masters Thesis
    Full Text:
    architecture described above. The final auxiliary loss LD is LD = − 1 16×N N∑ i=1 16∑ k=1 8∑ j=1 I(j

  • Semantic embodied navigation : developing agents that navigate from language and vision

    Creator:
    Krantz, Jacob
    Abstract:
    Autonomous robotic agents are on their way to becoming in-home personal assistants, construction assistants, and warehouse workers. The degree of autonomy of such systems is reflected by the manner in which we specify goals to them; the abstraction of low-level commands to high-level goals goes hand-in-hand with increased autonomy. In...
    Resource Type:
    Dissertation

  • Uncertainty in Deep Learning with Implicit Neural Networks

    Creator:
    Ratzlaff, Neale
    Abstract:
    The ability to extract uncertainties from predictions is crucial for the adoption of deep learning systems to safety-critical applications. Uncertainty estimates can be used as a failure signal, which is necessary for automating complex tasks where safety is a concern. Furthermore, current deep learning systems do not provide uncertainty estimates,...
    Resource Type:
    Dissertation
    Full Text:
    is, we consider k-class classification functions f : Rm → Rk parameterized by θ. Consider the joint

  • Helping end-user programmers help themselves : the idea garden approach

    Creator:
    Cao, Chen
    Abstract:
    End-user programmers face many barriers in programming. Research has seen many programming environments that attempted to lower or remove the barriers but despite these efforts, empirical studies continue to report barriers users face. To investigate this issue, we took a theory-informed approach. Using theories from design, creativity, and problem solving...
    Resource Type:
    Dissertation

  • Helping end-user programmers find and fix performance problems in visual code

    Creator:
    Chambers, Chris
    Abstract:
    End-user programmers often struggle to create programs that run quickly and effectively, which can be a major deterrent in completing their tasks as desired. Current research has primarily focused on catching user mistakes, such as errors or misused formulas. However, end users deal with issues other than just correctness. In...
    Resource Type:
    Dissertation

  • 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:
    subqueries. The join operation is 20 Operators: • := < | ≤ | = | 6= | > | ≥ ◦ := ∪ | ∩ Constant: k