Search Constraints

Start Over
Filtering by: Creator Solmie, Derek K. Remove constraint Creator: Solmie, Derek K. Degree Field Computer Science Remove constraint Degree Field: Computer Science

Search Results

  • LacEDAemon : a programming environment for the multiparadigm language leda

    Creator:
    Pandey, Rajeev K.
    Abstract:
    Multiparadigm programming languages are a recent development in the realm of programming languages. A multiparadigm programming language allows the use of multiple, differing programming paradigms without departing from a single, unified linguistic framework. Multiparadigm programming languages are claimed to have benefits to both pedagogy and complex application creation. The beneficial...
    Resource Type:
    Dissertation
    Full Text:
    root.dvi AN ABSTRACT OF THE THESIS OF Rajeev K. Pandey for the degree of

  • Computing Bounded Chains and Surfaces in a Simplicial Complex with Bounded-treewidth 1-skeleton

    Creator:
    Black, Mitchell
    Abstract:
    We consider three problems on simplicial complexes: the Optimal Bounded Chain Problem, the Optimal Homologous Chain Problem, and 2-Dim-Bounded-Surface. The Optimal Bounded Chain Problem asks to find the minimum weight d-chain in a simplicial complex K bounded by a given (d−1)-chain, if such a d-chain exists. The Optimal Homologous Chain...
    Resource Type:
    Masters Thesis
    Full Text:
    find the minimum weight d-chain in a simpli- cial complex K bounded by a given (d−1)-chain, if such a

  • A Comparison and Analysis of Selected Holidays in Kyrgyzstan, Russia, and the United States

    Creator:
    Matyeva, Alima
    Abstract:
    Through comparison and analysis of selected holidays in countries with significantly different features (Kyrgyzstan, Russia, and the United States), this study aims to gauge the impact of holiday celebrations in influencing cultural values in those countries studied. K. Zygulski’s classification system for holidays was applied to divide the holidays of...
    Resource Type:
    Honors College Thesis
    Full Text:
    holiday celebrations in influencing cultural values in those countries studied. K. Zygulski’s

  • Semantic image segmentation using domain constraints

    Creator:
    Roy, Anirban
    Abstract:
    This dissertation addresses the problem of semantic labeling of image pixels. In the course of our work, we considered different types of semantic labels, including object classes (e.g., car, person), 3D depth values (in the range 0 to 80 meters), and affordance classes (e.g., walkable, sittable). Semantic pixel labeling is...
    Resource Type:
    Dissertation
    Full Text:
    values from a set of object class labels L = {1, 2, ..., k}, where |L| = k. When Xi = i ′ ∈ L then CRF

  • Infant Hand Detection and Tracking

    Creator:
    Mishra, Shridhar
    Abstract:
    Hand detection is a fundamental step for many hand-related computer vision tasks, such as gesture recognition, hand pose estimation, hand sign language translation, and so on. However, robustly detecting hands is a challenging task because of drastic changes in appearance based on finger articulation and changes in lighting conditions, camera...
    Resource Type:
    Masters Thesis
    Full Text:
    map. Thus the total number of anchor boxes is h*w*k (h*w is the output size of the feature map). k

  • Supporting branch-and-bound computations on parallel machines

    Creator:
    Mannan, Mohammed A.
    Abstract:
    We have developed SearchPak, a machine independent parallel searching tool on shared and distributed memory machines. It can be used for combinatorial optimiza­tion problems and OR-parallel computations as well. Both depth-first and best-first search of the state space can be performed using the SearchPak. With SearchPak, a user just provides...
    Resource Type:
    Capstone Project
    Full Text:
    implementation we chose the number of levels to be two as shown in Figure 2. At the first level, 'k' processors

  • Optimizing Interconnection Topology using Deep Reinforcement Learning

    Creator:
    Zeng, Kai
    Abstract:
    As the number of nodes in high-performance computing (HPC) systems continues to grow, it becomes increasingly important to design scalable interconnection network topologies. Prior work has shown promise in adding random shortcuts on top of an existing topology to reduce average hop count and network diameter, but has been limited...
    Resource Type:
    Masters Thesis
    Full Text:
    ], (n, k)-star graph[1] and so on. These diagrams are rarely used for interconnection topologies in

  • Decision analysis using the Hybrid Uncertainty Manager

    Creator:
    Yang, Charles J.
    Abstract:
    We present an extended mapping in the Hybrid Uncertainty Manager so that all the components of an influence diagram can be represented. This will allow us to perform decision analysis on a decision problem. Specifically, a representation for decision nodes, value node, and informational arcs will be given. With these...
    Resource Type:
    Capstone Project

  • A SAT-based planning framework for optimizing resource production

    Creator:
    Ventura, Christopher
    Abstract:
    Domain-independent automated planning is concerned with computing a sequence of actions that can transform an initial state into a desired goal state. Resource production domains form an interesting class of such problems, in that they typically require reasoning about concurrent durative-actions with continuous effects while minimizing some cost function. Although...
    Resource Type:
    Masters Thesis
    Full Text:
    action. They also enforce the remaining continuous effects and all of the ‘at end’ effects. ‘End(A)[i,k

  • Explaining debugging strategies to end-user programmers

    Creator:
    Subrahmaniyan, Neeraja
    Abstract:
    There has been little research into how end-user programming environments can provide explanations that could fill a critical information gap for end-user debuggers – help with debugging strategy. To address this need, we designed and prototyped a video-based approach for explaining debugging strategy, and accompanied it with a text-only approach....
    Resource Type:
    Masters Thesis
    Full Text:
    VLHCC’07 paper1. I thank all my coauthors—Cory Kissinger, Kyle Rector, Derek Inman, Jared Kaplan