Search Constraints

Start Over
Filtering by: Creator Welter, Stephen C. Remove constraint Creator: Welter, Stephen C. Degree Field Computer Science Remove constraint Degree Field: Computer Science File Format pdf Remove constraint File Format: pdf

Search Results

  • Formal Verification of the Variational Database Management System

    Creator:
    Khan, Fariba
    Abstract:
    Variation in data is abundant and ubiquitous in real-world applications. Managing variation in databases is, however, difficult and has been extensively studied by the database community. Schema evolution, data integration, and database versioning are examples of well-studied forms of database variation with effective context-specific solutions. However, variation appears in different...
    Resource Type:
    Masters Thesis
    Full Text:
    . . . . . . . . . . . . . . . . . . . . . . . 63 B Formal Encoding of Variational Query . . . . . . . . . . . . . . . . . . . . . 84 C Formal

  • Action Segmentation in Videos: Deep Models, Prediction Diffusion, and Deep-Temporal Augmentations

    Creator:
    Aziere, Nicolas
    Abstract:
    This paper addresses the high model complexity and overconfident frame labeling of state-of-the-art (SOTA) action segmenters. Their complexity is typically justified by the need to sequentially refine action segmentation through multiple stages of a deep architecture. However, this multistage refinement does not take into account uncertainty of frame labeling predicted...
    Resource Type:
    Dissertation
    Full Text:
    computation. . . . . . . . . . . . . 10 3.1 An overview of our TCTr with the C-T-T-T-T (or CT4 for shorthand

  • Design and implementation of a HELM user interface

    Creator:
    Singh, Bopinderjit (Bob), Brown, Carol E., and Lewis, Ted G.
    Abstract:
    This research paper is limited to the User Interface of the modeling language of HELM (Hierarchical Environment for Linear Modeling). In attempt to better describe the user interface for HELM, some examples and portions of Carol Brown's report are included for ease of reading and a brief overview of the...
    Resource Type:
    Capstone Project and Technical Report
    Full Text:
    Constraints j £ J Bounds j £ J • Sign restrictions on the variables c· J are original cost

  • Message Queue Manager

    Creator:
    Fang, Don Y.
    Abstract:
    The conventional way of debugging is to examine the program's state at various points during execution. With the addition of message passing as a means of communication and synchronization in message passing programs, the state of pending message operations also needs to be examined. Current parallel debuggers or analysis tools...
    Resource Type:
    Capstone Project
    Full Text:
    .......... .... ................... ............. .. .............. .. ..... ............. ... 3 Figure 1.2 (a) Example message passing program , and (b),(c) its two possible executions