Publications By Year

Publications By Person

All Computer Science Publications

Publications Pending Categorisation

Publications By Year >> 2000
Abstracts of Conference Papers

For the full list of Computer Science Publications (2000) click here

Articles in Refereed Journals

Barbour, R.H. (2000) A postmodern critique of Pask’s Conversation Theory In R Glanville and G de Zeeuw (eds.) Problems of action and observation: Special Issue of Systemica, Journal of the Dutch Systems Group, (1997, v 12, no 1-6), 11-22.

Cunningham, S.J. (2000) Data mining: finding valuable nuggets of information in your raw data TUANZ Topics, 10(2) May, 18-19.

Day, G.R. and Barbour, R.H. (2000) Automated melanoma diagnosis: where are we at? Skin Research and Technology, v 6, 1—5.

Frank, E., Trigg, L., Holmes. G. and Witten, I.H. (2000) Technical Note: Naďve Bayes for Regression Machine Learning, v 41, 5—25. Kluwer Academic Publishers.

Henson, M.C. and Reeves, S. (2000) Investigating Z Journal of Logic Computation 10(1) 43—73.

Jones, S., Cunningham, S. McNab, R. and Boddie, S. (2000) A transaction log analysis of a digital library International Journal on Digital Libraries 3(2) 152-169.

McGregor, T., Braun, H.-W., and Brown, J. (2000) The NLANR Network Analysis Infrastructure IEEE Communications 38(5) 122—128.

McNab, R.J., Smith, L.A., Witten, I.H. and Henderson, C.L. (2000) Tune retrieval in the multimedia library Multimedia Tools and Applications, 10, 113—132. Kluwer Academic Publishers.

Nevill-Manning, C.G. and Witten, I.H. (2000) On-line and off-line heuristics for inferring hierarchies of repetitions in sequences In Proceedings of the IEEE 88(11) 1745-1755.

Teahan, W.J., Wen, Y., McNab, R. and Witten, I.H. (2000) A compression-based algorithm for Chinese word segmentation Computational Linguistics, 26(3) September 375-393.


Blundell, B. and Schwarz, A.J. (2000) Volumetric three-dimensional display systems Wiley, New York.

Pearson, M. and McGregor. T. (eds.) (2000) PAM2000: The First Passive and Active Measurement Workshop Proceedings, Hamilton, New Zealand, April, 180 p.

Witten, I.H. and Frank, E. (2000) Data mining: Practical machine learning tools and techniques with Java implementations Morgan Kaufmann, San Francisco, CA. 371 p.

Chapters and Essays

Chang, C., Tony McGregor, T. and Holmes, G. (2000) The LRU* WWW proxy cache document replacement algorithm In Young, Gilbert H. (ed.) World Wide Web: Technologies and Applications for the New Millennium, Chapter 24, p 181—187. C.S.R.E.A Press.

Pearson, M. and McGregor, T. (2000) A simulation study of network architectures to support HTTP traffic on symmetric high-bandwidth*delay circuits In Young, Gilbert H. (ed.) World Wide Web: Technologies and Applications for the New Millennium, Chapter 3, p 19—25. C.S.R.E.A Press.

Invited Talk

Reeves, S. (2000) Program Development, Refinement and Z. Presented to: The Fifth Anniversary Workshop on Discrete Mathematics and Theoretical Computer Science. Auckland, New Zealand, 25 May, 2000.

Newspaper Articles

Reeves, S. (2000) Survey tackles software development issues. New Zealand InfoTech Weekly 438, Sunday, April 23, 2000, p 17.

Papers in Conference Proceedings

Apperley, M. and Masoodian, M. (2000) Supporting collaboration and engagement using a whiteboard-like display In Shared Environments to Support Face to Face Collaboration: A CSCW Workshop, Philadelphia, Pennsylvania, p 22-26.

Apperley, M., Fletcher, D. and Rogers, B. (2000) Breaking the copy/paste cycle: the stretchable selection tool Proc First Australian User Interface Conference, AUIC 2000. Australian Computer Science Communications, v 22, no 5, 3-10.

