Official Publications: Research Expertise and Publications

Computer Science and Software Engineering

 
 Research Expertise and Publications
[ View All ]
 
 Research Publications
[ View All ]
 
  2005 Research Publications
[ View All ]
 
   Computer Science and Software Engineering

Computer Science and Software Engineering

Books and Chapters

Cottingham, M.S. Isoluminance Contours for Animated Visualization, Encyclopaedia of Information Science & Technology (5 Volumes), ed Mehdi Khosrow-Pour, U.S.A., Idea Group Reference, Multimedia: pp 1685-1697 (2005)

French, T.N., Reynolds, M. and Van Der Meyden, R. Axioms for Logics of Knowledge and Past Time Synchrony and Unique Initial States, Advances in Modal Logic, ed R Schmidt, I Pratt-Hartmann, M Reynolds, H Wansing, London, UK, King's College Publications, 5: pp 53-72 (2005)

Reynolds, M. and Dixon, C. Theorem-proving for Discrete Temporal Logic, Handbook of Temporal Reasoning in Artificial Intelligence, ed M Fisher, D Gabbay and L Vila, Amsterdam, Elsevier, 1: pp 279-314 (2005)

Reynolds, M. and Hodkinson, I. Separation-Past, Present and Future, We Will Show Them, ed S Artemov, H Barringer, A Garcez, L Lamb, J Woods, London, College Publications, 2: pp 117-142 (2005)

Reynolds, M., Schmidt, R., Pratt-Hartmann, I. and Wansing, H. Advances in Modal Logic, London, King's College Publications (2005)

Spadaccini, N., Hall, S.R., Brown, I.D., Bernstein, H.J., Westbrook, J.D. and McMahon, B. Formal Specification of the CIF, Definition & Exchange of crystallographic data, ed Hall & McMahon, Netherlands, Springer, G: pp 25-36 (2005)

Spadaccini, N., Hall, S.R. and McMahon, B. STAR File Utilities, Definition & Exchange of crystallographic data, ed Hall, S.R., McMahon, B., Netherlands, Springer, G: pp 488-498 (2005)

Spadaccini, N. and Hall, S.R. Specification of the STAR File, Definition & Exchange of crystallographic data, ed Hall, S.R., McMahon, B., The Netherlands, Springer, G: pp 13-19 (2005)

Journal Articles

Barone, L.C., While, R.L., Huband, S. and Hingston, P. A Scalable Multi-objective Test Problem Toolkit, LNCS, 3410: pp 280-295 (2005)

Cardell-Oliver, R.M., Kranz, M.L., Smettem, K.R. and Myer, K. A Reactive Soil Moisture Sensor Network:Design & Field Evaluation, Distributed Sensor Networks, 1:2, pp 149-162 (2005)

Datta, A. and Lowe, N.H. A new technique for rendering complex portals, IEEE Transactions on Visualization and Computer Graphics, 11:1, pp 81-90 (2005)

Datta, A. A fault-tolerant protocol for energy-efficient permutation routing in Wireless networks, IEEE Transactions on Computers, 54:11, pp 1409-1421 (2005)

Filipovic, A., Datta, A. and Mcdonald, C.S. Low-latency Routing in Ad Hoc Wireless Networks using Finite Horizons, LNCS, 3759: pp 422-433 (2005)

French, T.N. Bisimulation Quantified Logics: Undecidability, Lecture Notes in Computer Science, 3821: pp 396-407 (2005)

Goff, R.W. and Datta, A. WiCTP: A token-based access control protocol for wireless networks, Lecture Notes in Computer Science (LNCS), 3480: pp 87-96 (2005)

Holden, E., Owens, R.A. and Lee, G. Australian Sign Language Recognition, Machine Vision and Applications, 16(5): pp 312-320 (2005)

Huynh, D.Q. and Heyden, A. Scene Point Constraints in Camera Auto-calibration: an implementational perspective, Image and Vision Computing Journal, 23:8, pp 747-760 (2005)

