Now showing items 81-85 of 85
On Bar Recursive Interpretations of Analysis.
(Queen Mary University of London, 2013-08)
This dissertation concerns the computational interpretation of analysis via proof interpretations, and examines the variants of bar recursion that have been used to interpret the axiom of choice. It consists of an applied ...
Understanding and Supporting Cross-modal Collaborative Information Seeking
(Queen Mary University of London, 2016-02-24)
Most previous studies of users with visual impairments (VI) access to the web have focused solely on single user human-web interaction. This thesis explores the under investigated area of cross-modal collaborative information ...
Ground-truth-based trajectory evaluation in videos
(Queen Mary University of London, 2015-04-08)
Video tracking involves estimating the state(s) of target(s) over time on the image plane, where the sequence of target states is termed as a trajectory. Trajectory evaluation refers to the assessment of a tracker’s ...
QoS-aware Radio Resource Management for Spectrum Sharing Radio Networks
(Queen Mary University of London, 2014-08-02)
Facial Privacy Protection in Airborne Recreational Videography
(Queen Mary University of London, 2019-02-05)
Cameras mounted on Micro Aerial Vehicles (MAVs) are increasingly used for recreational photography and videography. However, aerial photographs and videographs of public places often contain faces of bystanders thus leading ...