Filter
Conference proceeding contribution

Search results

  • 1989

    Computer analysis of regular repetitive textures

    Hamey, L. & Kanade, T., 1989, Proceedings of DARPA image understanding workshop. San Mateo, CA: Morgan Kaufmann, p. 1076-1088 13 p.

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

  • 1991

    Some classes for object-based simulation in C++

    DEBRAY, T. & HEXT, J., 1991, Technology of object-oriented languages and systems - tools 6. POTTER, J., TOKORO, M. & MEYER, B. (eds.). New Jersey: Prentice Hall, p. 143-152 10 p. (TOOLS; vol. 6).

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

  • 1992

    A reverse engineering environment based on spatial and visual software interconnection models

    Muller, H. A., Tilley, S. R., Orgun, M. A., Corrie, B. D. & Madhavji, N. H., 1992, Proceedings of the Fifth ACM SIGSOFT Symposium on Software Development Environments: SDE 5. New York, NY, USA: Association for Computing Machinery (ACM), p. 88-98 11 p.

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

    34 Citations (Scopus)
  • Behavioral object clustering

    Maciaszek, L. A., Dampney, K. & Getta, J., 1992, Future databases 1992. Chen, Q., Kambayashi, Y. & Sacks-Davis, R. (eds.). Singapore: World Scientific, p. 186-193 8 p. (Advanced database research and development series; vol. 3).

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

  • Benchmarking feed-forward neural networks: models and measures

    Hamey, L., 1992, Advances in neural information processing systems 4. Moody, J. E., Hanson, S. J. & Lippmann, R. P. (eds.). Palo Alto, CA: Morgan Kaufmann, p. 1167-1174 8 p.

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

  • On Gaussian sums for finite-fields and elliptic-curves

    Shparlinski, I., 1992, Algebraic coding. Cohen, G., Litsyn, S., Lobstein, A. & Zemor, G. (eds.). Berlin: Springer, Springer Nature, p. 5-15 11 p. (LECTURE NOTES IN COMPUTER SCIENCE; vol. 573).

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

    8 Citations (Scopus)
  • Remarks on representations of universal algebras by sheaves of quotient algebras

    Johnson, M. & Sun, S-H., 1992, Category Theory 1991: Proceedings of the 1991 Summer Category Theory Meeting, Montreal, Canada. Seely, R. A. G. (ed.). Canadian Mathematical Society, p. 299-307 9 p. (Canadian Mathematical Society; vol. 13).

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

  • 1993

    A testbed for studying parallel programs and parallel execution architectures

    Grunwald, D., Nutt, G. J., Sloane, A. M., Wagner, D. & Zorn, B. G., 1993, Proceedings of the International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems. Schwetman, H. D., Walrand, J. C., Bagchi, K. K. & DeGroot, D. (eds.). San Diego, CA, USA: Society for Computer Simulation International, p. 95-106 12 p. (MASCOTS '93).

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

  • Chronolog(Z): linear-time logic programming

    Orgun, M. A., Wadge, W. W. & Du, W., 1993, Proceedings - ICCI 1993: 5th International Conference on Computing and Information. Abou-Rabia, O., Chang, C. K. & Koczkodaj, W. W. (eds.). Institute of Electrical and Electronics Engineers (IEEE), p. 545-549 5 p. 315313

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

    6 Citations (Scopus)
  • Generating natural language descriptions with examples: differences between introductory and advanced texts

    Mittal, V. O. & Paris, C. L., 1993, Proceedings of the National Conference on Artificial Intelligence. Publ by AAAI, p. 271-276 6 p.

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

    3 Citations (Scopus)
  • Machine inspection of biscuit bake

    Hamey, L., Watson, A. & Westcott, T., 1993, DICTA-93: Digital Image Computing: Techniques and Applications : conference proceedings. Fung, K. & Ginige, A. (eds.). Australian Pattern Recognition Society, p. 124-129 6 p.

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

  • Systematic generation of cryptographically robust S-boxes (extended abstract)

    Seberry, J., Zhang, X. M. & Zheng, Y., 1993, 1st ACM Conference on Computer and Communications Security. Association for Computing Machinery (ACM), p. 171-182 12 p.

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

    46 Citations (Scopus)
  • 1994

    An overview of temporal and modal logic programming

    Orgun, M. A. & Ma, W., 1994, Temporal Logic: 1st International Conference, ICTL 1994, Proceedings. Gabbay, D. M. & Ohlbach, H. J. (eds.). Springer, Springer Nature, Vol. 827. p. 445-479 35 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 827 LNAI).

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

    63 Citations (Scopus)
  • Biscuit bake assessment by an artificial neural network

    Yeh, J. & Hamey, L., 1994, Proceedings of the fifth Australian Conference on Neural Networks : ACNN'94, Brisbane, 31st January to 2nd February 1994. Tsoi, A. C. & Downs, T. (eds.). The University of Queensland, p. 266-269 4 p.

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

  • Components and projections of curves over finite fields

    Von Zur Gathen, J. & Shparlinski, I., 1994, Algorithms and Computation: 5th International Symposium, ISAAC 1994: proceedings. Springer, Springer Nature, p. 297-305 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 834 LNCS).

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

    1 Citation (Scopus)
  • Families of threshold schemes

    Charnes, C., Pieprzyk, J. & Safavi-Naini, R., 1994, Proceedings of 1994 IEEE International Symposium on Information Theory. Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), p. 499-499 1 p. 395114

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

    2 Citations (Scopus)
  • 1995

    A connectionist approach to quality assessment of food products

    Raychaudhuri, T., Yeh, J., Hamey, L., Sung, S. & Westcott, T., 1995, A.I. '95 : Eighth Australian Joint Conference on Artificial Intelligence. Yao, X. (ed.). World Scientific Publishing, p. 435-441 7 p.

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

  • Application of “consistent dependency” to corporate and project information models

    Dampney, C. N. G. & Johnson, M., 1995, OOER 1995: Object-Oriented and Entity-Relationship Modeling - 14th International Conference, Proceedings. Berlin; Heidelberg: Springer, Springer Nature, Vol. 1021. p. 445-446 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1021).

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

    2 Citations (Scopus)
  • Automatic documentation generation: Including examples

    Paris, C. L., 1995, Advances in Artificial Intelligence - 12th Brazilian Symposium on Artificial Intelligence, SBIA 1995, Proceedings. Springer, Springer Nature, Vol. 991. p. 12-25 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 991).

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

  • Baked product classification with the use of a self-organising map

    Raychaudhuri, T., Yeh, J., Hamey, L. & Westcott, T., 1995, Proceedings of the Sixth Australian Conference on Neural Networks. Charles, M. & Latimer, C. (eds.). Sydney: The University of Sydney, p. 152-155 4 p.

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

  • Colour bake inspection system using hybrid artificial neural networks

    Yeh, J., Hamey, L. G. C., Westcott, T. & Sung, S., Dec 1995, IEEE International Conference on Neural Networks - Conference Proceedings. Piscataway, N.J.: Institute of Electrical and Electronics Engineers (IEEE), Vol. 6. p. 37-42 6 p. 487873

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

    26 Citations (Scopus)
  • Finding points on curves over finite fields

    Von zur Gathen, J. & Shparlinski, I., 1995, 36th Annual Symposium on Foundations of Computer Science, proceedings. Los Alamitos, CA: Institute of Electrical and Electronics Engineers (IEEE), p. 284-292 3 p. (Annual Symposium on Foundations of Computer Science).

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

  • Framework for exploiting parallelism in chronolog

    Liu, C., Orgun, M. A. & Zhang, K., 1995, IEEE International Conference on Algorithms and Architectures for Parallel Processing. Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), Vol. 1. p. 163-172 10 p.

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

    4 Citations (Scopus)
  • Management of inconsistent information in federated systems

    Getta, J. R. & Maciaszek, L. A., 1995, OOER 1995: Object-Oriented and Entity-Relationship Modeling - 14th International Conference, Proceedings. Berlin ; New York: Springer, Springer Nature, Vol. 1021. p. 412-423 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1021).

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

    2 Citations (Scopus)
  • Minimisation of data collection by active learning

    Raychaudhuri, T. & Hamey, L., 1995, IEEE International Conference on Neural Networks: conference proceedings. Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), Vol. 3. p. 1338-1341 4 p.

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

    19 Citations (Scopus)
  • Neural network control using active learning

    Raychaudhuri, T., Hamey, L. & Bell, R., 1995, Control 95 : meeting the challenge of Asia Pacific growth. Barton: Institute of Engineers Australia, p. 369-373 5 p.

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

  • On nonlinear resilient functions

    Zhang, X. M. & Zheng, Y., 1995, Advances in Cryptology — EUROCRYPT 1995 - International Conference on the Theory and Application of Cryptographic Techniques, Proceedings. Springer, Springer Nature, Vol. 921. p. 274-288 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 921).

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

    15 Citations (Scopus)
  • Orders of gauss periods in finite fields

    von zur Gathen, J. & Shparlinski, I., Dec 1995, Algorithms and Computations: 6th International Symposium, ISAAC '95 Cairns, Australia, December 4–6, 1995 Proceedings. Staples, J., Eades, P., Katoh, N. & Moffat, A. (eds.). Berlin; New York: Springer, Springer Nature, p. 208-215 8 p. (Lecture Notes in Computer Science; vol. 1004).

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

    12 Citations (Scopus)
  • Relationships among nonlinearity criteria

    Seberry, J., Zhang, X. M. & Zheng, Y., 1995, Advances in Cryptology - EUROCRYPT 1994 - Workshop on the Theory and Application of Cryptographic Techniques, Proceedings. Springer, Springer Nature, Vol. 950. p. 376-388 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 950).

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

    18 Citations (Scopus)
  • Structures of cryptographic functions with strong avalanche characteristics

    Seberry, J., Zhang, X. M. & Zheng, Y., 1995, Advances in Cryptology - ASIACRYPT 1994 - 4th International Conference on the Theory and Applications of Cryptology, Proceedings. Springer, Springer Nature, Vol. 917. p. 119-132 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 917).

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

  • The structure of neural network error surfaces

    Hamey, L., 1995, Proceedings of the Sixth Australian Conference on Neural Networks. Charles, M. & Latimer, C. (eds.). Sydney: The University of Sydney, p. 197-200 4 p.

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

  • 1996

    Accurate modelling with minimised data collection - an active learning algorithm

    Raychaudhuri, T. & Hamey, L., 1996, Proceedings of the Seventh Australian Conference on Neural Networks. Bartlett, P., Burkitt, A. & Williamson, R. C. (eds.). Canberra: ANU, p. 11-15 5 p.

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

  • Active learning for nonlinear system identification and control

    Raychaudhuri, T. & Hamey, L., 1996, Proceedings of the 13th World Congress : International Federation of Automatic Control, San Francisco, USA, 30th June-5th July 1996. Gertler, J. J., Cruz, J. B. & Peshkin, J. . M. (eds.). Pergamon, p. 193-197 5 p.

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

  • Analysis of the error surface of the XOR network with two hidden nodes

    Hamey, L., 1996, Proceedings of the Seventh Australian Conference on Neural Networks : ACNN'96, Canberra, 10-12 April 1996. Bartlett, P., Burkitt, A. & Williamson, R. (eds.). Canberra: ANU, p. 179-183 5 p.

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

  • A recursive temporal algebra and temporal completeness

    Orgun, M. A., 1 May 1996, Proceedings Third International Workshop on Temporal Representation and Reasoning (TIME '96). Institute of Electrical and Electronics Engineers (IEEE), p. 96-103 8 p.

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

    4 Citations (Scopus)
  • Auto-correlations and new bounds on the nonlinearity of boolean functions

    Zhang, X. M. & Zheng, Y., 1996, Advances in Cryptology - EUROCRYPT 1996 - International Conference on the Theory and Application of Cryptographic Techniques, Proceedings. Springer, Springer Nature, Vol. 1070. p. 294-306 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1070).

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

    17 Citations (Scopus)
  • Death and lightness: using a demographic model to find support verbs

    Dras, M. & Johnson, M., 1996, CSNLP '96: Proceedings of the Fifth International Conference on the Cognitive Science of Natural Language Processing. Monaghan, A. I. C. (ed.). Dublin, Ireland: Dublin City University Natural Language Group, 8 p.

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

  • Echidna: a system for manipulating explicit choice higher dimensional automata

    Buckland, R. & Johnson, M., 1996, Algebraic methodology and software technology: 5th international conference, AMAST 1996, proceedings. Wirsing, M. & Nivat, M. (eds.). Berlin ; Heidelberg ; New York: Springer, Springer Nature, Vol. 1101. p. 587-590 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1101).

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

    2 Citations (Scopus)
  • Executing specifications of distributed computations with chronolog(MC)

    Liu, C. & Orgun, M. A., 18 Feb 1996, Proceedings of the 1996 ACM Symposium on Applied Computing, SAC 1996. Association for Computing Machinery, Vol. Part F128723. p. 393-400 8 p.

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

    5 Citations (Scopus)
  • Results on weight configurations that are not local minima in feed-forward neural networks

    Hamey, L., 1996, Proceedings of the Seventh Australian Conference on Neural Networks : ACNN'96, Canberra, 10-12 April 1996. Bartlett, P., Burkitt, A. & Williamson, R. (eds.). Canberra: ANU, p. 173-178 6 p.

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

  • Segmentation of bake images by a self-organising map

    Hamey, L. & Yeh, J., 1996, Image Segmentation Workshop 1996. Braun, M., Eckert, M. & Breen, E. (eds.). Australian Pattern Recognition Society, p. 65-68 4 p.

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

  • 1997

    A constraint mechanism for knowledge specification of simulation systems based on temporal logic

    Liu, C. & Orgun, M. A., 1997, Advanced Topics in Artificial Intelligence - 10th Australian Joint Conference on Artificial Intelligence, AI 1997, Proceedings. Sattar, A. (ed.). Berlin; New York: Springer, Springer Nature, Vol. 1342. p. 485-495 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1342).

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

    2 Citations (Scopus)
  • A rapid development model for meta-CASE tool design

    Gong, M., Scott, L., Xiao, Y. & Offen, R., Nov 1997, Conceptual Modeling - ER 1997: 16th International Conference on Conceptual Modeling Los Angeles, California, USA, November3–5, 1997 Proceedings. Embley, D. W. & Goldstein, R. C. (eds.). Berlin; New York: Springer, Springer Nature, p. 464-477 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1331).

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

    1 Citation (Scopus)
  • BCTL: A branching clock temporal logic

    Liu, C. & Orgun, M. A., 1997, Proceedings of the International Workshop on Temporal Representation and Reasoning. Los Alamitos, CA: Institute of Electrical and Electronics Engineers (IEEE), p. 140-147 8 p.

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

    1 Citation (Scopus)
  • Managing the human-software environment

    Plekhanova, V. & Offen, R., 1997, Proceedings of the International Workshop on Software Technology and Engineering Practice, STEP. Budgen, D., Hoffnagle, G. & Trienekens, J. (eds.). Los Alamitos, CA: Institute of Electrical and Electronics Engineers (IEEE), p. 422-432 11 p.

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

  • MINNI: micromouse incorporating neural network intelligence

    Gibb, J. & Hamey, L., 1997, Proceedings of the 20th Australasian Computer Science Conference. p. 194-201 8 p. (Australian Computer Science Communications; vol. 19, no. 1).

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

  • New lower bounds on nonlinearity and a class of highly nonlinear functions

    Zhang, X. M. & Zheng, Y., 1997, Information Security and Privacy -2nd Australasian Conference, ACISP 1997, Proceedings. Springer, Springer Nature, Vol. 1270. p. 147-158 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1270).

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

    1 Citation (Scopus)
  • Objective bake assessment using image analysis and artificial intelligence

    Hamey, L., Yeh, J. & Ng, C., 1997, Cereals '97 : proceedings of the 47th Australian Cereal Chemistry Conference held in Perth,14th to18th September, 1997. Tarr, A. W., Ross, A. S. & Wrigley, C. W. (eds.). North Melbourne: Royal Australian Chemical Institute, p. 180-184 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

  • Photometric stereo using extended rectangular lights

    Pleasants, A. & Hamey, L., 1997, DICTA'97 and IVCNZ'97 : theme, new dimensions in imaging : proceedings of the first joint Australia &​ New Zealand biennial conference on digital image &​ vision computing - techniques and applications, 10-12 December 1997, Massey University, Albany Campus, Albany, Auckland, New Zealand. Palmerston North: Massey University, p. 533-538 6 p.

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

  • Preferential semantics for causal fixpoints

    Peppas, P., Pagnucco, M., Prokopenko, M. & Foo, N., 1997, Advanced Topics in Artificial Intelligence - 10th Australian Joint Conference on Artificial Intelligence, AI 1997, Proceedings. Sattar, A. (ed.). Berlin; New York: Springer, Springer Nature, Vol. 1342. p. 197-206 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1342).

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

    1 Citation (Scopus)