<%@ 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 1998
<%-- Include the code for the lines and navigation --%>
<%@ include file="/arch/middle.jsp" %>
<%@ include file="copyright.html" %>
- CS-RT-367
- M Wahab,
Object Code Verification,
December 10, 1998
- CS-RR-355
- Gary Meehan,
The Aladin Abstract Machine,
December 18, 1998
- CS-RR-354
- M. Wahab,
Verification and Abstraction of Flow-Graph Programs with Pointers and Computed Jumps,
November 9, 1998
- CS-RR-352
- Meurig Beynon and Pi-Hwa Sun,
Interactive Situation Models for Program Comprehension,
October 22, 1998
- CS-RR-351
- Guo-Huei Chen and Roland Wilson,
Image Segmentation Based on the Multiresolution Fourier Transform and Markov Random Fields,
October 15, 1998
- CS-RR-350
- Nasir Rajpoot,
Progressive Image Coding using Augmented Zerotrees of Wavelet Coefficients,
September 19, 1998
- CS-RR-349
- John S. Harper, Darren J. Kerbyson and Graham R. Nudd,
Analytical Modeling of Set-Associative Cache Behaviour,
October 15, 1998
- CS-RR-348
- Ralf Klasing,
Methods and Problems of Wavelength-Routing in All-Optical Networks,
September 24, 1998
- CS-RR-347
- Mary Cryan, Leslie Ann Goldberg and Paul W. Goldberg,
Evolutionary Trees can be Learned in Polynomial Time in the Two-State General Markov Model,
July 21, 1998
- CS-RR-346
- W.M. Beynon, J. Rungrattanaubol, P.-H. Sun and A. Wright,
Explanatory Models for Open-Ended Human-Computer Interaction,
July 16, 1998.
- CS-RR-345
- Mike Joy and Michael Luck,
Plagiarism in Programming Assignments,
June 16, 1998
- CS-RR-344
- Leslie Ann Goldberg and Mark Jerrum,
The "Burnside Process" Converges Slowly,
June 11, 1998
- CS-RR-343
- R. Klasing,
Improved Compressions of Cube-Connected Cycles Networks,
June 29, 1998
- CS-RR-342
- V. Berry,
An Improved Polynomial Time Algorithm for Computing the Refined Buneman Tree,
March 25, 1998
- CS-RR-341
- V. Berry and O. Gascuel,
Inferring Evolutionary Trees with Strong Combinatorial Evidence,
March 25, 1998
- CS-RR-340
- L.A. Goldberg, P.D. MacKenzie, M. Paterson and A. Srinavasan,
Contention Resolution with Constant Expected Delay,
March 25, 1998
- CS-RR-339
- S. Khanna, S. Muthukrishnan and M. Paterson,
On Approximating Rectangle Tiling and Packing,
March 25, 1998
- CS-RR-338
- U. Uzun,
Towards Distributed Object Design,
March 25, 1998
- CS-RR-337
- W.M. Beynon,
Modelling State in Mind and Machine,
February 25, 1998
<%-- Include the code for the document footer --%>
<%@ include file="/arch/footer.jsp" %>