Apperley, M., Fletcher, D., Rogers, B. and Thomson, K. (2000) Interactive visualisation of a travel itinerary Proc Working Conference on Advanced Visual Interfaces, AVI 2000, Palermo, Italy, May, 2000, p 221-226. ACM Press, New York.

Bollen, A.F., Kusabs, N.J., Holmes, G. and Hall, M.A. (2000) Comparison of consumer and producer perceptions of mushroom quality In Florkowski, W.J., S.E. Prussia and R.L. Shewfelt (eds). Proc International Multidisciplinary Conference: Integrated View of Fruit and Vegetable Quality, Georgia, USA, May, p 303—311. Technomic Publishing Co., Inc.

Brown, J.A., McGregor, A.J. and Braun, H.-W. (2000) Network performance visualisation: insight through animation In Pearson, Murray and Tony McGregor (eds). Proc PAM2000: The First Passive and Active Measurement Workshop, Hamilton, New Zealand, April, p 33—41.

Cleary, J., Donnelly, S., Graham, I., McGregor, A. and Pearson, M. (2000) Design principles for accurate passive measurement In Pearson, Murray and Tony McGregor (eds). Proc PAM2000: The First Passive and Active Measurement Workshop, Hamilton, New Zealand, April, p 1—7.

Cleary, J.G., Trigg, L.E., Holmes, G. and Hall, M.A. (2000) Experiences with a weighted decision tree learner In M Bramer, A Preece and F Coenen (eds.) Research and Development in Intelligent Systems XVII: ES2000, Twentieth SGES International Conference on Knowledge Based Systems and Applied Artificial Intelligence, Cambridge England, Springer-Verlag, p 35-47.

Cleary, J.G., Utting, M. and Clayton, R. (2000) Data structures considered harmful In J. Lloyd (ed.) AWCL: Australasian Workshop on Computational Logic, Canberra, Australia, February, p 111-120.

Curtis, J., Cleary, J.G., McGregor, T. and Pearson, M. (2000) Measurement of voice over IP traffic In Pearson, Murray and Tony McGregor (eds). Proc PAM2000: The First Passive and Active Measurement Workshop, Hamilton, New Zealand, April, p 43—49.

Frank, E., Chang, C. and Witten, I.H. (2000) Text categorization using compression models In Storer, James A. and Martin Cohn (eds). Proc Data Compression Conference, Snowbird, Utah, March, p 555. IEEE Computer Society.

Groves, L., Nickson, R, Reeve, G., Reeves, S. and Utting, M. (2000) A survey of software development practices in the New Zealand software industry In Grant, Douglas D. (ed). Proc 2000 Australian Software Engineering Conference, Canberra, Australia, April, p 189-201. IEEE Computer Society.

Hall, M.A. (2000) Correlation-based feature selection for discrete and numeric class machine learning Proc Seventeenth International Conference on Machine Learning. San Francisco, CA, June, p 359-366. Morgan Kaufmann Publishers.

Henson, M.C. and Reeves, S. (2000) Program Development and Specification Refinement in the Schema Calculus In Bowen, Jonathan P., Steve Dunne, Andy Galloway and Steve King (eds). Proc First International Conference of B and Z Users, ZB 2000, LNCS 1878, York, UK, August/September, p 344-362. Springer.

Jones, S. and Mahoui, M. (2000) Hierarchical document clustering using automatically extracted keyphrases In ICADL 2000: Third International Conference of Asian Digital Library Proceedings, Seoul, Korea, p 113-120.

Knowles, C. and Cunningham, S.J., (2000) Information behaviour of technical support workers: an ethnographic study C. Paris, N. Ozkan, S. Howard and S. Lu (eds.), OZCHI 2000: Interfacing Reality in the New Millennium, Sydney, Australia, December 4-8, pp 275 - 280.

Kramer, S. and Frank, E. (2000) Bottom-up propositionalization In Cussens, J. and A. Frisch (eds). Proc Work-in-Progress Track, 10th International Conference on Inductive Logic Programming, p 156-162.

Luz, S. and Masoodian, M. (2000) Mapping collaborative text and audio communication over the Internet In G Davies and C Owen (eds.) WebNet 2000: World Conference on the WWW and Internet Proceedings, San Antonio, Texas, p 769-770.

