Search Constraints

Start Over
Filtering by: Creator Jensen, David C. Remove constraint Creator: Jensen, David C. Academic Affiliation Electrical Engineering and Computer Science Remove constraint Academic Affiliation: Electrical Engineering and 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

  • Shape transformation using compactly supported radial basis functions

    Creator:
    Park, Byungsoo
    Abstract:
    Shape transformation is a technique for gradually changing one geometric shape to another. A recent approach presents the use of thin-plate radial basis functions as opposed to traditional "blobby sphere" implicit functions. Without the explicit evaluation of he energy function, this approach combined the two traditional steps into one by...
    Resource Type:
    Capstone Project
    Full Text:
    implicit function in 3D. An implicit surface is {p ER" I f(p) = c} , where c is the isocontour value of

  • Model Selection of Discrete Classifiers under Class and Cost Distribution Change: An Empirical Study

    Creator:
    Ahmed, Nahian and Hutchinson, Rebecca A.
    Abstract:
    A variety of important machine learning applications require predictions on test data with different characteristics than the data on which a model was trained and validated. In particular, test data may have a different relative frequency of positives and negatives (i.e., class distribution) and/or different mislabeling costs of false positive...
    Resource Type:
    Technical Report
    Full Text:
    /10.1137/1.9781611973440.78. C Bradford Barber, David P Dobkin, and Hannu Huhdanpaa. The quickhull

  • 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

  • Resource planning power flow & feasibility study

    Creator:
    von Jouanne, Annette and Wallace, Alan
    Abstract:
    The OSU Motor Systems Resource Facility (MSRF), co-directed by the Principal Investigators (PI's, bios included), is an Energy Systems Laboratory with operating capabilities up to 750kV A, testbeds up to 300hp, a 120kVA fully programmable source, and a bi-directional grid interface enabling regeneration back onto the grid. The MSRF was...
    Resource Type:
    Technical Report
    Full Text:
    Walla and gasification or conventional coal technologies at-Boardman. C. The third study will build