Kelso, J.K. and Milne, G.J. Properties as Processes:their Specification & Verification, LNCS 3731, 3731: pp 503-517 (2005)

Liu, W., Weichselbraun, A., Scharl, A. and Chang, E. Semi-Automatic Ontology Extension Using Spreading Activation, Journal of Universal Computer Science, 11: pp 145-153 (2005)

Liu, W., Winikoff, M. and Harland, J. Enhancing Commitment Machines, Declarative Agent Languages and Technologies II (LNAI 3476), LNAI 3476: pp 198-220 (2005)

Lowe, N.H., Datta, A. and Tran, M.T. A simple model generation system for computer graphics, Future Generation Computer Systems, 21: pp 1223-1234 (2005)

Mian, A.S., Bennamoun, M. and Owens, R.A. Automatic Correspondence for 3D Modelling: An Extensive Review, International Journal of Shape Modeling, 11:2, pp 253-291 (2005)

Milne, G.J. and Cerone, A. Property Verification of Asynchronous Systems, Innovations in Systems & Software Engineering, 1:1, pp 25-40 (2005)

Milne, G.J. and Lee, G.E. Programming Paradigms for Reconfigurable Computing, Microprocessors and Microsystems, 29:10, pp 435-450 (2005)

Pirzada, A.A. and Mcdonald, C.S. Performance Comparison of Reactive Protocols Under Attack Conditions, Int.Jnl of Wireless and Optical Comms, 2:2, pp 163-180 (2005)

Pirzada, A.A., Mcdonald, C.S. and Datta, A. Dependable Dynamic Source Routing without a Trusted Third Party, Journal of Research and Practice in IT, 38: pp 79-85 (2005)

Reynolds, M. An axiomatization of PCTL, Information and Computation, 201: pp 72-119 (2005)

Reynolds, M. Towards a CTL*Tableau, LNCS, 3821: pp 384-395 (2005)

Techapichetvani, K. and Datta, A. Interactive visualisation for OLAP, Lecture Notes in Computer Science (LNCS), 3482: pp 206-214 (2005)

Techapichetvani, K. and Datta, A. ViSAR: A new technique for visualizing mined association roles, Lecture notes in Artificial Intelligence (LNAI), 3584: pp 88-95 (2005)

Telford, M.J., Wise, M.J. and Gowrie-Shankar, V. Consideration of RNA Secondary Structure Significantly Improves Likelihood-based Estimates of Phylogeny: Examples from the Bilateria, Molecular Biology and Evolution, 22:4, pp 1129-1136 (2005)

While, R.L. A new analysis of the LebMeasure algorithm for calculating hypervolume, Lecture Notes in Computer Science, 3410: pp 326-340 (2005)

Yu, H. and Bennamoun, M. Two Novel Complete Sets of Similarity Invariants, LNCS, 3804: pp 659-665 (2005)

Yu, H. and Bennamoun, M. A Phase Correlation Approach to Active Vision, LNCS, 3691: pp 57-64 (2005)

Zhang, S. and Datta, A. A directional-antenna based MAC protocol for wireless sensor networks, Lecture Notes in Computer Science (LNCS), 3481: pp 686-695 (2005)

Conference Publications

Barone, L.C., While, R.L., Huband, S., Hingston, P., Tuppurainen, D. and Bearman, R. Designing Comminution Circuits with a Multi-Objective Evolutionary Algorithm, 2005 IEEE Congress on Evolutionary Computation, Piscataway, New Jersey, U.S.A., IEEE Press, 2: pp 1815-1822 (2005)

Bennamoun, M., El Hassouni, M. and Cherifi, H. FLOS-based technique for noise removal in images, Image and Vision Computing New Zealand, Dunedin, I & VCNZ, 1: p web (2005)

Bradstreet, L.P., Barone, L.C. and While, R.L. Map-labelling with a multi-objective evolutionary algorithm, 7th Annual Genetic & Evolutionary Computation Conference, New York, ACM, 2: pp 1937-1944 (2005)

