Now showing items 1-2 of 2

    • Human activity recognition using a wearable camera 

      Tadesse, Girmaw Abebe (Queen Mary University of London, 2018-05-14)
      Advances in wearable technologies are facilitating the understanding of human activities using first-person vision (FPV) for a wide range of assistive applications. In this thesis, we propose robust multiple motion ...
    • Nominal Models of Linear Logic 

      Cuvillier, T (Queen Mary University of London, 06/11/2019)
      More than 30 years after the discovery of linear logic, a simple fully-complete model has still not been established. As of today, models of logics with type variables rely on di-natural transformations, with the intuition ...