Browsing Department of Computer Science Research Reports: 2000 - 2008 by Issue Date
Now showing items 1-20 of 56
-
Call-By-Push-Value
(2013-12-10)Call-by-push-value (CBPV) is a new programming language paradigm, based on the slogan “a value is, a computation does”. We claim that CBPV provides the semantic primitives from which the call-by-value and call-by-name ... -
Full Abstraction for PCF
(2013-12-10) -
Dynamic Face Models: Construction and Applications
(2013-12-10) -
An Abstract Look at Realizability
(2013-12-10) -
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 ... -
Coordination using a Single-Writer Multiple-Reader Concurrent Logic Language
(2013-12-10)The principle behind concurrent logic programming is a set of processes which co-operate in monotonically constraining a global set of variables to particular values. Each process will have access to only some of the ... -
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 ... -
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 ... -
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 ... -
Corrections and Remarks
(2013-12-10)This document contains corrections to errors discovered to-date in, and also some remarks upon, both Samin Ishtiaq's thesis, A Relevant Analysis of Natural Deduction [Ish99] and also the JLC [IP98] and CSL [IP99] papers, ... -
Iconic Indexing for Video Search
(2013-12-30) -
Object Localization by Generative Graph Configuration
(2013-12-30) -
Approaching Real-time Network Traffic Classification
(2013-12-30) -
Proceedings of the 20th BCS HCI Group conference Volume Two
(2013-12-30) -
Temoral Difference Learning in Complex Domains
(2013-12-30) -
Adding Function Arguments to Moded Guarded Definite Clauses
(2013-12-30)