Budiman, R., Bennamoun, M. and Huynh, D.Q. Low Cost Motion Capture, Image and Vision Computing New Zealand, Dunedin, I & VCNZ, 1: p web (2005)

Cardell-Oliver, R.M. ROPE: A Reactive, Opportunistic Protocol for Environment Monitoring Sensor Networks, 2nd IEEE Workshop on Embedded Networked Sensors, U.S.A., IEEE Press, pp 63-70 (2005)

Filipovic, A., Datta, A. and Mcdonald, C.S. Particle Positioning System for Ad-hoc Wireless Networks, 13th IEEE International Conference on Networks, New Jersey, USA, IEEE, 2: pp 1051-1056 (2005)

Holden, E., Wong, J. and Owens, R.A. An Interactive Sign Language Display System, The 8th International Conference on Signal Processing and it's Applications, Sydney, IEEE Xplorer, 1: pp 54-57 (2005)

Holden, E. and Owens, R.A. Automatic Recognition of Colloquial Australian Sign Language, IEEE Workshop on Motion and Video Computing (WACV/MOTION 05), U.S.A., The Printing House (IEEE Computer Society), 2: pp 183-188 (2005)

Kalte, H., Koester, M. and Porrmann, M. Task Placement for Heterogeneous Reconfigurable Architectures, 2005 IEEE International Conference on Field Programmable Technology, New Jersey, U.S.A., I.E.E.E., 1: pp 43-50 (2005)

Kalte, H. and Porrmann, M. Context Saving and Restoring for Multitasking in Reconfigurable Systems, 2005 International Conference on Field Programmable Logic and Applications, New Jersey, I.E.E.E., 1: pp 223-228 (2005)

Kalte, H., Lee, G., Porrmann, M. and Ruckert, U. REPLICA: A Bitstream Manipulation Filter for Module Relocation in Partial Reconfigurable Systems, Parallel & Distributed Processing Symposium, New Jersey, U.S.A., IEEE, 1: p 151b (2005)

Knispel, J.A.S. The XYZ Virtual Workspace, Virtual Reality 2005, U.S.A., IEEE, 1: pp 241-244 (2005)

Kovesi, P.D. Shapelets Correlated with Surface Normals Produce Surfaces, 10th IEEE International Conference on Computer Vision, Los Alamitos, California U.S.A., IEEE Computer Society, 2: pp 994-1001 (2005)

Liu, W. Trustworthy Service Selection and Service Composition-Reducing the Entropy of Service Oriented Web, IEEE's 3rd International Conference on Industrial Informatics, Perth, IEEE (2005)

Loh, A.M.E. and Zisserman, A. Estimating the affine transformation between textures, Digital Image Computing Techniques and Applications, Electronic, IEEE CS Press, pp 462-467 (2005)

Loh, A.M.E. and Hartley, R. Shape from non-homogeneous, non-stationary, anisotropic, perspective texture., British Machine Vision Conference, U.K., Alden Group Ltd, Osney Mead, Oxford, U.K., 1: pp 69-78 (2005)

Mian, A.S., Bennamoun, M. and Owens, R.A. 3D Recognition and Segmentation of Objects in Cluttered Scenes, IEEE Workshop on Applications of Computer Vision, Los Alamitos, California USA, IEEE Computer Society Press,USA, 1: pp 8-13 (2005)

Mian, A.S., Bennamoun, M. and Owens, R.A. Region-based Matching for Robust 3D Face Recognition, British Machine Vision Conference, United Kingdom, Alden Group Ltd, Osney Mead, Oxford, U.K., 1: pp 199-208 (2005)

Mian, A.S., Bennamoun, M. and Owens, R.A. Matching Tensors for Pose Invariant Automatic 3D Face Recognition, Advanced 3D Imaging for Safety and Security held jointly with IEEE Computer Society Conference on Computer Vision and Pa, Los Alamitos, California, USA, IEEE Computer Society Press, USA, 3: pp 20-25 (2005)

