Search
Now showing items 1-2 of 2
Human activity recognition using a wearable camera
(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
(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 ...