1996 Research Publications

Computer Science

Journal Articles

Cherowitzo, W., Penttila, T., Pinneri, I.and Royle, G.F. Flocks and Ovals, Geometriae Dedicata, 60: pp 17-37 (1996)

Cox, D.B., Owens, R.A. and Hartmann, P.E. Blood and milk prolactin and the rate of milk synthesis in women, Experimental Physiology, 81: pp 1007-1020 (1996)

Daly, S.E.J., Kent, J.C., Owens, R.A. and Hartmann, P.E. Frequency and degree of milk removal and the short-term control of human milk synthesis, Experimental Physiology, 81: pp 861-875 (1996)

Eades, P., Lin, X. and Tamassia, R.T. An Algorithm for Drawing a Herarchical Graph, International Journal of Computational Geometry & Applications, 6:2, pp 145-155 (1996)

Holden, E-J., Owens, R. and Roy, G.G. Hand movement classification using an adaptive fuzzy expert system, International Journal of Expert Systems, 9:4, pp 465-480 (1996)

Kreher, D.L., Royle, G.F. and Wallis, W.D. A family of resolvable regular graph designs, Discrete Mathematics, 156: pp 269-275 (1996)

Lee, D.-T. Semantic Data Modelling Using Linear Logic, Information Processing Letters, 60: pp 19-27 (1996)

Lin, X. and Orlowska, M.E. An Optimal Voting Scheme for Minimizing the Overall Communication Cost in Replicated Data Management, Journal of Parallel and Distributed Computing, 35:1, pp 97-103 (1996)

Penttila, T., Royle, G.F. and Simpson, M.K. Hyperovals in the Known Projective Planes of Order 16, Journal of Combinatorial Designs, 4: pp 59-65 (1996)

Pudney, C., Robins, M., Robbins, B. and Kovesi, P. Surface Detection in 3D Confocal Microscope Images via Local Energy and Ridge Tracing, Journal of Computer-Assisted Microscopy, 8:1, pp 5-20 (1996)

Thomas, R.C. Long-term Variation in User Actions, SIGCHI Bulletin, 28:3, pp 36-38 (1996)

Conference Publications

Antoniou, G., MacNish, C.K. and Foo, N.Y. Conservative Expansion Concepts for Default Theories, 4th Pacific Rim International Conference on Artificial Intelligence, Germany, Springer-Verlag, LNAI-1114: pp 522-533 (1996)

