Search Constraints

Start Over
Filtering by: Creator Blaney, D. L. Remove constraint Creator: Blaney, D. L. Committee Member Tadepalli, Prasad Remove constraint Committee Member: Tadepalli, Prasad Creator Chen, Sheng Remove constraint Creator: Chen, Sheng

Search Results

  • Variational Typing and Its Applications

    Creator:
    Chen, Sheng
    Abstract:
    The study of variational typing originated from the problem of type inference for variational programs, which encode numerous different but related plain programs. In this dissertation, I present a sound and complete type inference algorithm for inferring types of all plain programs encoded in variational programs. The proposed algorithm runs...
    Resource Type:
    Dissertation
    Full Text:
    verify that for the unification problems (2.1) and (2.2), UR returns θ2 23 UR : (τL,τR) → ξ UR(a

  • Object Tracking-by-Segmentation in Videos

    Creator:
    Chen, Sheng
    Abstract:
    This thesis focuses on the problem of object tracking. Given a video, the general objective of tracking is to track the location over time of one or more targets in the image sequence. This is a very challenging task as algorithms need to deal with problems such as appearance variations,...
    Resource Type:
    Dissertation
    Full Text:
    that |L(Si)| > 1 do 3: L = ConstraintPropagation(L,Σ) 4: D = {(S, l) : S ∈ A(L), l ∈ L(S)} 5: (Si, l