Search Constraints

Start Over
Filtering by: Creator Daube, B. C. Remove constraint Creator: Daube, B. C. Committee Member Fern, Alan Remove constraint Committee Member: Fern, Alan

Search Results

  • Customizable Visual Traces for Program Explanations

    Creator:
    Bajaj, Divya
    Abstract:
    Correctness and efficiency are important properties of programs. However, to support maintenance and debugging, the programs should also be understandable. Program explanations also play a vital role in educational settings, enhancing the understanding of programs among students. Proof trees provide a sound basis for generating dynamic explanations of programs. But...
    Resource Type:
    Masters Thesis
    Full Text:
    b case [1,2,5,9,13] of {[] -> 0; (x:xs) -> 1 + length xs}⇓ 5 c 1 + length [2,5,9,13]⇓ 5 d length

  • Deep Learning for Human and Biological Languages

    Creator:
    Hong, Junki
    Abstract:
    We explore the application of deep learning to the disparate fields of natural language processing and computational biology. Both the sentences uttered by humans as well as the RNA and protein sequences found within the cells of their bodies can be considered formal languages in computer science, as sets of...
    Resource Type:
    Dissertation
    Full Text:
    or k B ea m 1 0 C h a rt P a rs in g Figure 2.3: Runtime plot of decoding the discourse

  • Object detection in biological images using a search-based framework

    Creator:
    Lam, Michael
    Abstract:
    This thesis addresses a basic problem in computer vision, that of semantic labeling of images. Our work is aimed at object detection in biological images for evolutionary biology research. In particular, our goal is to detect nematocysts in Scanning Electron Microscope (SEM) images. This biological domain presents challenges for existing...
    Resource Type:
    Masters Thesis
    Full Text:
    rate for 10 minutes; (b) rinsed in water; (c) preserved in 70% ethanol; (d) dehydrated in a graded

  • Weakly Supervised Learning for Activity Recognition from Time Series Data

    Creator:
    Guan, Xinze
    Abstract:
    The thesis focuses on activity recognition from sensor data, which has spurred a great deal of interest due to its impact on health care and security. Previous work on activity recognition from multivariate time series data has mainly applied supervised learning techniques which require a high degree of annotation effort...
    Resource Type:
    Dissertation
    Full Text:
    . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98 B Complete Data Log-likelihood and Surrogate Objective . . . . . . . . . . . 99 C Expectation

  • Planning in multi-agent partially observable domains using sparse sampling

    Creator:
    Donneau-Golencer, Thierry D.
    Abstract:
    A large number of sequential decision-making problems in uncertain environments can be modeled as Markov Decision Processes (MDPs). In such settings, an agent can observe at each time step the state of the environment and then executes an action, causing a stochastic transition to a new state of the environment...
    Resource Type:
    Masters Thesis
    Full Text:
    �!/K<=-E: <"���6 "�!dc1��� "�9H_�9/c<"D�:;-0 =<>��� *��9@0 "�9�6-2: AC&2D�<>�! -2:B��89�+�!/G8!� W

  • Probabilities of voting paradoxes with three candidates

    Creator:
    McDonald, Leslie M.
    Abstract:
    Pardoxes in voting has been an interest of voting theorists since the 1800's when Condorcet demonstrated the key example of a voting paradox: voters with individually transitive rankings produce an election outcome which is not transitive. With Arrow's Impossibility Theorem, the hope of finding a fair voting method which accurately...
    Resource Type:
    Masters Thesis
    Full Text:
    pairwise voting, that candidates can be ranked cyclically. For example, with three candidates {A,B,C

  • Automatic Explanations of Computation Results with Value Decompositions and Dominating Sets

    Creator:
    Kumar, Prashant
    Abstract:
    In an increasingly computation-driven world, algorithms and mathematical models significantly impact decision making across various fields. To foster trust and understanding, it is crucial to provide users with clear and concise explanations of the reasoning behind the results produced by computational tools, especially when recommendations appear counterintuitive. Legal frameworks in...
    Resource Type:
    Dissertation
    Full Text:
    two elements A and B as follows. δ(A, B) = {(c, x− y) | (c, x) ∈ φ(A) ∧ (c, y) ∈ φ(B)} The total of

  • Action Segmentation with Limited Supervision

    Creator:
    Li, Jun
    Abstract:
    In this dissertation, we address action segmentation in videos under limited supervision. The goal of action segmentation is to predict an action class for each frame of a video. The limited supervision means ground truth labels of video frames are not available in training. We focus on three types of...
    Resource Type:
    Dissertation
    Full Text:
    loss. Given video v with only two classes {c, a} and another video v′ with also two classes {c, b}, we

  • Network coding for multi-user wireless networks

    Creator:
    Nguyen, Dong Van
    Abstract:
    Until a few years ago, wireless-capable laptops were considered novelties by many. It is now hard to find a laptop or a hand-held computing device that is not wireless-ready. As wireless devices are becoming commodities, they have also become an indispensable part of the modern society. Not surprisingly, research in...
    Resource Type:
    Dissertation
    Full Text:
    computational rates. c©Copyright by Dong Nguyen June 10, 2009 All Rights Reserved 2010 Electrical

  • Protein secondary structure prediction using conditional random fields and profiles

    Creator:
    Shen, Rongkun
    Abstract:
    Protein secondary structure prediction plays a pivotal role in predicting protein folding in three-dimensions. Its task is to assign each residue one of the three secondary structure classes helix, strand, or random coil. This is an instance of the problem of sequential supervised learning in machine learning. This thesis describes...
    Resource Type:
    Masters Thesis
    Full Text:
    --- Note: a Nucleic acid sequences, as of Dec. 15, 2005. b Protein sequences, as of Jan. 10, 2006. c