<%@ page language="java" contentType="text/html" %>
<%-- Include common initialisation code --%>
<%@ include file="/arch/common.jsp" %>
<%-- The current tab --%>
<% String currentTab = "Research"; %>
<%-- Content of navigation pane --%>
<%@ include file="nav.jsp" %>
<% showCurrentLink=true; %>
<%-- Current navigation location --%>
<% String currentNav = "Reports and Theses"; %>
<%-- Include the code for the document header --%>
<%@ include file="/arch/header.jsp" %>
Research Reports 1996
<%-- Include the code for the lines and navigation --%>
<%@ include file="/arch/middle.jsp" %>
<%@ include file="copyright.html" %>
- CS-RR-319
- W.M. Beynon, R. Cartwright, A. Cartwright and Y.P. Yung,
Abstract Geometry for Design in an Empirical Modelling Context,
December 1, 1996
- CS-RR-318
- M. de Rijke,
A Note on Graded Modal Logic,
October 1, 1996
- CS-RR-317
- M. Wahab,
The Semantics of TLA on the PVS Theorem Prover,
October 1, 1996
- CS-RR-316
- C.T. Li and R.G. Wilson,
Multiresolution Image Segmentation Using Markov Random Field,
September 1, 1996
- CS-RR-315
- P. Blackburn, J. Jaspars and M. de Rijke,
Reasoning about Changing Information,
September 1, 1996
- CS-RR-314
- I.D. Craig,
Multi-Agent Systems: A Risk to Freedom,
September 1, 1996
- CS-RR-313
- I.D. Craig,
A Review of "Android Epistemology",
September 1, 1996
- CS-RR-312
- L.A. Goldberg, M.S. Paterson, A. Srinivasan and E. Sweedyk,
Better Approximation Guarantees for Job-shop Scheduling,
August 1, 1996
- CS-RR-311
- W.B. Beynon, P.E. Ness and S.B. Russ,
Worlds Before and Beyond Words,
August 1, 1996
- CS-RR-310
- I. Levy and R. Wilson,
Advances in Predictive Wavelet Transform Image Coding,
July 1, 1996
- CS-RR-309
- J. Beacom and R. Wilson,
Multiresolution Motion Analysis,
July 1, 1996
- CS-RR-308
- Tao-I Hsu and R. Wilson,
A Two-component Model of Texture for Analysis and Synthesis,
June 1, 1996
- CS-RR-307
- N. Kurtonina and M. de Rijke,
Directed Simulations,
June 1, 1996
- CS-RR-306
- L.A. Goldberg and M. Jerrum,
Randomly Sampling Molecules,
June 1, 1996
- CS-RR-305
- W. van der Hoek and M. de Rijke,
Interleaved Contractions,
April 1, 1996
- CS-RR-304
- N. Kurtonina and M. de Rijke,
Bisimulations for Temporal Logic,
April 1, 1996
- CS-RR-303
- I. Pu and A.M. Gibbons,
Matricial Space-Economy with Constant Access-Time,
March 1, 1996
- CS-RR-302
- Z. Liu and M. Joseph,
Verification of Fault-Tolerance and Real-Time,
March 1, 1996
- CS-RR-301
- T. Janowski and M. Joseph,
Dynamic Scheduling in the Presence of Faults: Specification and Verification,
March 1, 1996
- CS-RT-300
- T Janowski,
Bisimulation and Fault-Tolerance,
February 1, 1996
- CS-RR-299
- J. Papay, T.J. Atherton, M.J. Zemerly and G.R. Nudd,
Performance Prediction of Parallel Self Consistent Field Computation ,
February 1, 1996
- CS-RR-298
- M. Amos, A.M. Gibbons and D. Hodgson,
Error-resistant Implementation of DNA Computations,
January 1, 1996
- CS-RR-297
- L.A. Goldberg, P.W. Goldberg, C.A. Phillips and G.B. Sorking,
Constructing Computer Virus Phylogenies,
January 1, 1996
- CS-RR-296
- L.A. Goldberg, W.E. Hart and D.B. Wilson,
Learning Foraging Thresholds for Lizards,
January 1, 1996
<%-- Include the code for the document footer --%>
<%@ include file="/arch/footer.jsp" %>