Mahoui, M. and Cunningham, S.J. (2000) A comparative transaction log analysis of two computing collections J. Borbinha and T. Baker (eds.), ECDL 2000, LNCS 1823, pp 418 - 423.

Martin, H.S., McGregor, A. and Cleary, J.G. (2000) Analysis of Internet delay times In Pearson, Murray and Tony McGregor (eds). Proc PAM2000: The First Passive and Active Measurement Workshop, Hamilton, New Zealand, April, p 141—148.

Masoodian, M. and Luz, S. (2000) Heterogeneous client-server architecture for a virtual meeting environment In Eighth Euromicro Workshop on Parallel and Distributed Processing, Rhodes, Greece, IEE Computer Society, 67-74.

McGregor, T. and Braun, H.-W. (2000) Balancing cost and utility in active monitoring: the AMP example Proc INET 2000: The Global Internet Summit, Yokohama, Japan, July, 2000, (electronic proceedings Internet Society.

Nichols, D.M., Pemberton, D., Dalhoumi, S., Larouk, O., Belisle, C. and Twidale, M.B. (2000) DEBORA: Developing an interface to support collaboration in a digital library In J Borbinha and T Baker (eds.) ECDL 2000, LNCS 1923, p 239-248.

Paynter, G. and Witten, I.H. (2000) Developing a practical programming by demonstration tool C. Paris, N. Ozkan, S. Howard and S. Lu (eds.), OZCHI 2000: Interfacing Reality in the New Millennium, Sydney, Australia, December 4-8, pp 307 - 314.

Paynter, G., Cunningham, S.J. and Witten, I.H. (2000) Evaluating extracted phrases and extending thesauri ICADL 2000: Third International Conference of Asian Digital Library, Seoul, Korea, December 6-8, pp 131 - 138.

Reeve, G. and Reeves, S. (2000) m -charts and Z: examples and extensions Proc Asia-Pacific Software Engineering Conference, Singapore, December, p 258—263.

Reeve, G. and Reeves, S. (2000) µ-Charts and Z: hows, whys and wherefores 00/6

    In this paper we show, by a series of examples, how the µ-chart formalism can be translated into Z. We give reasons for why this is an interesting and sensible thing to do and what it might be used for.

Theng, Y.L., Nasir, N., Buchanan, G., Bainbridge, D, Thimbleby, H. and Jones, M. (2000) Children as Design Partners and Testers for a Children's Digital Library The 4th European Conference on Research and Advanced Technology for Digital Libraries, Lisbon.

Utting, M. and Reeves, S. (2000) Implementing ZC substitutions in Ergo Proc WESTAPP 2000–The Third International Workshop on Explicit Substitutions: Theory and Applications to Programs and Proofs, Norwich, UK, July, p 35—49.

Witten, I.H. (2000) Applications of lossless compression in adaptive text mining Proc 2000 Conference on Information Sciences and Systems, v 2, Princeton, USA, March, p TP6-13—TP6-18.

Witten, I.H. (2000) Browsing around a digital library: today and tomorrow In Giancarlo, Raffaele and David Sankoff (eds). Proc Combinatorial Pattern Matching Eleventh Annual Symposium, Montreal, Canada, June, Lecture Notes in Computer Science no. 1848, p 12—26. Springer.

Witten, I.H., McNab, R.J., Boddie, S.J. and Bainbridge, D. (2000) Greenstone: a comprehensive open-source digital library software system Proc Fifth ACM Conference on Digital Libraries, San Antonio, Texas, June, p 113—121. ACM Press.

Yeates, S. and Witten, I.H. (2000) On tag insertion and its complexity In Tan, Ah-Hwee and Philip Yu (eds). Proc PRICAI’2000: International Workshop on Text and Data Mining. Melbourne, Australia, August, 52-63.

Yeates, S., Bainbridge, D. and Witten, I.H. (2000) Using compression to identify acronyms in text In Storer, James A. and Martin Cohn (eds). Proc Data Compression Conference, Snowbird, Utah, March, p 582. IEEE Computer Society.

Technical Document

Hall, M.A. and Holmes, G. (2000) Benchmarking attribute selection techniques for data mining 00/10

    Data engineering is generally considered to be a central issue in the development of data mining applications. The success of many learning schemes, in their attempts to construct models of data, hinges on the reliable identification of a small set of highly predictive attributes. The inclusion of irrelevant, redundant and noisy attributes in the model building process phase can result in poor predictive performance and increased computation.

    Attribute selection generally involves a combination of search and attribute utility estimation plus evaluation with respect to specific learning schemes. This leads to a large number of possible permutations and has led to a situation where very few benchmark studies have been conducted.

    This paper presents a benchmark comparison of several attribute selection methods. All the methods produce an attribute ranking, a useful devise of isolating the individual merit of an attribute. Attribute selection is achieved by cross-validating the rankings with respect to a learning scheme to find the best attributes. Results are reported for a selection of standard data sets and two learning schemes C4.5 and naive Bayes.

Holmes, G. and Hall, M.A. (2000) A development environment for predictive modelling in foods 00/9

    WEKA (Waikato Environment for Knowledge Analysis) is a comprehensive suite of Java class libraries that implement many state-of-the-art machine learning/data mining algorithms. Non-programmers interact with the software via a user interface component called the Knowledge Explorer.

    Applications constructed from the WEKA class libraries can be run on any computer with a web browsing capability, allowing users to apply machine learning techniques to their own data regardless of computer platform. This paper describes the user interface component of the WEKA system in reference to previous applications in the predictive modeling of foods.

Mahoui, A. (2000) One dimensional non-uniform rational B-splines for animation control 00/7

    Most 3D animation packages use graphical representations called motion graphs to represent the variation in time of the motion parameters. Many use two-dimensional B-splines as animation curves because of their power to represent free-form curves. In this project, we investigate the possibility of using One-dimensional Non-Uniform Rational B-Spline (NURBS) curves for the interactive construction of animation control curves. One-dimensional NURBS curves present the potential of solving some problems encountered in motion graphs when two-dimensional B-splines are used. The study focuses on the properties of One-dimensional NURBS mathematical model. It also investigates the algorithms and shape modification tools devised for two-dimensional curves and their port to the One-dimensional NURBS model. It also looks at the issues related to the user interface used to interactively modify the shape of the curves.

Reeves, S. and Reeve, G. (2000) µ-Charts and Z: extending the translation 00/11

    This paper describes extensions and modifications to the µ-charts as given in earlier papers of Philipps and Scholz. The charts are extended to include a command language, integer-valued signals and local integer variables. The command language is based on the syntax presented in Scholz' thesis and the integer-valued signals and local variables are based loosely on Scholz' earlier work. After presenting the new semantics we turn to extending the µ-charts-to-Z translation that we developed in previous work. The extensions to the translation process describe both the changes due to the extensions to the µ-charts and a modification to the translation method to more fully capture the beneficial modularisation encouraged by the µ-charts formalism. We finish by giving three complete translation examples. The paper should be read as a record of our gradual development of a Z semantics for µ-charts–hence its sometimes exploratory character or laborious explanations as we come to terms (thinking out loud) with the (sometimes very subtle) meaning of µ-charts, especially with regard to pathological and unusual examples of their use.

Ware, M., Frank, E., Holmes, G., Hall, M. and Witten, I.H. (2000) Interactive machine learning–letting users build classifiers 00/4

    According to standard procedure, building a classifier is a fully automated process that follows data preparation by a domain expert. In contrast, interactivemachine learning engages users in actually generating the classifier themselves. This offers a natural way of integrating background knowledge into the modeling stage–so long as interactive tools can be designed that support efficient and effective communication. This paper shows that appropriate techniques can empower users to create models that compete with classifiers built by state-of-the-art learning algorithms. It demonstrates that users–even users who are not domain experts–can often construct good classifiers, without any help from a learning algorithm, using a simple two-dimensional visual interface. Experiments demonstrate that, not surprisingly, success hinges on the domain: if a few attributes can support good predictions, users generate accurate classifiers, whereas domains with many high-order attribute interactions favor standard machine learning techniques. The future challenge is to achieve a symbiosis between human user and machine learning algorithm.

Working Papers

For the full list of Computer Science Publications (2000) click here

  © 2007 FCMS. The University of Waikato - Te Whare Wananga o Waikato