Browsing Department of Computer Science Research Reports: 2000 - 2008 by Title
Now showing items 1-20 of 56
-
An Abstract Look at Realizability
(2013-12-10) -
Adding Function Arguments to Moded Guarded Definite Clauses
(2013-12-30) -
Approaching Real-time Network Traffic Classification
(2013-12-30) -
Bayesian Networks for Software Process Control
(2013-12-30) -
Best Entry Pages for the Topic Distillation Task
(2013-12-30) -
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 ... -
Categories and Types for Axiomatic Domain Theory
(2013-12-30) -
Causality, Modality and Explanation
(2013-12-30) -
Computers in Support of Musical Expression
(2013-12-30) -
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 Core Language of Aldwich
(2013-12-30) -
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, ... -
Davidson's Equations
(2013-12-30) -
Deformable 3-D Modelling from Uncalibrated Video Sequences
(2013-12-30) -
Discriminators for use in flow-based classification
(2013-12-30) -
Dynamic Configuration of Distributed Multimedia Components
(2013-12-30) -
Dynamic Face Models: Construction and Applications
(2013-12-10) -
Easy Foot Plant
(2013-12-30)