- Waikato Home
- →
- Library Home
- →
- Research Commons
- →
- Computing and Mathematical Sciences
- →
- Browsing Computing and Mathematical Sciences by Title
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing Computing and Mathematical Sciences by Title
Now showing items 841-860 of 976
-
(1997)The problem of compressing English text is important both because of the ubiquity of English as a target for compression and because of the light that compression can shed on the structure of English. English text is ... -
(IEEE Computer Society, 2001)This paper is about inferring markup information, a generalization of part-of-speech-tagging. We use compression models based on a marked-up training corpus and apply them to fresh, unmarked, text. In effect, this technique ... -
(2011)This paper describes a ‘cultural probe’ study underpinning a user-centered re-design of the Greenstone digital library system's collection creation sub-system (the Greenstone ‘Librarian’), with a focus on assisting seniors ...
-
(2006)Model-based testing relies on models of a system under test and/or its environment to derive test cases for the system. This paper provides an overview of the field. Seven different dimensions define a taxonomy that allows ... -
(Wiley, 2012)Model-based testing (MBT) relies on models of a system under test and/or its environment to derive test cases for the system. This paper discusses the process of MBT and defines a taxonomy that covers the key aspects of ...
-
(1997)Graphical user interfaces have helped center computer use on viewing and editing, rather than on programming. Yet the need for end-user programming continues to grow. Software developers have responded to the demand with ... -
(1996)In this paper we propose the design of a tool that will allow the construction of a formal, textual description of a software system even if it has a graphical user-interface as a component. An important aspect of this ... -
(University of Waikato, Department of Computer Science, 1995)In this paper we propose the design of a tool that will allow the construction of a formal, textual description of a software system even if it has a graphical user-interface as a component. An important aspect of this ... -
(John Wiley & Sons, Ltd., 2001)A new style of formal methods course is described, based on a pragmatic approach that emphasizes testing. The course introduces students to formal specification using Z, and shows how formal specification and testing can ...
-
(University of Waikato, Department of Computer Science, 1995)This paper describes teaching practices designed to help novice data modellers become expert data modellers. We base these practices on extant empirical research which highlights the strengths of expert data modellers and ... -
(1996)The Internet offers a host of high-quality research material in computer science-and, unfortunately, some very low quality resources as well. As part of learning the research process, students should be taught to critically ... -
(1989)The Teukolsky–Starobinsky identities are proven for arbitrary spin s. A pair of covariant equations are given that admit solutions in terms of Teukolsky functions for general s. The method of proof is shown to extend to ... -
(Springer, Berlin, 2003)This paper presents an extension of prior work by Michael D. Lee on psychologically plausible text categorisation. Our approach utilises Lee s model as a pre-processing filter to generate a dense representation for a given ...
-
(University of Waikato, Department of Computer Science, 2000)Text categorization, or the assignment of natural language texts to predefined categories based on their content, is of growing importance as the volume of information available on the internet continues to overwhelm us. ... -
(Springer, 2004)Digital library strive to add value to the collections they create and maintain. One way is through selectivity: a carefully chosen set of authoritative documents in a particular topic area is far more useful to those ... -
(AACE, 2008)This investigation seeks to uncover the insights of three integral and inter-related participants in the creation and use of on-screen reading material for children’s learning. This is an effort to discover what factors ... -
(ACM, 2011)In this paper we present a novel system for user-driven integration of name variants when interacting with web-based information systems. The growth and diversity of online information means that many users experience ... -
(1996)The approach of combining theories learned from multiple batches of data provide an alternative to the common practice of learning one theory from all the available data (i.e., the data combination approach). This paper ... -
(2011)Here, we show that no Fibonacci number (larger than 1) divides the sum of its divisors. -
(ACM, 2006)We propose a new method that enhances automatic keyphrase extraction by using semantic information on terms and phrases gleaned from a domain-specific thesaurus. We evaluate the results against keyphrase sets assigned by ...
Now showing items 841-860 of 976