Research Output

Filter
Conference Paper
1986

Logic program semantics for programming with equations

Jaffar, J. & Stuckey, P. J., 1 Jan 1986, 3rd International Conference on Logic Programming - Imperial College of Science and Technology, Proceedings. Shapiro, E. (ed.). Springer, p. 313-326 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 225 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

1 Citation (Scopus)
1990

Common-sense resolution of syntactic ambiguity in database queries

Hui, L. L. & Zukerman, I., 1 Jan 1990, AI 1988 - 2nd Australian Joint Artificial Intelligence Conference, Proceedings. Springer-Verlag London Ltd., p. 395-409 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 406 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Contradictions and revisions as explanatory aids in the delivery of technical information

Zukerman, I. & Cheong, Y. H., 1 Jan 1990, AI 1988 - 2nd Australian Joint Artificial Intelligence Conference, Proceedings. Springer-Verlag London Ltd., p. 124-139 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 406 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

DISSOLVE: A system for the generation of human oriented solutions to algebraic equations

Oliver, J. & Zukerman, I., 1 Jan 1990, AI 1988 - 2nd Australian Joint Artificial Intelligence Conference, Proceedings. Springer-Verlag London Ltd., p. 92-107 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 406 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

1 Citation (Scopus)
1993

A decision graph explanation of protein secondary structure prediction

Dowe, D. L., Oliver, J., Dix, T. I., Allison, L. & Wallace, C. S., 1 Jan 1993, Proceedings of the 26th Hawaii International Conference on System Sciences, HICSS 1993. IEEE, Institute of Electrical and Electronics Engineers, p. 669-678 10 p. 270674. (Proceedings of the Annual Hawaii International Conference on System Sciences; vol. 1).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

8 Citations (Scopus)

Constructing multi-view editing environments using MViews

Grundy, J. C. & Hosking, J. G., 1 Jan 1993, Proceedings - 1993 IEEE Symposium on Visual Languages, VL 1993. IEEE, Institute of Electrical and Electronics Engineers, p. 220-224 5 p. 269600. (Proceedings - 1993 IEEE Symposium on Visual Languages, VL 1993).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

14 Citations (Scopus)

Optimizing method for structuring inferentially linked discourse

Zukerman, I. & McConachy, R., 1 Dec 1993, Proceedings of the National Conference on Artificial Intelligence. Publ by AAAI, p. 202-207 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

1 Citation (Scopus)
1994

Analyzing logic programs with dynamic scheduling

Marriott, K., de la Banda, M. L. G. & Hermenegildo, M., 1 Jan 1994, Conference Record of the Annual ACM Symposium on Principles of Programming Languages. Association for Computing Machinery (ACM), p. 240-253 14 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

28 Citations (Scopus)

Beyond finite domains

Jaffar, J., Maher, M. J., Stuckey, P. J. & Yap, R. H. C., 1 Jan 1994, Principles and Practice of Constraint Programming - 2nd International Workshop, PPCP 1994, Proceedings. Borning, A. (ed.). Springer, p. 86-94 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 874 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

54 Citations (Scopus)

Model selection in linear regression using the MML criterion

Baxter, R. A. & Dowe, D. L., 1994, Proceedings of the Data Compression Conference. Storer, J. A. & Cohn, M. (eds.). IEEE, Institute of Electrical and Electronics Engineers, 1 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperOtherpeer-review

3 Citations (Scopus)
1995

An optimizing compiler for CLP(R)

Kelly, A. D., Macdonald, A., Marriott, K., Søndergaard, H., Stuckey, P. J. & Yap, R. H. C., 1 Jan 1995, Principles and Practice of Constraint Programming — CP 1995 - 1st International Conference, CP 1995, Proceedings. Montanari, U. & Rossi, F. (eds.). Springer, p. 222-239 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 976).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

8 Citations (Scopus)

Confluent calculus for concurrent constraint programming with guarded choice

Marriott, K. & Odersky, M., 1 Jan 1995, Principles and Practice of Constraint Programming — CP 1995 - 1st International Conference, CP 1995, Proceedings. Montanari, U. & Rossi, F. (eds.). Springer, p. 310-327 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 976).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

3 Citations (Scopus)

Efficient analysis of logic programs with dynamic scheduling

Garcia De La Banda, M. J., Marriott, K. G. & Stuckey, P. J., 1995, Proceedings of the 1995 International Symposium on Logic Programming. Lloyd, J. (ed.). Massachusetts London UK: The MIT Press, p. 417 - 431 15 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Polygonal inductive generalisation system

Newlands, D. A. & Webb, G. I., 30 Jun 1995, Proceedings of the 8th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 1995. Ali, M. & Forsyth, G. F. (eds.). Association for Computing Machinery (ACM), p. 587-592 6 p. (Proceedings of the 8th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 1995).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

1 Citation (Scopus)

Practical logic (Invited presentation)

Crossley, J. N., 1 Jan 1995, Algorithms and Computations - 6th International Symposium, ISAAC 1995, Proceedings. Springer, 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1004).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

