• 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 ...
  • 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 ...
  • 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 ...
  • 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 ...

View more