Browsing Department of Computer Science Research Reports: 2000 - 2008 by Title
Now showing items 24-43 of 56
-
Iconic Indexing for Video Search
(2013-12-30) -
Learning the Visual Dynamics of Human Body Motions
(2013-12-30) -
Linear and Affine Typing of Continuation-Passing Style
(2013-12-30) -
Mathematics for Networks
(2013-12-30) -
McCain-Turner Theories: Alternative Causal Laws
(2013-12-30) -
Modelling Participation in Virtual Environments
(2013-12-30) -
MPEG-4 Software Video Encoding
(2013-12-10)This thesis presents a software model that allows a parallel decomposition of the MPEG-4 video encoder onto shared memory architectures, in order to reduce its total video encoding time. Since a video sequence consists ... -
Object Localization by Generative Graph Configuration
(2013-12-30) -
Proceedings of the 20th BCS HCI Group conference Volume Two
(2013-12-30) -
Programming with Bunched Implications
(2013-12-10)We give an operational semantics for the logic programming language BLP, based on the hereditary Harrop fragment of the logic of bunched implications, BI. We introduce BI, explaining the account of the sharing of resources ... -
Quantified Interference for a While Language
(2013-12-30)