1996

A unified approach to handling uncertainty during cooperative consultations

Raskutti, B. & Zukerman, I., 1 Jan 1996, PRICAI 1996: Topics in Artificial Intelligence - 4th Pacific Rim International Conference on Artificial Intelligence, Proceedings. Springer-Verlag London Ltd., p. 85-96 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1114).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

1 Citation (Scopus)

Circular clustering of protein dihedral angles by Minimum Message Length

Dowe, D. L., Allison, L., Dix, T. I., Hunter, L., Wallace, C. S. & Edgoose, T., 1996, Pacific Symposium on Biocomputing 1996. p. 242-255 14 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

15 Citations (Scopus)

Fall diagnosis using dynamic belief networks

Nicholson, A. E., 1 Jan 1996, PRICAI 1996: Topics in Artificial Intelligence - 4th Pacific Rim International Conference on Artificial Intelligence, Proceedings. Springer, p. 206-217 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1114).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

8 Citations (Scopus)

Knowledge acquisition for an organisational memory system

Sowunmi, A., Burstein, F. V. & Smith, H. G., 1 Jan 1996, Information Systems - Collaboration Systems and Technology: Proceedings of HICSS-29 . Sprague, R. H. & Nunamaker, J. F. (eds.). IEEE Computer Society, p. 168-177 10 p. 493188. (Proceedings of the Annual Hawaii International Conference on System Sciences; vol. 3).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

4 Citations (Scopus)

Lexical access using minimum message length encoding

Thomas, I., Zukerman, I., Oliver, J. & Raskutti, B., 1 Jan 1996, PRICAI 1996: Topics in Artificial Intelligence - 4th Pacific Rim International Conference on Artificial Intelligence, Proceedings. Springer-Verlag London Ltd., p. 229-240 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1114).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Low-contact learning in a first year programming course

Johnston, R., Moffat, A., Søndergaard, H. & Stuckey, P., 7 Mar 1996, Proceedings of the 1st Australasian Conference on Computer Science Education, ACSE 1996. Association for Computing Machinery (ACM), p. 19-26 8 p. (ACM International Conference Proceeding Series).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

2 Citations (Scopus)

MML estimation of the parameters of the spherical fisher distribution

Dowe, D. L., Oliver, J. J. & Wallace, C. S., 1996, Algorithmic Learning Theory - 7th International Workshop, ALT 1996, Proceedings. Arikawa, S. & Sharma, A. K. (eds.). Springer, p. 213-227 15 p. (Lecture Notes in Computer Science ; vol. 1160).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

15 Citations (Scopus)

Towards a hierarchy of visual languages

Marriott, K. & Meyer, B., 1996, Proceedings of the 1996 IEEE Symposium on Visual Languages. IEEE, Institute of Electrical and Electronics Engineers, p. 196-203 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

7 Citations (Scopus)

Two applications of an incremental analysis engine for (Constraint) logic programs

Kelly, A. D., Marriott, K., Søndergaard, H. & Stuckey, P. J., 1 Jan 1996, Static Analysis - 3rd International Symposium, SAS 1996, Proceedings. Schmidt, D. A. & Cousot, R. (eds.). Springer, p. 385-386 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1145).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

1997

A Block Classification Algorithm for DCT-Based Digital Video Coding

Suthaharan, S., Wu, H. R. & Yuen, M., 1997, Proceedings of IEEE Tencon '97. Brisbane Qld Australia: IEEE, Institute of Electrical and Electronics Engineers, p. 739 - 741 3 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Abstract interpretation: A theory of approximate computation

Marriott, K., 1 Jan 1997, Static Analysis - 4th International Symposium, SAS 1997. Van Hentenryck, P. (ed.). Springer, p. 367-378 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1302 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

2 Citations (Scopus)

Abstract ticket engine to support mobile users

Le, P. D., Srinivasan, B., Le, H. P., Price, R. & Mohammed, S., 1997, Proceedings of the 2nd Australian Workshop on Mobile Computing and Databases and Applications. Melbourne Vic Australia: Monash University Publishing, p. 102 - 107 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

A Case Study of User Viewpoint Development in Requirements Engineering

Darke, P. & Shanks, G., 1997, Proceedings of the Second Australian Workshop on Requirements Engineering. Sydney NSW Australia: CSIRO Macquarie University, p. 129 - 139 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

A cognitive model of argumentation

Korb, K. B., McConachy, R. & Zukerman, I., 1997, Proceedings of the Nineteenth Annual Conference of the Cognitive Science Society. Mahwah NJ USA: Lawrence Erlbaum Associates, p. 400 - 405 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

A Computer Simulation of Epidemics Applied to Hepatitis C

Mather, D. R., 1997, Proceedings of the Fourth International Meeting of the Decision Sciences Institute. Sydney NSW Australia: Woodslane Pitman Publishing, p. 772 - 774 3 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Adaptive partitioning of three-dimensional fractal video