Antoniou, G., MacNish, C.K. and Foo, N.Y. Restriction and Expansion Concepts for Default Logic, Eighth International Conference on Computing and Information (ICCI'96), Published electronically on CD-ROM and a, Journal of Computing and Information, 2: pp 640-652 (1996)

Antoniou, G. and MacNish, C.K. Some Specification Techniques for Nonmonotonic Knowledge-Bases: Preliminary Report, AAAI-96 Workshop on Validation and Verification of Knowledge-Based Systems and Subsystems, USA, AAAI-Press, 1: pp 116-121 (1996)

Antoniou, G. and MacNish, C.K. On the Refinement of Nonmonotomic Knowledge Bases, PRICAI'96 Workshop on Verification, Validation and Refinement of Knowledge Based Systems, Brisbane, Australia, Griffith University, School of Computing and Information Technology, 1: pp 1-6 (1996)

Bellgard, M. and Tsang, C.P. On the use of an Effective Boltzmann Machine for Musical Style Recognition and Harmonisation, International Computer Music Conference, Hong Kong, International Computer Music Association, 1: pp 461-464 (1996)

Cena, B. and Spadaccini, N. Wavelet Shrinkage of Ultrasound Data, Summer School of Wavelets, Gliwice, Poland, Silesian Technical University, 1: pp 11-18 (1996)

Ellepola, R. and Kovesi, P. Mobile Robot Navigation in a Semi-Structured Environment, Fourth International Conference on Control, Automation, Robotics and Vision, Singapore, Nanyang Technological University, Singapore, 2: pp 914-918 (1996)

Hadingham, P.T. Recognition of Non-Rigid Objects Represented as Parametrized Arcs, IASTED International Conference on Artifical Intelligence, Expert Systems and Neural Networks, Anaheim, California, IASTED/Acta Press, 1: pp 334-337 (1996)

Herrmann, J. and Tsang, C.P. Capturing the Divide and Conquer Methodology in Isabelle Tactics, Computing: The Australasian Theory Symposium, Melbourne, Australia, Australian Computer Science Communications, 18: pp 127-136 (1996)

Kay, J. and Thomas, R.C. Visualisation of Entrenched User Preferences, Human Factors in Computer Systems CHI 96: Common Ground, New York, ACM Press, 1: pp 285-286 (1996)

Lee, D.-T. and Tsang, C.P. Solving the Database Update Problem Using Linear Logic, Seventh Annual Database Conference, Melbourne, Australia, Australian Computer Science Communications, 18/2: pp 131-139 (1996)

Lee, D.-T. and Tsang, C.P. Declarative View Update in Linear Logic Databases, International Computer Symposium, Taiwan, ICS'96 - International Computer Symposium, 1: pp 193-200 (1996)

Lin, X. and Chen, J. An Optimal Deadlock Resolution Algorithm in Multidatabase, 1996 International Conference on Parallel and Distributed Systems, Tokyo, Japan, IEEE Computer Society, 1: pp 516-521 (1996)

Lin, X. A New Quorum Consensus Method with High Fault-Tolerance for Managing Replicated Data, Computing: the Australasian Theory Symposium, Melbourne, Australia, Australian Computer Society, 18: pp 90-99 (1996)

Lin, X. and Fox, S. An Effective Parallelization of Execution of Multijoins in Multiprocessor Systems, International Symposium on Parallel Architectures, Algorithms and Networks, Los Alamitos, California, IEEE Computer Society, 1: pp 63-69 (1996)

MacNish, C.K. and Williams, M.A. From Belief Revision to Design Revision: Applying Theory Change to Changing Requirements, PRICAI'96 Workshop on Reasoning with Incomplete and Changing Requirements, Brisbane, Australia, Griffith University, School of Computing and Information Technology, 1: pp 61-78 (1996)

McDonald, C. User-Level Distributed File Systems Projects, Twenty-Seventh SIGCSE Technical Symposium on Computer Science Education, U.S.A., The Association for Computing Machinery, 1: pp 333-337 (1996)

O'Mara, D. and Owens, R. Measuring Bilateral Symmetry in Digital Images, TENCON Digital Signal Processing Applications, Piscataway, U.S.A., IEEE, 1: pp 151-156 (1996)

Osborne, M. and MacNish, C.K. Processing Natural Language Software Requirement Specifications, Second IEEE International Conference on Requirements Engineering, USA, IEEE Computer Society, 1: pp 229-236 (1996)

Smith, L.M. and Kovesi, P. A Continuous Time-Frequency Approach To Representing Rhythmic Strata, Proceedings of the Fourth International Conference on Music Perception and Cognition, Montreal, Canada, McGill University, 1: pp 197-202 (1996)

Smith, L.M. Listening to Musical Rhythms with Progressive Wavelets, TENCON '96, Perth, Australia, IEEE, 2: pp 508-513 (1996)

Smith, L.M. Modelling Rhythm Perception by Continuous Time-Frequency Analysis, International Computer Music Conference ICMC, San Francisco USA, International Computer Music Assoc, 1: pp 392-395 (1996)

Taylor, P., Owens, R. and Ingram, D. Multi-scale pattern classification using phase congruency, Digital Mammography '96, Amsterdam, The Netherlands, Elsevier Science B.V., 1: pp 405-410 (1996)

Wood, F.M., Currie, K., Backman, R.B. and Cena, B. The Current Difficulties and the Possible Future Directions in Scar Assessment, International Symposium for Hypertrophic Scaring, Oxford, U.K., Butterworth-Heinemann, 22: pp 455-458 (1996)

Others

Hartmann, P.E., Owens, R.A., Cox, D.B. and Kent, J.C. (Review)Breast development and control of milk synthesis, 17:4, pp 292-304, Charles Street Sta PO Box 500 Boston (1996)