Browsing by Series "Computer Science Working Papers"

Now showing items 41-60 of 281

  • Compression and explanation using hierarchical grammars

    Nevill-Manning, Craig G.; Witten, Ian H. (1996-07)
    Data compression is an eminently pragmatic pursuit: by removing redundancy, storage can be utilised more efficiently. Identifying redundancy also serves a less prosaic purpose-it provides cues for detecting structure, and ...
  • 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 ...
  • A compression-based algorithm for Chinese word segmentation

    Teahan, W.J.; Wen, Yingying; McNab, Rodger J.; Witten, Ian H. (Computer Science, University of Waikato, 1999-09)
    The Chinese language is written without using spaces or other word delimiters. Although a text may be thought of as a corresponding sequence of words, there is considerable ambiguity in the placement of boundaries. ...
  • 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., ...
  • Computer concepts without computers: a first course in computer science

    Holmes, Geoffrey; Smith, Tony C.; Rogers, Bill (Department of Computer Science, University of Waikato, 1997-02)
    While some institutions seek to make CS1 curricula more enjoyable by incorporating specialised educational software [1] or by setting more enjoyable programming assignments [2], we have joined the growing number of Computer ...
  • Computer graphics techniques for modeling page turning

    Liesaputra, Veronica; Witten, Ian H. (University of Waikato, Department of Computer Science, 2007-10-24)
    Turning the page is a mechanical part of the cognitive act of reading that we do literally unthinkingly. Interest in realistic book models for digital libraries and other online documents is growing. Yet actually producing ...
  • 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 ...
  • Conservative parallel simulation of ATM networks

    Cleary, John G.; Tsai, Jya-Jang (1996-03)
    The development of complex Information Systems requires the use of many Information Systems engineering tools. These diverse tools need to be integrated in order to be effectively used by multiple cooperating developers. ...
  • Considering reachability when comparing data refinements

    Reeves, Steve (University of Waikato, Department of Computer Science, 2008-11-03)
    Adding considerations about reachability to the Logics of Specification Languages [1] chapter [2].
  • Constraints on parallelism beyond 10 instructions per cycle

    Cleary, John G.; Littin, Richard H.; McWha, David J.A.; Pearson, Murray W. (Computer Science, University of Waikato, 1997-11)
    The problem of extracting Instruction Level Parallelism at levels of 10 instructions per clock and higher is considered. Two different architectures which use speculation on memory accesses to achieve this level of performance ...
  • Constructing integrated software development environments with dependency graphs

    Grundy, John C.; Hosking, John G. (1994-03)
    Integrated software development environments need to support multiple textual and graphical views of software products under development. MViews, a new model for constructing such environments, provides abstractions for ...
  • Constructing programs or processes

    Reeves, Steve; Streader, David (Department of Computer Science, University of Waikato, 2005-12)
    We define interacting sequential programs, motivated originally by constructivist considerations. We use them to investigate notions of implementation and determinism. Process algebras do not define what can be implemented ...
  • Contextual queries and situated information needs for mobile users

    Hinze, Annika; Chang, Carole; Nichols, David M. (University of Waikato, Department of Computer Science, 2010-02-16)
    The users of mobile devices increasingly use networked services to address their information needs. Questions asked by mobile users are strongly influenced by contextual factors such as location, conversation and activity. ...
  • Coordinating collaborative work in an integrated information systems engineering environment

    Grundy, John C.; Venable, John R.; Mugridge, Warwick B. (1996-03)
    The development of complex Information Systems requires the use of many Information Systems engineering tools. These diverse tools need to be integrated in order to be effectively used by multiple cooperating developers. ...
  • Correcting English text using PPM models

    Teahan, W.J.; Inglis, Stuart J.; Cleary, John G.; Holmes, Geoffrey (Computer Science, University of Waikato, 1997-11)
    An essential component of many applications in natural language processing is a language modeler able to correct errors in the text being processed. For optical character recognition (OCR), poor scanning quality or extraneous ...
  • Correlation-based feature selection of discrete and numeric class machine learning

    Hall, Mark A. (University of Waikato, Department of Computer Science, 2000-05)
    Algorithms for feature selection fall into two broad categories: wrappers that use the learning algorithm itself to evaluate the usefulness of features and filters that evaluate features according to heuristics based on ...
  • CSCW in New Zealand: a snapshot

    Blackett, Colin; Reeves, Steve (1996-07)
    This report has been produced as one of the outputs of the FORST funded project "Improved Computer Supported Collaborative Work Systems" which is currently running in the Department of Computer Science at the University ...
  • Current techniques for measuring and modeling ATM traffic

    Pearson, Murray W.; Cleary, John G.; Unger, Brian; Williamson, Carey (1996-06)
    ATM has now been widely accepted as the leading contender for the implementation of broadband communications networks (Brinkmann, Lavrijsen, Louis, et al, 1995) ATM networks are no longer restricted to research laboratories, ...
  • 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 ...
  • Data structures for Z testing tools.

    Utting, Mark (University of Waikato, Department of Computer Science, 2001-06-01)
    This paper describes some of the difficulties and challenges that arise during the design of tools for validating Z specifications by testing and animation. We address three issues: handling undefined terms, simplification ...