Search Constraints

Start Over
Filtering by: Creator Peck, David V. Remove constraint Creator: Peck, David V. Committee Member Tadepalli, Prasad Remove constraint Committee Member: Tadepalli, Prasad

Search Results

  • Visual SQL analyzer project report

    Creator:
    Li, Xiaoyan
    Abstract:
    Structure Query Language (SQL) is widely used to access data stored in relational database systems. Although a powerful and flexible language, SQL can also be complex and hard to learn. For most new SQL users, it's easy to write SQL statement by following SQL grammar and syntax rules, but it's...
    Resource Type:
    Capstone Project
    Full Text:
    Introduction to SQL" written by J. Harvey Trimble, Jr. and David Chappell [l]. These techniques are also used

  • Visual object discovery and understanding

    Creator:
    Yuan, Jialin
    Abstract:
    Learning to recognize objects is a fundamental and essential step in human perception and understanding of the world. Accordingly, research of object discovery across diverse modalities plays a pivotal role in the context of computer vision. This field not only contributes significantly to enhancing our understanding of visual information but...
    Resource Type:
    Dissertation

  • Variational Satisfiability Solving

    Creator:
    Young, Jeffrey M.
    Abstract:
    Over the last two decades, satisfiability and satisfiability-modulo theory (SAT/SMT) solvers have grown powerful enough to be general purpose reasoning engines throughout software engineering and computer science. However, most practical use cases of SAT/SMT solvers require not just solving a single SAT/SMT problem, but solving sets of related SAT/SMT problems....
    Resource Type:
    Dissertation
    Full Text:
    : performance as variants increase per base solver. v→v shows a speedup of 2.8–3.5x for the auto dataset

  • Using RUBI to partition agents in air traffic problems with hard constraints and reward shaping

    Creator:
    Curran, William
    Abstract:
    Air traffic flow management over the U.S. airpsace is a difficult problem. Current management approaches lead to hundreds of thousands of hours of delay, costing billions of dollars annually. Weather and airport conditions may instigate this delay, but routing decisions balancing delay with congestion contribute significantly to the propagation of...
    Resource Type:
    Masters Thesis
    Full Text:
    Algorithm 1 Action-Value Learning 1: function Action-Value Learner 2: Initialize V arbitrarily 3: for e

  • 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:
    cdg1∪ cdg2 means the union of cdg1 and cdg2. The union of a CDG with vertex set V and edge set E and a

  • Toward computer vision for understanding American football in video

    Creator:
    Hess, Robin W.
    Abstract:
    In this work, I examine the problem of understanding American football in video. In particular, I present several mid-level computer vision algorithms that each accomplish a different sub-task within a larger system for annotating, interpreting, and analyzing collections of American football video. The analysis of football video is useful in...
    Resource Type:
    Dissertation
    Full Text:
    , Sean Mc- Gregor, and Tuan Pham for this. Thanks, too, to Chris Chambers, David Piorkowski, Eric Walk

  • Topics in toroidal interconnection networks

    Creator:
    Broeg, Robert Richard
    Resource Type:
    Dissertation
    Full Text:
    and G2, denoted by G1 0 G2, is defined as the graph G = (V, E) where V = {(vi, v2) E 171 and v2 E V2

  • The density signature

    Creator:
    Migler-VonDollen, Theresa
    Abstract:
    In real networks, identifying dense regions is of great importance. For example, in a network that represents academic collaboration, authors within the densest component of the graph tend to be the most prolific. Dense subgraphs often identify communities in social networks. And dense subgraphs can be used to discover regulatory...
    Resource Type:
    Dissertation
    Full Text:
    is an ordered pair G = (V, E), where V is the set of vertices and E is the set of edges which are 2

  • Test case prioritization

    Creator:
    Malishevsky, Alexey Grigorievich
    Abstract:
    Regression testing is an expensive software engineering activity intended to provide confidence that modifications to a software system have not introduced faults. Test case prioritization techniques help to reduce regression testing cost by ordering test cases in a way that better achieves testing objectives. In this thesis, we are interested...
    Resource Type:
    Dissertation
    Full Text:
    Dietterich, Prasad Tadepalli, and David Sullivan for serving on my committee. They gave me valuable feedback

  • Structured learning with latent variables : theory and algorithms

    Creator:
    Zhao, Kai
    Abstract:
    Most tasks in natural language processing (NLP) try to map structured input (e.g., sentence or word sequence) to some form of structured output (tag sequence, parse tree, semantic graph, translated/paraphrased/compressed sentence), a problem known as “structured prediction”. While various learning algorithms such as the perceptron, maximum entropy, and expectation-maximization have...
    Resource Type:
    Dissertation
    Full Text:
    one sentence “fruit flies fly.”. The simplified tagging set T = {N,V, .}. The simplified feature