The Computer Science Department produces a Working Paper Series which displays research undertaken within the Department.

The PDF-only Working Paper series (2007 onwards) has the ISSN (International Standard Serial Number) 1177-777X. The previous paper Working Paper series had the ISSN 1170-487X.

Note: in 2002, the Working Paper numbering sequence was amended from year/number (e.g. 02/12) to number/year (e.g. 12/02). As of January 2004 the sequence will be number/full-year (e.g. 01/2004).

Collections in Computer Science Working Paper Series

  • Parallel programming with PICSIL1

    Pearson, Murray W.; Melchert, Matthew (University of Waikato, Department of Computer Science, 1993-10)
    This paper describes the background and development of PICSIL1 a visual language for specifying parallel algorithms using structured decomposition. PICSIL1 draws upon graphical and textual specification techniques; the ...
  • The design of an optimistic AND-parallel Prolog

    Cleary, John G.; Olthof, Ian (University of Waikato, Department of Computer Science, 1993-10)
    A distributed AND-parallel Prolog implementation is described. The system can correctly handle all pure Prolog programs. In particular, it deals with the problem of distributed backtracking. Conflicts in variable bindings ...
  • Informal introduction to Starlog

    Cleary, John G. (University of Waikato, Department of Computer Science, 1993-10)
    This report provides an informal and gentle introduction to the logic programming language Starlog and is intended to eventually form the first chapter of a book on Starlog. Like Prolog (a widely known and common logic ...
  • Proving the existence of solutions in logical arithmetic

    Cleary, John G. (University of Waikato, Department of Computer Science, 1993-10)
    Logical arithmetic is a logically correct technique for real arithmetic in Prolog which uses constraints over interval representations for its implementation. Four problems with the technique are considered: answers are ...
  • Proceedings of the second computing women congress: Student Papers

    Hinze, Annika; Jung, Doris; Cunningham, Sally Jo (University of Waikato, Department of Computer Science, 2006-02-11)
    The CWC 2006 Proceedings contains the following student papers: • Kathryn Hempstalk: Hiding Behind Corners: Using Edges in Images for Better Steganography • Supawan Prompramote, Kathy Blashki: Playing to Learn: Enhancing ...
  • Design and formal model of an event-driven and service-oriented architecture for the Mobile Tourist Information System TIP

    Eschner, Lisa; Hinze, Annika (Department of Computer Science, University of Waikato, 2008)
    This thesis introduces a new collaboration framework for context-aware services in a mobile environment enabling services to co-operate with several anonymous co-operation partners. We extend the current TIP design and ...
  • Language inference from function words

    Smith, Tony C.; Witten, Ian H. (Department of Computer Science, University of Waikato, 1993)
    Language surface structures demonstrate regularities that make it possible to learn a capacity for producing an infinite number of well-formed expressions. This paper outlines a system that uncovers and characterizes ...
  • Models for computer generated parody

    Smith, Tony C.; Witten, Ian H. (Department of Computer Science, University of Waikato, 1993)
    This paper outlines two approaches to the construction of computer systems that generate prose in the style of a given author. The first involves using intuitive notions of stylistic trademarks to construct a grammar that ...
  • Compression-based template matching

    Inglis, Stuart J.; Witten, Ian H. (Department of Computer Science, University of Waikato, 1993)
    Textual image compression is a method of both lossy and lossless image compression that is particularly effective for images containing repeated sub-images, notably pages of text (Mohiuddin et al., 1984; Witten et al., ...
  • Compressing computer programs

    Davies, Rod M.; Witten, Ian H. (Department of Computer Science, University of Waikato, 1993)
    This paper describes a scheme for compressing programs written in a particular programming language—which can be any language that has a formal lexical and syntactic description—in such a way that they can be reproduced ...
  • Comparing human and computational models of music prediction

    Witten, Ian H.; Manzara, Leonard C.; Conklin, Derrell (Department of Computer Science, University of Waikato, 1992)
    The information content of each successive note in a piece of music is not an intrinsic musical property but depends on the listener's own model of a genre of music. Human listeners' models can be elicited by having them ...
  • Data logging and performance analysis software for teachers of indigenous New Zealanders: early results

    Barbour, Robert H.; Ford, Greg; Cunningham, Sally Jo (Department of Computer Science, University of Waikato, 1992)
    Technology, in the form of personal computers, is making inroads into everyday life in every part of every nation. It is frequently assumed that this is 'a good thing'. However, there is a need for the people in each ...
  • Natural language processing in speech understanding systems

    Holmes, Geoffrey (Department of Computer Science, University of Waikato, 1992)
    Speech understanding systems (SUS's) came of age in late 1971 as a result of a five year development programme instigated by the Information Processing Technology Office of the Advanced Research Projects Agency (ARPA) of ...
  • Displaying 3D images: algorithms for single image random dot stereograms

    Witten, Ian H.; Inglis, Stuart J.; Thimbleby, Harold W. (Department of Computer Science, University of Waikato, 1993)
    This paper describes how to generate a single image which, when viewed in the appropriate way, appears to the brain as a 3D scene. The image is a stereogram composed of seemingly random dots. A new, simple and symmetric ...
  • Getting research students started: a tale of two courses

    Witten, Ian H.; Bell, Timothy C. (Department of Computer Science, University of Waikato, 1992)
    As graduate programs in Computer Science grow and mature and undergraduate populations stabilize, an increasing proportion of our resources is being devoted to the training of researchers in the field. Many inefficiencies ...
  • Practical machine learning and its application to problems in agriculture

    Witten, Ian H.; Holmes, Geoffrey; McQueen, Robert J.; Smith, Lloyd A.; Cunningham, Sally Jo (Department of Computer Science, University of Waikato, 1993)
    One of the most exciting and potentially far-reaching developments in contemporary computer science is the invention and application of methods of machine learning. These have evolved from simple adaptive parameter-estimation ...
  • Multiple viewpoint systems for music prediction

    Witten, Ian H.; Conklin, Darrell (Department of Computer Science, University of Waikato, 1993)
    This paper examines the prediction and generation of music using a multiple viewpoint system, a collection of independent views of the musical surface each of which models a specific type of musical phenomena. Both the ...
  • Compression by induction of hierarchical grammars

    Nevill-Manning, Craig G.; Witten, Ian H.; Maulsby, David (Department of Computer Science, University of Waikato, 1993)
    This paper describes a technique that develops models of symbol sequences in the form of small, human-readable, hierarchical grammars. The grammars are both semantically plausible and compact. The technique can induce ...
  • Voice input and information exchange in asynchronous group communication

    McQueen, Robert J. (Department of Computer Science, University of Waikato, 1992)
    Existing computer supported co-operative work (CSCW) systems for group communication typically require some amount of keyboard input, and this may limit their usefulness. A voice input prototype system for asynchronous ...
  • Computer improvisation of blues melodies

    Hall, Mark A. (Department of Computer Science, University of Waikato, 1992)
    A computer program has been written which composes blues melodies to fit a given backing chord sequence. The program is comprised of an analysis stage followed by a synthesis stage. The analysis stage takes blues tunes and ...

View more