Browsing Department of Computer Science Research Reports: 2000 - 2008 by Issue Date
Now showing items 21-40 of 56
-
Relative Definability of Boolean Functions via Hypergraphs
(2013-12-30) -
Categories and Types for Axiomatic Domain Theory
(2013-12-30) -
Deformable 3-D Modelling from Uncalibrated Video Sequences
(2013-12-30) -
Reasoning about Action: A Study in Systems Design
(2013-12-30) -
Discriminators for use in flow-based classification
(2013-12-30) -
Easy Foot Plant
(2013-12-30) -
Dynamic Configuration of Distributed Multimedia Components
(2013-12-30) -
Learning the Visual Dynamics of Human Body Motions
(2013-12-30) -
Some notes on equalities not present in the λµ-calculus
(2013-12-30) -
Causality, Modality and Explanation
(2013-12-30) -
Davidson's Equations
(2013-12-30) -
McCain-Turner Theories: Alternative Causal Laws
(2013-12-30) -
A Type Theory for to Reiter's Regression
(2013-12-30) -
Linear and Affine Typing of Continuation-Passing Style
(2013-12-30)