School of Information Technology and Electrical Engineering Publications

Browse Results (7526 results found)

Subscribe to the RSS feed for this result setSubscribe to the RSS feed for this result set

Page 116 of 151

Result Pages:    « first ‹ previous  106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125  next › last »

Refine

  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
Zhang, Jing, Wen, J. Y., Cheng, S. J. and Dong, Z. Y. (2008). Realization of the WAMS based power system aggregate load area model. In: IEEE Power and Energy Society 2008 General Meeting: Conversion and Delivery of Electrical Energy in the 21st Century, PES. IEEE Power and Energy Society 2008 General Meeting: Conversion and Delivery of Electrical Energy in the 21st Century, PES, Pittsburgh, PA, (). 20 - 24 July 2008. doi:10.1109/PES.2008.4596627 13   0 0
Hunter, Jane, Drennan, John and Little, Suzanne (2004) Realizing the Hydrogen Economy through Semantic Web Technologies. IEEE intelligent systems, 19 1: 40-47. doi:10.1109/MIS.2004.1265884 245 1004 22 Cited 27 times in Scopus27 0
Thomas, Dave (2008) Real men do javascript! programming the world in a browser. Journal of Object Technology, 7 8: 35-39. 11 1 0
Yuan, B., Orlowska, M. and Sadiq, S. (2007). Real-time acquisition of buyer behaviour data - The smart shop floor scenario. In: Bussler C., Castellanos, M., Dayal, U. and Navathe, S., Business Intelligence for the Real-Time Enterprise. 1st International Workshop on Business Intelligence for the Real-Time Enterprise (BIRTE 2006), Seoul, Korea, (106-117). 11 September, 2007. 70   0 0
Kearney, Peter, Utting, Mark and Whitwell, Keith (1994) Real time behaviour of a RISC processor: specification and computer-aided verification. SVRC Technical Report 92-10, Software Verification Research Centre, Department of Computer Science, The University of Queensland. 17 1
Quah, Jon T. S. and Sriganesh, M. (2008) Real-time credit card fraud detection using computational intelligence. Expert Systems with Applications, 35 4: 1721-1732. doi:10.1016/j.eswa.2007.08.093 92   22 Cited 44 times in Scopus44 0
Lovell, Brian C., Chen, Shaokang and Shan, Ting (2008). Real-time face detection and classification for ICCTV. In John Wang (Ed.), Encyclopedia of Data Warehousing and Mining 2nd ed. (pp. 1-19) Hershey, PA: Information Science Reference. 413 1
Mustafah, Y. M., Shan, T., Azman, A., Bigdeli, A. and Lovell, B. C. (2007). Real-time face detection and tracking for high resolution smart camera system. In: Digital Image Computing Techniques and Applications. 9th Biennial Conference of the Australian Pattern Recognition Society on Digital Image Computing Techniques and Applications (DICTA 2007), Adelaide, Australia, (387-393). 3-5 December 2007. doi:10.1109/DICTA.2007.4426823 530 2 Cited 7 times in Scopus7 0
Cendrillon, Raphael (1999). Real Time Face Recognition using Eigenfaces Bachelor of Engineering (Honours) Thesis, Department of Computer Science and Electrical Engineering, The University of Queensland. 3847 3931
Cendrillon, Raphael and Lovell, Brian C. (2000). Real-Time Face Recognition Using Eigenfaces. In: Visual Communications and Image Processing, SPIE, V 4067, Perth, (269-276). 20-23 June, 2000. doi:10.1117/12.386642 1364 1936 5 3
Chen, Y. T., Chen, Y-P. P. and Zhu, J. (2004). Real-Time Gene-Expression Extraction with Fast Classification (FC) Networks. In: Hamid R. Arabnia and Youngsong Mun, Proceedings of the International Conference on Machine Learning; Models; Technologies & Applications - MLMTA'04. International Conference on Artificial Intelligence/International Conference on Machine Learning, Models, Technologies and Applications, Las Vegas, Nevada, USA, (883-889). 21-24 June, 2004. 45  
Vignon, D. and Lovell, B. C. (2002). Real-time Hausdorff-based tracking. In: D. Suter and A. Bab-Hadiashar, DICTA2002 Proceedings. Digital Image Computing Techniques and Applications, Melbourne, (336-340). 21-22 January, 2002. 63  
Chen, Shaokang and Lovell, Brian C. (2001). Real-Time MMX-Accelerated Image Stabilization System. In: IVCNZ2001, Dunedin, New Zealand, (163-168). 26-28 November, 2001. 971 566
Chen, S. and Lovell, B. C. (2001). Real-time MMX-accelerated image stabilization system. In: K. Novins, B. McCane and S. Ming-Wong, Proceedings: Image and Vision Computing New Zealand 2001. Image and Vision Computing 2001, Dunedin, New Zealand, (163-168). 26-28 November, 2001. 136  
Sharma, R., Dennis, P., Manzie, C., Nesic, D. and Brear, M. J. (2011). Real time model predictive idle speed control of ultra-lean burn engines: Experimental results. In: Proceedings of the 18th World Congress of the International Federation of Automatic Control. 18th World Congress of the International Federation of Automatic Control (IFAC), Milan, Italy, (13004-13009). 28 August - 2 September 2011. 91 6
Wedde, H. F., Lehnhofe, S., Handschin, E. and Krause, O. (2006). Real-time multi-agent support for decentralized management of electric power. In: Proceedings - Euromicro Conference on Real-Time Systems. Euromicro Conference on Real-Time Systems (ECRTS 06), Dresden, Germany, (43-51). 5-7 July 2006. doi:10.1109/ECRTS.2006.22 57   2 Cited 4 times in Scopus4 0
Shen, Heng Tao, Huang, Zi and Zhou, Xiaofang (2009). Real-Time near duplicate video clip detection method. 12/180037. 117  
Taylor, Zeike, Cheng, Mario and Ourselin, Sébastien (2007). Real-time nonlinear finite element analysis for surgical simulation using graphics processing units. In: Nicholas Ayache, Sebastien Ourselin and Anthony Maeder, Medical Image Computing & Computer-Assisted Intervention Conference 2007. MICCAI 2007: 10th International Conference on Medical Image Computing and Computer Assisted Intervention, Brisbane, Australia, (701-708). 29 Oct - 2 November 2007. 107  
Hayes, I. J. (2000). Real-time program refinement using auxiliary variables. In: M. Joseph, Proceedings 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: FTRTFT 2000. Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International Symposium, Pune, India, (170-184). 20-22 September 2000. 40   7
Wilson, Simon, Lovell, Brian C., Chang, Anne and Masters, Brent (2005). Real-Time Quantitative Bronchoscopy. In: B. C. Lovell, A. J. Maeder, T. Caelli and S. Ourselin, Proceedings of the Digital Imaging Computer: Techniques and Applications (DICTA 2005). Digital Image Computing: Techniques and Applications (DICTA 2005), Cairns, Australia, (349-356). 6-8 December, 2005. 297 307
Champion, E. M. (2005). Real Time Rendering Engines for Interactive Learning. In: Ian MacColl, Apple University Consortium Academic & Developers Conference. Apple University Consortium Academic & Developers Conference - Evolution:Universities, students and technology, Wrest Point Casino, Hobart, Tasmania, (46-58). 25-28 September 2005. 52  
Fidge, C. J. (2002) Real-Time Scheduling Theory. Technical Report 02-19, Software Verification Research Centre, School of Information Technology, The University of Queensland. 1594 1669
Fidge, C. J., Hayes, I. J., Mahony, B. and Wabenhorst, A. K. (1999). Real-time specification and reasoning using maximal intervals. In: W. C. H. Cheng and A. S. M. Sajeev, 6th Australasian Conference on Parallel and Real-Time Systems. PART '99, Melbourne, Australia, (344-354). 29 Nov - 1 Dec 1999. 27  
Fidge, C. J., Hayes, I. J., Mahony, B. P. and Wabenhorst, A. K. (1999) Real-time specification and reasoning using maximal intervals. SVRC Technical Report 99-29, Software Verification Research Centre, School of Information Technology, The University of Queensland. 24 1
Taylor, Zeike A., Crozier, Stuart and Ourselin, Sebastien (2010). Real-time surgical simulation using reduced order finite element analysis. In: Tianzi Jiang, Nassir Navab, Josien P.W. Pluim and Max A. Viergever, Proceedings, Part 2. 13th International Conference on Medical Image Computing and Computer-Assisted Intervention. 13th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2010, Beijing, China, (388-395). 20-24 September 2010. doi:10.1007/978-3-642-15745-5_48 86   2 Cited 1 times in Scopus1 0
Liu, N. and Lovell, B. C. (2002). Real-time two hands tracking system. In: Proceedings of the 2002 International Technical Conference on Circuits, Systems, Computers and Communications. The 2002 International Technical Conference on Circuits, Systems, Computers and Communications, Phuket, Thailand, (1491-1494). 16-19 July, 2002. 98  
Li, X., He, W., Dong, Z. Y., Verma, B., Yu, K., Koh, T. C. and Ng, C. W. (2003). Real time web vehicle classifier. In: T. Wysocki and B. Wysocki, Proceedings of the Seventh International Symposium on Digitial Processing and Communication Systems. The Seventh International Symposium on Digitial Processing and Communication Systems, The Gold Coast, (428-434). 8-11 December, 2003. 74  
Gallagher, M., Frean, M. and Downs, T. (1999). Real-valued evolutionary optimization using a flexible probability density estimator. In: W. Banzhaf, J.. Daida, A. E. Eiben, M. H. Garzon, V. Honavar, M. Jakiela and R. E. Smith, Proceedings of the Genetic and Evolutionary Computation Conference. GECCO-99, Orlando, Florida, (840-846). 13-17 July, 1999. 61   8
Christian Rehtanz, Edmund Handschin, Horst F. Wedde, Olav Krause and Sebastian Lehnhoff (2007). Realzeit Netzüberwachung auf Basis hochdimensionaler Körper. In: Internationaler ETG-Kongress 2007. VDE-ETG-Kongress 2007, Karlsruhe, Germany, (167-172). 23-24 October 2007. 55 27
Smith, Graeme, Sanders, J. W. and Winter, Kirsten (2012). Reasoning about adaptivity of agents and multi-agent systems. In: CESAMES, Seventeenth IEEE International Conference on Engineering of Complex Computer Systems. IEEE Intenational Conference on Engineering of Complex Computer Systems, Paris, France, (341-350). 18-20 July 2012. doi:10.1109/ICECCS.2012.32 62 7 0 Cited 2 times in Scopus2 0
Peuker, S. and Hayes, I. J. (2003). Reasoning about deadlines in concurrent real-time programs. In: M. Charpentier and B. Sanders, Proceedings of the International Parallel and Distributed Processing Symposium 2003. International Parallel and Distributed Processing Symposium 2003, Nice, France, (1-8). 22-26 April 2003. 31  
Dongol, Brijesh, Hayes, Ian J. and Robinson, Peter J. (2014) Reasoning about goal-directed real-time teleo-reactive programs. Formal Aspects of Computing, 26 3: 563-589. doi:10.1007/s00165-012-0272-1 165   0 Cited 2 times in Scopus2 0
Dunne, Steve E., Hayes, Ian J. and Galloway, Andy J. (2010). Reasoning about loops in total and general correctness. In: Andrew Butterfield, UTP 2008: Revised Selected Papers. Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, (62-81). 8-10 September, 2008. doi:10.1007/978-3-642-14521-6_5 51 1 4 Cited 3 times in Scopus3 0
Hayes, I. J. (2000). Reasoning about non-terminating loops using deadline commands. In: R. Backhouse and J. N. Oliveira, Lecture notes in computer science: 5th International Conference on Mathematics of Program Construction: MPC 2000. MPC 2000, Ponte de Lima, Portugal, (60-79). 3-5 July 2000. doi:10.1007/10722010_5 21   4 0
Li, Yan Fang, Dobbie, Gillian, Wang, Hai H. and Sun, Jun (2006) Reasoning about ORA-SS data models using the semantic web. Journal on Data Semantics VII, Lecture Notes in Computer Science 4244, 4244 219-241. doi:10.1007/11890591 54   1 Cited 1 times in Scopus1 0
Hayes, I. J. (2000). Reasoning about real-time programs using idle-invariant assertions. In: Proceedings of IEEE: 7th Asia-Pacific Software Engineering Conference (APSEC 2000). APSEC 2000, Singapore, (16-23). 5-8 December 2000. doi:10.1109/APSEC.2000.896678 37   0 0
Hayes, Ian (2002) Reasoning about real-time repetitions: terminating and nonterminating. Science of Computer Programming, 43 2-3: 161-192. doi:10.1016/S0167-6423(02)00024-2 54 95 13 Cited 14 times in Scopus14 0
Dongol, Brijesh, Hayes, Ian J. and Robinson, Peter J. (2009) Reasoning about real-time teleo-reactive programs. Technical Report SSE-2010-01, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland. 181 156
Dongol, Brijesh and Hayes, Ian J. (2011) Reasoning about teleo-reactive programs under parallel composition. Technical Report SSE 2011-01, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland. 80 98
Hayes, I. J. (2002). Reasoning about timeouts. In: E. Boiten and B. Moller, Mathematics of Program Construction. Sixth International Conference, MPC 2002, Dagstuhl, Germany, (21-40). 8-10 July, 2002. doi:10.1007/3-540-45442-X_7 46   0 0
Hayes, Ian J. and Meinicke, Larissa (2006) Reasoning Algebraically about Probabilistic Loops. Technical Report SSE-2006-02, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland. 278 235
Meinicke, Larissa and Hayes, Ian J. (2006). Reasoning algebraically about probabilistic loops. In: Z. Liu and J. He, 8th International Conference on Formal Engineering Methods, Macua, PR China, (380-399). 1-3 November, 2006. doi:10.1007/11901433 65 2 3 Cited 1 times in Scopus1 0
Dongol, Brijesh, Derrick, John and Smith, Graeme (2014). Reasoning algebraically about refinement on TSO architectures. In: Gabriel Ciobanu and Dominique Méry, Theoretical Aspects of Computing – ICTAC 2014. International Colloquium on Theoretical Aspects of Computing, Bucharest, Romania, (151-168). 17-19 September 2014. doi:10.1007/978-3-319-10882-7_10 46 6 0 0
Yu, Chih-hao, Groza, Tudor and Hunter, Jane (2013). Reasoning on crowd-sourced semantic annotations to facilitate cataloguing of 3D artefacts in the cultural heritage domain. In: Harith Alani, Lalana Kagal, Achille Fokoue, Paul Groth, Chris Biemann, Josiane Xavier Parreira, Lora Aroyo, Natasha Noy, ChrisWelty and Krzysztof Janowicz, The Semantic Web: ISWC 2013. 12th International Semantic Web Conference 2013. Proceedings, Part II. ISWC 2013: The 12th International Semantic Web Conference, Sydney, NSW, Australia, (228-243). 21-25 October, 2013. doi:10.1007/978-3-642-41338-4_15 47   0 0 0
Wiles, Janet (2011) Reasoning, robots, and navigation: Dual roles for deductive and abductive reasoning. Behavioral and Brain Sciences, 34 2: 92-92. doi:10.1017/S0140525X10002955 59 29 0 Cited 1 times in Scopus1 0
Zhou, Xiaofang and Köhler, Henning (2010). Rebuilding the world from views. In: Lei Chen, Changjie Tang, Jun Yang and Yunjun Gao, The 11th International Conference on Web-Age Information Management, WAIM 2010, Jiuzhaigou, China, (2-2). 15-17 July 2010. 50  
Hui, H. T., Low, H. P., Zhang, T. T. and Lu, Y. L. (2006) Receiving mutual impedance between two normal-mode helical antennas (NMHAs). IEEE Antennas and Propagation Magazine, 48 4: 92-96. doi:10.1109/MAP.2006.1715238 99   25 Cited 29 times in Scopus29 0
Ding, Y. H., Li, X and Orlowska, M E (2006). Recency-based collaborative filtering. In: G. Dobbie and J. Bailey, Proceedings of 17th Australasian Database Conference (ADC2006). 17th Australasian Database Conference (ADC2006), Tasmania, Australia, (99-107). 16-19 January 2006. 63 2
Recent Advances in Artifical Life (2005) . Edited by Hussein A. Abbass, Terry R. J. Bossomaier and Janet Wiles. The Second Australian Conference on Artificial Life, 5-8 December 2005, Sydney, Australia. 46  
Groza, Tudor, Hassanzadeh, Hamed and Hunter, Jane (2013) Recognizing scientific artifacts in biomedical literature. Biomedical Informatics Insights, 6 15-27. doi:10.4137/BII.S11572 29 1 2

Page 116 of 151

Result Pages:    « first ‹ previous  106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125  next › last »