School of Information Technology and Electrical Engineering Publications

Browse Results (7376 results found)

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

Page 114 of 148

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

Refine

  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
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. 295 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. 50  
Fidge, C. J. (2002) Real-Time Scheduling Theory. Technical Report 02-19, Software Verification Research Centre, School of Information Technology, The University of Queensland. 1592 1656
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. 23 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 85   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. 96  
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. 73  
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. 60   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. 50 25
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 60 7 0 Cited 1 times in Scopus1 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 158   0 Cited 1 times in Scopus1 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 50 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 52   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 53 93 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. 179 142
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. 79 95
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. 273 234
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 64 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 42 6 Cited 0 times in Scopus0 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 46   0 Cited 0 times in Scopus0 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 58 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. 49  
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 94   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. 55 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 28 1 3
Lai, Chooi-May, Yu, Meaghan J. T., Brankov, Meliha, Barnett, Nigel L., Zhou, Xiaohuai, Redmond, M. T., Narfstrom, Kristina and Rakoczy, P. Elizabeth (2004) Recombinant adeno-associated virus type 2-mediated gene delivery into the Rpe65-/- knockout mouse eye results in limited rescue. Genetic Vaccines and Therapy, 2 3: 1-15. doi:10.1186/1479-0556-2-3 89   Cited 64 times in Scopus64 0
Li, Xue and Chen, Ling (2011). Recommendations based on network analysis. In: ICACSIS 2011 - 2011 International Conference on Advanced Computer Science and Information Systems, Proceedings. 2011 International Conference on Advanced Computer Science and Information Systems, ICACSIS 2011, Jakarta, Indonesia, (9-16). 17-18 December 2011. 24   Cited 0 times in Scopus0
Hunter, Jane (2014) Recommendations for the citation and management of derived data within AURIN. , School of Information Technol and Elec Engineering. 10  
Leung, K. C., Postula, A. J. and Hemani, A. (2000). Reconfigurable architecture for base-band data processing. In: TP Plads and GM Megson, The Second International Workshop on Engineering of Reconfigurable Hardware/Software Objects: ENREGLE 2000. ENREGLE 2000, Las Vegas, (1-5). 26-27 June 2000. 67  
Razali, A. R. and Bialkowski, M. E. (2011) Reconfigurable coplanar inverted-F antenna with electronically controlled ground slot. Progress In Electromagnetics Research B, 34 63-76. doi:10.2528/PIERB11072504 11   Cited 13 times in Scopus13 0
Hu, P, Indulska, J and Robinson, R (2006). Reconfigurable middleware for sensor based applications. In: Proceedings of the 3rd International Middleware Doctoral Symposium. Middleware Doctoral Symposium MDS 2006, Melbourne, Australia, (1-6). 27 November - 1 December, 2006. 59  
Williams, John A., Dawood, Anwar S. and Visser, Stephen (2003) Reconfigurable onboard processing and real time remote sensing. IEICE Transactions on Information and Systems, E-86D 5: 819-829. 72 13 0 Cited 2 times in Scopus2
Li, Yuezhou and Abbosh, Amin (2015) Reconfigurable reflectarray antenna using single-layer radiator controlled by PIN diodes. IET Microwaves, Antennas and Propagation, 9 7: 664-671. doi:10.1049/iet-map.2014.0227 14   0 Cited 0 times in Scopus0 0
Marimuthu, J., Bialkowski, K. S. and Abbosh, A. M. (2014). Reconfigurable software defined radar for medical imaging. In: 2014 1st Australian Microwave Symposium, AMS, Melbourne, Vic, Australia, (15-16). 26-27 June 2014. doi:10.1109/AUSMS.2014.7017343 30   Cited 0 times in Scopus0 0
Chandra, Shekhar S., Svalbe, Imants D., Guedon, Jeanpierre, Kingston, Andrew M. and Normand, Nicolas (2012) Recovering missing slices of the discrete fourier transform using ghosts. IEEE Transactions on Image Processing, 21 10: 4431-4441. doi:10.1109/TIP.2012.2206033 21 73 5 Cited 4 times in Scopus4 0
Cifuentes, C. and Van Emmerik, M. J. (1999). Recovery of jump table case statements from binary code. In: Proceedings Seventh International Workshop on Program Comprehension. IWPC'99, Pittsburgh, (192-199). 5-7 May 1999. 38  
Xiao, Di, Ng, Wan S., Abeyratne, Udantha R. and Tsang, Charles B. (2002). Rectal tumor boundary detection by unifying active contour model. In: Milan Sonka and J. Michael Fitzpatrick, Medical Imaging 2002: Image Processing. Medical Imaging 2002 Conference, San Diego CA, United States, (1415-1426). 24-28 February 2002. doi:10.1117/12.467107 30   1 Cited 1 times in Scopus1 0
Xiao, Di, Ng, Wan Sing, Abeyratne, U. R., Keong, Kwoh Chee, Tsang, Charles B. and Cheon, Seow (2001). Rectal wall structure delineation and broken layer recognition by multigradient field active contour. In: Anziis 2001: Proceedings of the Seventh Australian and New Zealand Intelligent Information Systems Conference. 7th Australian and New Zealand Intelligent Information Systems Conference (ANZIIS 2001), Perth Australia, (123-127). Nov 18-21, 2001. 36   0
Xu, L., Dong, Z. Y., Liu, W.Q. and Tay, A. (2002). Recurrent neural networks for time series identification and forecast. In: L. Wang, K . Tan, T. Furuhashi, J. Kim and X. Yao, Proceedings of the Fourth Asia-Pacific Conference on Simulated Evolution and Learning. The Fourth Asia-Pacific Conference on Simulated Evolution and Learning, Singapore, (414-418). 18-22 November, 2002. 61  
Bailes, Paul (2013). Recursion patterns and their impact on programming language design. In: W. Assawinchaichote, K. Piromsopa and P.Bhattarakosol, Proceedings of the 8th IASTED International Conference on Advances in Computer Science, ACS 2013. 8th IASTED International Conference on Advances in Computer Science, ACS 2013, Phuket, Thailand, (450-459). 10 -12 April 2013. doi:10.2316/P.2013.801-023 64   Cited 0 times in Scopus0 0
Appleton, B and Talbot, H (2005) Recursive filtering of images with symmetric extension. Signal Processing, 85 8: 1546-1556. doi:10.1016/j.sigpro.2005.02.007 58 364 3 Cited 3 times in Scopus3 0
Smith, G. P. (2000). Recursive schema definitions in Object-Z. In: J. P. owen, S. Dunne, A. Galloway and S. King, Lecture notes in computer science: ZB 2000 - Formal Specification and Development in Z and B. International Conference of B and Z Users (ZB 2000), York, UK, (42-58). 29 August - 2 September 2000. 33  
Cheung, C. H., Djurisic, A. B., Kwong, C. Y., Tam, H. L., Cheah, K. W., Lui, Z. T., Chan, W. K., Chui, P. C., Chan, J. and Rakic, A. D. (2005) Reduced angular dependence of the emission from tris(8-hydroxyquinoline) aluminum based microcavity. Optics Communications, 248 1-3: 287-293. doi:10.1016/j.optcom.2004.12.006 186 543 4 Cited 4 times in Scopus4 0

Page 114 of 148

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