Ferguson, T. C. & Wu, H. R., 1997, 1997 Picture Coding Symposium. Berlin Germany: VDE Verlag, p. 381 - 385 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Adaptive routing for a bus-based multiprocessor

Fazio, V. J., 1997, 1997 3rd International Conference on Algorithms and Architectures for Parallel Processing. Singapore: World Scientific Publishing, p. 37 - 50 14 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Adding Structure to the Cultural Analysis of SSM

Barnden, A. W. & Lo, C. S., 1997, Systems for Sustainability: People, Organizations and Environments. New York NY USA: Plenum Press, p. 401 - 406 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

A decision support tool for tuning parameters in a machine learning algorithm

Postema, M., Menzies, T. & Wu, X., 1997, PACES/SPICIS '97 Proceedings. Singapore: Nanyang Technological University, p. 227 - 235 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

A Distortion Measure for Blocking Artifacts in Digital Video

Wu, H. R. & Suthaharan, S., 1997, Proceedings of ICICS 1997. Singapore: Nanyang Technical University Singapore, p. 1566 - 1569 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

A fast algorithm for prime number generation using dynamically reconfigurable logic

Saleeba, M. & Pose, R. D., 1997, Computer Architecture '96 Selected Papers of the 1st Australasian Conference. Singapore: Springer-Verlag London Ltd., p. 95 - 109 15 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

A formal model to aid documenting and harmonizing of information security requirements

Leiwo, J. & Zheng, Y., 1997, Information security in research and business. London UK: Chapman and Hall, p. 25 - 38 14 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

A Framework for Analysing SSM-based Studies

Barnden, A. W., 1997, Proceedings of the 5th European Conference on Information Systems. Cork Ireland: University College Cork, p. 1149 - 1154 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Algorithmic and combinatorial problems in strict minimum message length inference

Farr, G. E. & Wallace, C. S., 1997, Research on Combinatorial Algorithms. Brisbane Australia: Queensland University of Technology, p. 50 - 58 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

A method to implement a denial of service protection base

Leiwo, J. & Zheng, Y., 1997, Information security and privacy. Berlin Germany: Springer-Verlag London Ltd., p. 90 - 101 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

10 Citations (Scopus)

An adpative connection admission control scheme for ATM networks

Zukerman, M. & Tse, P. W., 1997, 1997 IEEE International Conference on Communications. Piscataway NJ USA: IEEE, Institute of Electrical and Electronics Engineers, p. 1153 - 1157 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

An agent-oriented model for software evaluation

Ramakrishnan, S., 1997, Software Engineering (SE'97). Anaheim USA: IASTED Press, p. 36 - 39 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

An Algorithm for Fuzzy Multi-Criteria Decision Making

Yeh, C. H. & Deng, H., 1997, Proceedings of the IEEE International Conference on Intelligent Processing Systems. New Jersey USA: IEEE, Institute of Electrical and Electronics Engineers, p. 1564 - 1568 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Analysis of an input buffered atm multi-stage self routing switch

Nleya, B., Dlodlo, M., Nzama, M. & Bebova, S., 1997, The Third Asia-Pacific Conference on Communications. Sydney NSW Australia: IREE Society, p. 970 - 974 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

A new neutral network architecture for efficient close proximity match of large databases

Rao, S., Pujari, A. & Srinivasan, B., 1997, Eighth International Workshop on Database and Expert Systems Applications. Los Alamitos CA USA: IEEE Computer Society, p. 444 - 449 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

An Experimental Study of the Impact of a Computer-based Decision Aid on the Forecast of Exponential Data

O'Donnell, P. A., Arnott, D. R. & Yeo, L. H., 1997, The Pacific Asia Conference on Information Systems (PACIS '97) Conference Proceedings. Brisbane Qld Australia: University Art Museum, University of Queensland, p. 279 - 288 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

An IEEE 802.14 MAC protocol with priorities

Ivanovich, M. V. & Zukerman, M., 1997, Proceedings APCC'97 The Third Asia-Pacific Conference on Communications. Sydney NSW Australia: IREE Society, p. 192 - 196 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

An internet environment for learning software testing processes

Ramakrishnan, S. & Sajeev, S., 1997, Proceedings of the International Conference on Software Engineering and its application. Hyderabad India: Institute of Pubic Enterprise, p. 33 - 40 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

An MML classification of protein structure that knows about angles and sequence

Edgoose, T. C., Allison, L. & Dowe, D. L., 1997, Pacific Symposium on Biocomputing '98. Singapore: World Scientific Publishing, p. 585 - 596 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

24 Citations (Scopus)

A noniterative approach for computing linear equaliser tap weights

Tellambura, C., Guo, Y. J. & Barton, S. K., 1997, Proceedings, 8th IEEE International Symposium on Personal, Indoor and Mobile Radio Communications Waves of the Year 2000+. Piscataway NJ USA: IEEE, Institute of Electrical and Electronics Engineers, p. 302 - 306 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

1 Citation (Scopus)