Milne, G.J. Modelling Dynamically Changing Hardware Structure, Electronic Notes in Theoretical Computer Science, www.elsevier.nl/locate/entcs, Aceto and Gordon (2005)

Pirzada, A.A., Mcdonald, C.S. and Datta, A. Reliable Link Reversal Routing for Ad-hoc Networks, IEEE Conference on Networks (ICON '05), Kuala Lumpur, IEEE Press, 1: pp 234-239 (2005)

Pirzada, A.A. and Mcdonald, C.S. Deploying Trust Gateways to Reinforce Dynamic Source Routing, 3rd International IEEE Conference on Industrial Informatics, Perth Australia, IEEE Press, 1: (2005)

Pirzada, A.A. and Mcdonald, C.S. Circumventing Sinkholes and Wormholes in Ad-hoc Wireless Networks, 2005 Int.Workshop on Wireless Ad-hoc Networks, London,England, Kings College London, 1: pp CD-Rom (2005)

Pirzada, A.A. and Mcdonald, C.S. Inherent Robustness of Reactive Routing Protocols Against Selfish Attacks, 2005 Int.Workshop on Wireless Ad-hoc Networks, London,England, Kings College London, 1: pp CD-Rom (2005)

Pirzada, A.A., Mcdonald, C.S. and Datta, A. Secure Routing with the AODV Protocol, 2005 Asia Pacific Conference on Comms., Perth,Australia, IEEE Comms Society, 1: pp 57-61 (2005)

Prior, A.F. and Haines, K.G. The Use of a Proximity Agent in a Collaborative Virtual Environment with 6 Degrees of Freedom Voxel-based Haptic Rendering, World Haptics 2005, U.S.A., IEEE Computer Society, pp 631-632 (2005)

Thomas, R.C., Karahasanovic, A. and Kennedy, G. An Investigation into Keystroke Latency Metrics as an Indicator of Programmer Performance, Seventh Australasian Computing Education Conference (ACE2005), Newcastle, Australia, Australian Computer Society Inc, in association with ACM, 42: pp 127-134 (2005)

Thorne, C.G. Using a Floating Origin to Improve Fidelity and Performance of Large, Distributed Virtual Worlds, The International Conference on Cyberworlds 2005, United States, IEEE, pp 263-270 (2005)

Thorne, C.G. Exploiting an Evolutionary Accident in Web3D Communications to Application Components, Siggraph2005 Conference on Web Graphics, in conjunction with ACM Siggraph 2005, Conference CDRom, ACM, 2: p CD (2005)

Wedge, D.J., Kovesi, P.D. and Huynh, D.Q. Trajectory Based Video Sequence Synchronization, Digital Image Computing: Techniques and Applications, Electronic Publication, I.E.E.E. Computer Society Press, p C.D. (2005)

While, R.L., Bradstreet, L.P., Barone, L.C. and Hingston, P. Heuristics for Optimising the Calculation of Hypervolume for Multi-Objective Optimisation Problems, 2005 IEEE Congress on Evolutionary Computation, Piscataway, New Jersey, U.S.A., IEEE Press, 3: pp 2225-2232 (2005)

While, R.L. and Field, A. Optimising parallel pattern-matching by source-level program transformation, Australian Computer Science Conference, Sydney, Australian Computer Society, 27: pp 239-248 (2005)

Wong, T.Y., Kovesi, P.D. and Datta, A. Towards Quantitative Measures of Image Morphing Quality, Digital Image Computing Techniques and Applications, Electronic, IEEE CS Press, p CD (2005)

Yu, H. and Bennamoun, M. Complete invariant description under usual Fourier-Mellin transform, IEEE 8th Int. Symposium on Signal Processing and Its Applications, Sydney, Australia, IEEE Press, 2: pp 815-818 (2005)

Others

Holden, E., Owens, R.A., Wong, J., Yeates, S.R., Lowe, N.H. and Strauss, J.S. The Auslan Tuition System, 1.21, http://auslantuition.csse.uwa.edu.au (2005)