Now showing items 1-3 of 3
Face Identification in the Internet Era
Despite decades of effort in academia and industry, it is not yet possible to build machines that can replicate many seemingly-basic human perceptual abilities. This work focuses on the problem of face identification that ...
Coding-Based System Primitives for Airborne Cloud Computing
The recent proliferation of sensors in inhospitable environments such as disaster or battle zones has not been matched by in situ data processing capabilities due to a lack of computing infrastructure in the field. We ...
Denotational Translation Validation
In this dissertation we present a simple and scalable system for validating the correctness of low-level program transformations. Proving that program transformations are correct is crucial to the development of security ...