Browsing Department of Computer Science Research Reports: 2000 - 2008 by Title
Now showing items 21-40 of 56
-
The Event Calculus Assessed
(2013-12-10)The range of applicability of the Full Event Calculus is proven to be the Ksp-IA class in the Features and Fluents taxonomy. The proof is given with respect to the original definition of this preference logic, where no ... -
Features and Fluents for Logic Programming: Non-simulative Algebraic Semantics
(2013-12-10)A Non-simulative Algebraic Semantics is defined and its range of applicability is proven to be the K-RACi class of the Features and Fluents framework. The comparative assessment reveals the semantics epistemologically ... -
Full Abstraction for PCF
(2013-12-10) -
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)