Breadcrumbs

Research Publications 2002

  • Ambert, F., Bouquet, F., Chemin, S., Guenaud, S., Legeard, B., Peureux, F., Vacelet, N. and Utting, B. M. (2002) “BZ-TT: A tool-set for test generation from Z and B using constraint logic programming.” Proc Formal Approaches to Testing of Software Workshop,Brno, Czech Republic, 105-119.
  • Apperley, M. D., Edwards, O. S., Jansen, S. T., Masoodian, M., McKoy, S., Rogers, W. J., Voyle, T. S. and Ware, D. W. (2002) “Application of imperfect speech recognition to navigation and editing of audio documents.” Jones, S. and Masoodian, M. (eds), Proc SIGCHI-NZ Symposium on Computer-Human Interaction, Hamilton, New Zealand, 97-102. ACM SIGCHI_NZ.
  • Apperley, M. D., Fletcher, D. B. and Rogers, W. J. (2002) “The stretchable selection tool: an alternative to copy and paste.” Interacting with Computers 14(3), 195-209.
  • Apperley, M. D., Jansen, S. T., Jeffries, A. Y., Masoodian, M., McLeod, L. C., Paine, L. B., Rogers, W. J., Thomson, K. and Voyle, T. S. (2002) “Lecture capture using large interactive display systems.” Proc International Conference on Computers in Education,Auckland, New Zealand, 143-147. IEEE Computer Society, Los Alamitos, California.
  • Apperley, M. D., Jansen, S. T., Jeffries, A. Y., Masoodian, M., Paine, L. B., Rogers, W. J. and Voyle, T. S. (2002) “LLC lecture capture and editing tool for online course delivery.” Driscoll, M. and Reeves, T. C. (eds), Proc World Conference on E-Learning in Corporate, Government, Healthcare and Higher Education, Montreal, Canada, 1866-1869. AACE.
  • Apperley, M. D., Keegan, T. T., Cunningham, S. J. and Witten, I. H. (2002) “Delivering the Maori-language newspapers on the Internet.” Curnow, J., Hopa, N. and McRae, J. (eds), In Rere atu, taku manu! Discovering history, language and politics in the Maori-language newspapers, 211-236. Auckland University Press, Auckland, New Zealand.
  • Apperley, M. D., McLeod, L. C., Masoodian, M., Paine, L. B., Phillips, M., Rogers, W. J. and Thomson, K. (2002) “Use of video shadow for small group interaction awareness on a large interactive display surface.” Working Paper 07/02, Department of Computer Science, The University of Waikato, Hamilton.
  • Bainbridge, D., Dewsnip, M. and Witten, I. H. (2002) “Searching digital music libraries.” Lim, E.-P., et al. (eds), Proc Fifth International Conference on Asian Digital Libraries (ICADL'02), Digital Libraries: People, Knowledge, and Technology, LNCS 2555,Singapore, 129-140. Springer-Verlag, Berlin.
  • Bainbridge, D., McPherson, J. R. and Cunningham, S. J. (2002) “Forming a corpus of voice queries for music information retrieval: a pilot study.” Proc Third International Conference on Music Information Retrieval, 289-290.
  • Bouckaert, R. (2002) “Accuracy bounds for ensembles under 0-1 loss.” Working Paper 04/02, Department of Computer Science, The University of Waikato, Hamilton.
  • Buchanan, G., Blandford, A., Jones, M. and Thimbleby, H. (2002) “Spatial hypertext as a reader tool in digital libraries.” Börner, K. and Chen, C. (eds), In Visual Interfaces to Digital Libraries, 13-24. Springer-Verlag, Germany.
  • Buchanan, G. R., Jones, M. and Marsden, G. (2002) “Exploring small screen digital library access with the Greenstone Digital Library.” Agosti, M. and Thanos, C. (eds), Proc Sixth European Conference on Research and Advanced Technology for Digital Libraries (ECDL'02), LNCS 2458, Rome, Italy, 583-596. Springer, Berlin.
  • Butterfield, S., Prebble, T., Barnett, T., Brimblecombe, T., Campbell, N., Eadie, M., Higgins, A., Hinchcliff, J., Hond, R. and Keegan, T. T. (2002) “Highways and pathways: exploring New Zealand's E-learning opportunities.” The Report of the E-Learning Advisory Group, 71 pages.
  • Clayton, R. J., Cleary, J. G., Pfahringer, B. and Utting, B. M. (2002) “Optimising tabling structures for bottom-up logic programming.” Leuschel, M. and Bueno, F. (eds), Proc International Workshop on Logic Based Program Development and Transformation LOPSTR'02, Madrid, Spain, 57-75. Fundacion General de la Universidad Politechica de Madrid, Madrid.
  • Cleary, J. G., Graham, I. D., McGregor, A., Pearson, M., Ziedens, I., Curtis, J., Donnelly, S. F., Martens, J. and Martin, S. (2002) “High precision traffic measurement by the WAND Research Group.” IEEE Communication Magazine 3, 167-173.
  • Cleary, J. G., Graham, I., McGregor, A. J., Pearson, M. W., Ziedins, I., Curtis, J. P., Donnelly, S. F., Martens, J. and Martin, H. S. (2002) “High precision traffic measurement.” IEEE Communications Magazine 40(3), 167-173.
  • Cunningham, S. J. (2002) “Building a digital library from the ground up: an examination of emergent information resources in the machine learning community.” Lim, E.-P., et al. (eds), Proc Fifth International Conference on Asian Digital Libraries (ICADL'02), Digital Libraries: People, Knowledge, and Technology, LNCS 2555, Singapore, 301-302. Springer-Verlag, Berlin.
  • Cunningham, S. J. (2002) “Designing software for unusual users: the severely/profoundly intellectually handicapped.” Jones, S. and Masoodian, M. (eds), Proc SIGCHI - NZ Symposium on Computer-Human Interaction, Hamilton, New Zealand, 61-66. ACM SIGCHI_NZ, Hamilton, New Zealand.
  • Cunningham, S. J. (2002) “Toward a theory of music information retrieval queries: system design implications.” Working Paper 05/02, Department of Computer Science, The University of Waikato, Hamilton.
  • Cunningham, S. J. (2002) “Toward a theory of music information retrieval queries: system design implications.” Proc International Symposium on Music Information Retrieval, Paris, France.
  • Cunningham, S. J. (2002) “What people do when they look for music: implications for design of a music digital library.” Lim, E. P., et al. (eds), Proc Fifth International Conference on Asian Digital Libraries (ICADL'02), Digital Libraries: People, Knowledge, and Technology, LNCS 2555, Singapore, 177-178. Springer-Verlag, Berlin.
  • Deo, S. J., Cunningham, S. J., Nichols, D. M. and Witten, I. H. (2002) “Digital library access for illiterate users.” Technical Report ISRN UIUCLIS--2002/4+ISRL, Graduate School of Library and Information Science, University of Illinois at Urbana-Champaign, USA.
  • Deutsch, M., Henson, M. C. and Reeves, S. V. (2002) “Results on formal stepwise design in Z.” Strooper, P. and Muenchaisri, P. (eds), Proc Ninth Asia-Pacific Software Engineering Conference, Gold Coast, Australia, 33-42. IEEE Computer Society, Los Alamitos, California.
  • Donnelly, S. (2002) High precision timing in passive measurements of data networks. PhD Thesis, The University of Waikato.
  • Dunlop, H. S., Cunningham, S. J. and Jones, M. (2002) “A digital library of conversational expressions: helping profoundly disabled users communicate.” Marchionini, G. and Hersh, W. (eds), Proc Second ACM/IEEE Joint Conference on Digital Libraries (JCDL'02), Portland, Oregon, 273-274. ACM Press, New York.
  • Frank, E. T., Holmes, G., Kirkby, R. B. and Hall, M. A. (2002) “Racing committees for large datasets.” Working Paper 03/02, Department of Computer Science, The University of Waikato, Hamilton.
  • Frank, E. T., Holmes, G., Kirkby, R. B. and Hall, M. A. (2002) “Racing committees for large datasets.” Lange, S., Satoh, K. and Smith, C. H. (eds), Proc Fifth International Conference on Discovery Science, LNCS 2534, Lübeck, Germany, 153-164. Springer-Verlag.
  • Goldson, D., Reeve, G. R. and Reeves, S. V. (2002) “m-chart-based specification and refinement.” George, C. and Miao, H. (eds), Proc Formal Methods and Software Engineering: Fourth International Conference on Formal Methods, Shanghai, China, 323-334. Springer, Berlin.
  • Golightly, A. C. and Smith, T. C. (2002) “An experimental speech to graphics system.” Jones, S. and Masoodian, M. (eds), Proc SIGCHI-NZ Symposium on Computer-Human Interaction, Hamilton, New Zealand, 91-96. ACM SIGCHI_NZ, Hamilton, New Zealand.
  • Graham, I. D., Micheel, J. B., Sharp, G. K. and Chung, S. J. (2002) “Duplicate packets in an IP trace.” Proc AUUG 2002: Measure, Monitor, Control, Melbourne, Australia, 75-78.
  • Hall, M. A. and Holmes, G. (2002) “Benchmarking attribute selection techniques for discrete class data mining.” Working Paper 02/02, Department of Computer Science, The University of Waikato, Hamilton.
  • Holmes, G. and Hall, M. A. (2002) “A development environment for predictive modelling in foods.” International Journal of Food Microbiology 73(2-3), 351-362.
  • Holmes, G., Pfahringer, B., Frank, E. T., Kirkby, R. B. and Hall, M. A. (2002) “A logistic boosting approach to inducing multiclass alternating decision trees.” Working Paper 01/02, Department of Computer Science, The University of Waikato, Hamilton.
  • Holmes, G., Pfahringer, B., Kirkby, R. B., Frank, E. T. and Hall, M. A. (2002) “Multiclass alternating decision trees.” Elomaa, T., Mannila, H. and Toivonen, H. (eds), Proc Thirteenth European Conference on Machine Learning, LNCS 2430, Helsinki, Finland, 161-172. Springer-Verlag.
  • Jefferies, M. E., Yeap, W. K. and Baker, J. (2002) “Robot mapping with a topological map of local space representations.” In Advances on Simulation, Systems Theory and Systems Engineering, 287-294. WSEAS Press.
  • Jones, M., Buchanan, G. and Thimbleby, H. (2002) “Sorting out searching on small screen devices.” Paterno, F. (ed), Proc Fourth International Symposium, Mobile HCI 2002: Human Computer Interaction with Mobile Devices, LNCS 2411, Pisa, Italy, 81-94. Springer, Berlin.
  • Jones, S. R., Lundy, S. and Paynter, G. W. (2002) “Interactive document summarisation using automatically extracted keyphrases.” Proc Hawaii International Conference on System Sciences: HICSS'02, Volume 4, Big Island, Hawaii, 101. IEEE Computer Society, Los Alamitos, California.
  • Jones, S. R. and Masoodian, M. (eds), (2002) Proceedings of the SIGCHI New Zealand Symposium on Computer-Human Interaction. Hamilton, New Zealand, ACM SIGCHI_NZ.
  • Jones, S. R. and Paynter, G. W. (2002) “Automatic extraction of document keyphrases for use in digital libraries: evaluation and applications.” Journal of the American Society for Information Science and Technology 53(8), 653-677.
  • Kramer, S., Frank, E. T. and Helma, C. (2002) “Fragment generation and support vector machines for inducing SARS.” SAR & QSAR in Environmental Research 13(5), 509-523.
  • Legeard, B., Peureux, F. and Utting, B. M. (2002) “Automated boundary testing from Z and B.” Eriksson, L.-H. and Lindsay, P. A. (eds), Proc International Symposium of Formal Methods Europe: Getting IT Right, LNCS 2391, Copenhagen, Denmark, 21-40. Springer-Verlag.
  • Legeard, B., Peureux, F. and Utting, B. M. (2002) “A comparison of the BTT and TTF test-generation methods.” Bert, D., et al. (eds), Proc Second International Conference of B and Z Users: Formal Specification and Development in Z and B, LNCS 2272,Grenoble, France, 309-329. Springer, Berlin.
  • Lu, Z. (2002) Internet risk. MCMS Thesis, The University of Waikato.
  • Luckie, M. and McGregor, A. J. (2002) “IPMP: IP Measurement Protocol.” Proc Passive and Active Measurement Workshop: PAM 2002, Fort Collins, Colorado, 168-176.
  • Luz, S. and Masoodian, M. (2002) “Supporting online meetings between research students and supervisors.” Driscoll, M. and Reeves, T. C. (eds), Proc World Conference on E-Learning in Corporate, Government, Healthcare and Higher Education, Montreal, Canada, 1870-1873. AACE.
  • Marsden, G., Gillary, P., Thimbleby, H. and Jones, M. (2002) “The use of algorithms in interface design.” International Journal of Personal and Ubiquitous Technologies 6(2), 132-140.
  • Marsden, G. and Jones, M. (2002) “Ubiquitous computing and cellular handsets - are menus the best way forward?” South African Computer Journal 28, 67-76.
  • Marsden, G., Thimbleby, H., Jones, M. and Gillary, P. (2002) “Data structures in the design of interfaces.” Personal and Ubiquitous Computing 6(2), 132-140.
  • Marsden, G., Thimbleby, H., Jones, M. and Gillary, P. (2002) “Successful user interface design from efficient computer algorithms.” Proc Conference on Human Factors in Computing Systems (CHI'00), 181-182.
  • Masoodian, M. and Lane, N. D. (2002) “MATI: A system for accessing travel itinerary information using mobile phones.” Faulkner, X., Finlay, J. and Detienne, F. (eds), Proc HCI 2002: People and Computers XVI - Memorable Yet Invisible, 267-280. Springer, London.
  • McGowan, K. (2002) Efficient phrase hierarchy inference. MSc Thesis, The University of Waikato.
  • McGregor, A. J. (2002) “Quality in measurement: beyond the deployment barrier.” Proc 2002 Symposium on Applications and the Internet (SAINT) Workshops, Nara, Japan, 66-73. IEEE Computer Society, Los Alamitos, California.
  • McGregor, A. J., Pearson, M. W. and Lawson, D. H. (2002) “Validation of the WAND simulator through comparison with laboratory tests.” Proc Passive and Active Measurement Workshop: PAM 2002, Fort Collins, Colorado, 76-83.
  • McKay, D. (2002) Browsing and Greenstone: a study of browsing in a digital library. MSc Thesis, The University of Waikato.
  • Mochalski, K., Micheel, J. B. and Donnelly, S. F. (2002) “Packet delay and loss at the Auckland Internet access path.” Proc Passive and Active Measurement Workshop: PAM 2002, Fort Collins, Colorado, 46-55.
  • Nichols, D. M. and Twidale, M. (2002) “Usability and open source software.” Working Paper 10/02, Department of Computer Science, The University of Waikato, Hamilton.
  • Paynter, G. W., Witten, I. H., Bainbridge, D. and Boddie, S. J. (2002) “Greenstone: collection management for digital works.” In Open Source Software for Libraries, 45-61. LITA, Chicago and London.
  • Pearson, M. W., Armstrong, D. A. and McGregor, A. J. (2002) “Design of a processor to support the teaching of computer systems.” Renovell, M., et al. (eds), Proc First IEEE International Workshop on Electronic Design, Test and Applications, Christchurch, New Zealand, 240-244. IEEE Computer Society, Los Alamitos, California.
  • Pearson, M. W., Armstrong, D. A. and McGregor, A. J. (2002) “Using custom hardware and simulation to support computer systems teaching.” Proc Workshop on Computer Architecture Education, Anchorage, Alaska, 19-26.
  • Pfahringer, B., Kirkby, R. B. and Hall, M. A. (2002) “Multiclass alternating decision trees.” Proc International Conference on Discovery Science, 153-164. Springer-Verlag, Berlin.
  • Plimmer, B. and Apperley, M. D. (2002) “Computer-aided sketching to capture preliminary design.” Grundy, J. and Calder, P. (eds), Proc Third Australasian User Interface Conference, Melbourne, Australia, 9-12. Australian Computer Society Inc.
  • Plimmer, B., Apperley, M. D. and Masoodian, M. (2002) “FreeForm: an informal environment for interface prototyping.” Jones, S. and Masoodian, M. (eds), Proc SIGCHI-NZ Symposium on Computer Human Interaction, Hamilton, New Zealand, 11-12. ACM SIGCHI_NZ, Hamilton, New Zealand.
  • Purvis, J. (2002) Safe programming language for Palmtop computers. MCMS Thesis, The University of Waikato.
  • Raine, B. (2002) MusApplet/MusPlot project. MCMS Thesis, The University of Waikato.
  • Steel, A. C., Jones, M. and Apperley, M. D. (2002) “The use of auditory feedback in call centre computer-human-human interaction.” Proc CHI '02 Extended Abstracts on Human Factors in Computing Systems, Minneapolis, Minnesota, 768-769. ACM Press, New York.
  • Thimbleby, H., Blandford, A., Cairns, P., Curzon, P. and Jones, M. (2002) “User interface design as systems design.” Proc People and Computer XVI - Memorable Yet Invisible, London, 281-301. Springer.
  • Thimbleby, H. and Jones, M. (2002) “Obituary for a fax.” International Journal of Personal and Ubiquitous Technologies 6(2), 151-152.
  • Thomson, K. (2002) “Research laboratory survey.” Working Paper 09/02, Department of Computer Science, The University of Waikato, Hamilton.
  • Thomson, K. and McLeod, L. C. (2002) “The Lids research project appendage to usability study report 1/2002.” Working Paper 08/02, Department of Computer Science, The University of Waikato, Hamilton.
  • Thomson, K. and McLeod, L. C. (2002) “The Lids research project usability study report 1/2002.” Working Paper 06/02, Department of Computer Science, The University of Waikato, Hamilton.
  • Utting, B. M., Robinson, P. and Nickson, R. (2002) “Ergo 6: A generic proof engine that uses Prolog proof technology.” LMS Journal of Computation and Mathematics 5, 194-219.
  • Utting, B. M., Toyn, I., Sun, J., Martin, A., Dong, J., Daley, N. T. and Currie, D. (2002) “ZML:XML support for standard Z.” Working Paper 11/02, Department of Computer Science, The University of Waikato, Hamilton.
  • Utting, B. M. and Wang, S. (2002) “Object-orientation in standard Z.” Working Paper 12/02, Department of Computer Science, The University of Waikato, Hamilton.
  • Wang, Y. and Witten, I. H. (2002) “Modeling for optimal probability prediction.” Sammut, C. and Hoffmann, A. (eds), Proc Nineteenth International Conference on Machine Learning, Sydney, Australia, 650-657. Morgan Kaufmann, San Francisco, California.
  • Ware, M. F., Frank, E. T., Holmes, G., Hall, M. A. and Witten, I. H. (2002) “Interactive machine learning: letting users build classifiers.” International Journal of Human-Computer Studies 55(3), 281-292.
  • Witten, I. H. (2002) “Examples of practical digital libraries: collections built internationally using Greenstone.” Lim, E.-P., et al. (eds), Proc Fifth International Conference on Asian Digital Libraries (ICADL'02), Digital Libraries: People, Knowledge, and Technology, LNCS 2555, Singapore, 67-74. Springer-Verlag, Berlin.
  • Witten, I. H. (2002) “How to build a digital library using open-source software.” Marchionini, G. and Hersh, W. (eds), Proc Second ACM/IEEE Joint Conference on Digital Libraries (JCDL'02), Portland, Oregon, 416-416. ACM Press, New York.
  • Witten, I. H. (2002) “Learning structure from sequences, with applications in a digital library.” Lange, S., Satoh, K. and Smith, C. H. (eds), Proc Fifth International Conference on Discovery Science, LNCS 2534/2008, Lübeck, Germany, p 33. Springer-Verlag, Berlin.
  • Witten, I. H. and Bainbridge, D. (2002) “Hands-on workshop: build your own digital library collections.” Marchionini, G. and Hersh, W. (eds), Proc Second ACM/IEEE Joint Conference on Digital Libraries (JCDL'02), Portland, Oregon, 420-420. ACM Press, New York. doi:10.1145/544220.544369
  • Witten, I. H., Bainbridge, D., Paynter, G. W. and Boddie, S. J. (2002) “The Greenstone plugin architecture.” Marchionini, G. and Hersh, W. (eds), Proc Second ACM/IEEE Joint Conference on Digital Libraries (JCDL'02), Portland, Oregon, 285-286. ACM Press, New York.
  • Witten, I. H., Bainbridge, D., Paynter, G. W. and Boddie, S. J. (2002) “Importing documents and metadata into digital libraries: requirements analysis and extensible architecture.” Agosti, M. and Thanos, C. (eds), Proc Sixth European Conference on Research and Advanced Technology for Digital Libraries (ECDL'02), LNCS 2458, Rome, Italy, 390-405. Springer-Verlag, Berlin.
  • Witten, I. H., Loots, M., Trujillo, M. F. and Bainbridge, D. (2002) “The promise of digital libraries in developing countries.” The Electronic Library 20(1), 7-13.
  • Yeo, A. (2002) Exploring usability evaluation of localised software in Malaysia. PhD Thesis, The University of Waikato.