City Research Online

Article

Alvino, C. V., Unal, G. B., Slabaugh, G. G., Peny, B. and Fang, T. (2007). Efficient segmentation based on Eikonal and diffusion equations. International Journal of Computer Mathematics, 84(9), pp. 1309-1324. doi: 10.1080/00207160701324249

Garcez, A., Gabbay, D. M., Ray, O. and Woods, J. (2007). Abductive reasoning in neural-symbolic learning systems. Topoi: An International Review of Philosophy, 26(1), pp. 37-49. doi: 10.1007/s11245-006-9005-5

Garcez, A., Lamb, L. C. and Gabbay, D. M. (2007). Connectionist modal logic: Representing modalities in neural networks. Theoretical Computer Science, 371(1-2), pp. 34-53. doi: 10.1016/j.tcs.2006.10.023

Hunt, S., Clark, D. and Malacaria, P. (2007). A static analysis for quantifying information flow in a simple imperative language. Journal of Computer Security, 15(3), pp. 321-371.

Kloukinas, C. and Spanoudakis, G. (2007). A pattern-driven framework for monitoring security and dependability. Lecture Notes in Computer Science: Trust, Privacy and Security in Digital Business, 4657, pp. 210-218. doi: 10.1007/978-3-540-74409-2_23

Kotti, M, Benetos, E., Kotropoulos, C. and Pitas, I (2007). A neural network approach to audio-assisted movie dialogue detection. Neurocomputing, 71(1-3), pp. 157-166. doi: 10.1016/j.neucom.2007.08.006

Lobachova, K. I. and Kharchenko, V. S. (2007). Assessing Software Vulnerabilities and Recovery Time Using Open Resources: Elements Of Technique And Results. Radioelectronic and Computer Systems, 8(27), pp. 61-65.

Ng, K.-C., Weyde, T., Larkin, O., Neubarth, K., Koerselman, T. and Ong, B. (2007). 3d augmented mirror: a multimodal interface for string instrument learning and teaching with gesture support. ICMI '07 Proceedings of the 9th international conference on Multimodal interfaces, pp. 339-345. doi: 10.1145/1322192.1322252

Robinson, L. and Bawden, D. (2007). Evaluation of outreach services for primary care and mental health; assessing the impact. Health Information and Libraries Journal, 24(1), pp. 57-66. doi: 10.1111/j.1471-1842.2007.00745.x

Robinson, L. and Bawden, D. (2007). Measuring the impact of healthcare information services. Lithuanian Journal of Information Sciences, 40, pp. 95-103.

Slabaugh, G. G., Kong, K., Unal, G. B. and Fang, T. (2007). Variational guidewire tracking using phase congruency. Lecture Notes in Computer Science, 4792(2), pp. 612-619. doi: 10.1007/978-3-540-75759-7_74

Unal, G. B., Yezzi, A. J., Soatto, S. and Slabaugh, G. G. (2007). A Variational Approach to Problems in Calibration of Multiple Cameras.. IEEE Transactions on Pattern Analysis and Machine Intelligence, 29(8), pp. 1322-1338. doi: 10.1109/TPAMI.2007.1035

Book Section

Slabaugh, G. G., Dinh, Q. and Unal, G. B. (2007). A Variational Approach to the Evolution of Radial Basis Functions for Image Segmentation. In: IEEE Conference on Computer Vision and Pattern Recognition, 2007 (CVPR '07). (pp. 1-8). IEEE. ISBN 1424411793

Wang, Z., Slabaugh, G. G., Unal, G. B. and Fang, T. (2007). Registration of Ultrasound Images Using an Information-Theoretic Feature Detector. In: 4th IEEE International Symposium on Biomedical Imaging: From Nano to Macro, 2007. ISBI 2007. (pp. 736-739). IEEE. ISBN 1-4244-0672-2

Wang, Z., Slabaugh, G. G., Unal, G. B. and Zhou, M. (2007). An information-theoretic detector based scheme for registration of speckled medical images. In: IEEE International Conference on Systems, Man and Cybernetics, 2007. ISIC. (pp. 1026-1030). IEEE.

Conference or Workshop Item

Benetos, E., Kotti, M. and Kotropoulos, C. (2007). Large scale musical instrument identification. Paper presented at the 4th Sound and Music Computing Conference, 11 - 13 Jul 2007, Lefkada, Greece.

Child, C. H. T., Stathis, K. and Garcez, A. (2007). Learning to Act with RVRL Agents. Paper presented at the 14th RCRA Workshop, Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Jul 2007, Rome, Italy.

Kotti, M., Benetos, E. and Kotropoulos, C. (2007). Neural network-based movie dialogue detection. Paper presented at the EANN 2007: 10th International Conference on Engineering Applications of Neural Networks, 29 - 31 Aug 2007, Thessaloniki, Greece.

Mitrokotsa, A., Komninos, N. and Douligeris, C. (2007). Towards an effective intrusion response engine combined with intrusion detection in ad hoc networks. Paper presented at the The Sixth Annual Mediterranean Ad Hoc Networking WorkShop, 12th - 15th June 2007, Corfu, Greece.

Moschou, V., Kotti, M., Benetos, E. and Kotropoulos, C. (2007). Systematic comparison of BIC-based speaker segmentation systems. Paper presented at the IEEE 9Th International Workshop on Multimedia Signal Processing, 1 - 3 October 2007, Crete, Greece.

Slabaugh, G. G., Dinh, H. Q. and Unal, G. B. (2007). A Variational Approach to the Evolution of Radial Basis Functions for Image Segmentation. Paper presented at the IEEE Conference on Computer Vision and Pattern Recognition, 2007, 17-06-2007 - 22-07-2007, Minneapolis, USA.

Slabaugh, G. G., Kong, K., Unal, G. B. and Fang, T. (2007). Variational Guidewire Tracking Using Phase Congruency. Paper presented at the 10th International Conference on Medical Image Computing and Computer-Assisted Intervention - MICCAI 2007, 29-10-2007 - 02-11-2007, Brisbane, Australia.

Wang, Z., Slabaugh, G. G., Unal, G. B. and Fang, T. (2007). Registration of Ultrasound Images Using an Information-Theoretic Feature Detector. Paper presented at the The Fourth IEEE International Symposium on Biomedical Imaging (ISBI ’07), 12-04-2007 - 15-04-2007, Washingon D.C., USA.

Wang, Z., Slabaugh, G. G., Unal, G. B., Zhou, M. and Fang, T. (2007). An information-theoretic detector based scheme for registration of speckled medical images. Paper presented at the IEEE International Conference on Systems, Man and Cybernetics, 2007, 07-10-2007 - 10-10-2007, Montreal, Canada.

Weyde, T. (2007). Automatic Semantic Annotation of Music with Harmonic Structure. Paper presented at the 4th Sound and Music Computing Conference, 11 - 13 Jul 2007, Lefkada, Greece.

Weyde, T., Ng, K., Neubarth, K., Larkin, O., Koerselman, T. and Ong, B. (2007). A Systemic Approach to Music Performance Learning with Multimodal Technology. Paper presented at the Support E-Learning Conference, 2007, Quebec City, Canada.

Zisman, A. (2007). A Static Verification Framework for Secure Peer-to-Peer Applications. Paper presented at the Internet and Web Applications and Services, 2007. ICIW '07. Second International Conference on, 13 - 19 May 2007, Mauritius.

Thesis

Gray, H.F. (2007). Evolutionary computing techniques to aid the acquisition and analysis of nuclear magnetic resonance data. (Unpublished Doctoral thesis, City University London)