Computer Science

  • Postal address

    United Kingdom

Filter
Conference contribution

Search results

  • 2010

    Statistical Measurement of Information Leakage

    Chatzikokolakis, K., Chothia, T. & Guha, A., 1 Jan 2010, Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings. Esparza, J. & Majumdar, R. (eds.). Springer, p. 390-404 15 p. (Lecture Notes in Computer Science; vol. 6015).

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

    56 Citations (Scopus)

  • Symbolic Domain Decomposition

    Carette, J., Sexton, A., Sorge, V. & Watt, S., 1 Jan 2010, Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings. Autexier, S., Calmet, J., Delahaye, D., Ion, PDF., Rideau, L., Rioboo, R. & Sexton, AP. (eds.). Springer, p. 172-188 17 p. (Lecture Notes in Computer Science; vol. 6167).

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

    3 Citations (Scopus)

  • Tablaction: collaborative brainstorming system with stylus-fingertip interactions on tablet PCs

    Kim, H., Kwak, K., Jung, J., Myung, I. & Hahn, M., 2010, VRCAI '10: Proceedings of the 9th ACM SIGGRAPH Conference on Virtual-Reality Continuum and its Applications in Industry. Association for Computing Machinery (ACM)

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

  • Taverna, reloaded

    Missier, P., Soiland-Reyes, S., Owen, S., Tan, W., Nenadic, A., Dunlop, I., Williams, A., Oinn, T. & Goble, C., 2010, Scientific and Statistical Database Management - 22nd International Conference, SSDBM 2010, Proceedings. p. 471-481 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6187 LNCS).

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

  • The Benefit of Migration in Parallel Evolutionary Algorithms

    Lässig, J., Sudholt, D., Pelikan, M. & Branke, J., 11 Jul 2010, Proceedings of the 12th annual conference on Genetic and evolutionary computation. p. 1105-1112 8 p.

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

    25 Citations (Scopus)

  • The effectiveness of a new negative correlation learning algorithm for classification ensembles

    Wang, S. & Yao, X., 2010, Proceedings - 10th IEEE International Conference on Data Mining Workshops, ICDMW 2010. p. 1013-1020 8 p. 5693406. (Proceedings - IEEE International Conference on Data Mining, ICDM).

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

    8 Citations (Scopus)

  • The evolution of myExperiment

    De Roure, D., Goble, C., Aleksejevs, S., Bechhofer, S., Bhagat, J., Cruickshank, D., Fisher, P., Kollara, N., Michaelides, D., Missier, P., Newman, D., Ramsden, M., Roos, M., Wolstencroft, K., Zaluska, E. & Zhao, J., 2010, Proceedings - 2010 6th IEEE International Conference on e-Science, eScience 2010. p. 153-160 8 p. 5693912. (Proceedings - 2010 6th IEEE International Conference on e-Science, eScience 2010).

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

  • Translational research and context in health monitoring systems

    Wan, J., 2010, CISIS 2010 - The 4th International Conference on Complex, Intelligent and Software Intensive Systems.

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

  • Understanding collaborative studies through interoperable workflow provenance

    Altintas, I., Anand, M. K., Crawl, D., Bowers, S., Belloum, A., Missier, P., Ludäscher, B., Goble, C. A. & Sloot, P. M. A., 2010, Provenance and Annotation of Data and Processes - Third International Provenance and Annotation Workshop, IPAW 2010, Revised Selected Papers. p. 42-58 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6378 LNCS).

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

    Open Access

  • Very High Accuracy and Fast Dependency Parsing is not a Contradiction

    Bohnet, B., 23 Aug 2010, International Conference on Computational Linguistics. Tsinghua University Press, p. 89-97 9 p.

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

    272 Citations (Scopus)
  • 2009

    A CCG-based System for Valence Shifting for Sentiment Analysis

    Simančík, F. & Lee, M., 2009, Advances in Computational Linguistics, Proceedings of CICLing 2009, Research in Computing Science. Vol. 41.

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

  • Activity time collection and analysis through temporal reasoning

    Ibrahim, A. & Choi, H-J., 2009, 2009 11th International Conference on Advanced Communication Technology. IEEE Xplore, Vol. 1. p. 579-584 6 p.

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

    3 Citations (Scopus)

  • A Linear Grammar Approach to Mathematical Formula Recognition from PDF

    Baker, J., Sexton, A. & Sorge, V., 6 Jul 2009, Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings. Carette, J., Dixon, L., Sacerdoti Coen, C. & Watt, SM. (eds.). Springer, p. 201-216 16 p. (Lecture Notes in Computer Science; vol. 5625).

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

    22 Citations (Scopus)

  • Analyzing and Detecting Malicious Flash Advertisements

    Ford, S., Cova, M., Kruegel, C. & Vigna, G., 2009, Proceeding ACSAC '09: Proceedings of the 2009 Annual Computer Security Applications Conference.

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

    51 Citations (Scopus)

  • An Analysis Framework for Near Infrared Spectroscopy Based Brain-Computer Interface and Prospective Application to Robotic Surgery

    Caproni, M., Orihuela-Espina, F., James, D. R. C., Menciassi, A., Dario, P., Darzi, A. W. & Yang, G-Z., Oct 2009, IEEE/RSJ International Conference on Intelligent RObots and Systems (IROS). IEEE, p. 2143 2148 p. (2009 Ieee-Rsj International Conference on Intelligent Robots and Systems).

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

  • A novel algorithm for non-dominated hypervolume-based multiobjective optimization

    Li, K., Zheng, J., Li, M., Zhou, C. & Lv, H., 2009, Proceedings 2009 IEEE International Conference on Systems, Man and Cybernetics, SMC 2009. p. 5220-5226 7 p. 5345983. (Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics).

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

    13 Citations (Scopus)

  • An spanning tree based method for pruning non-dominated solutions in multi-objective optimization problems

    Li, M., Zheng, J., Li, K., Wu, J. & Xiao, G., 2009, Proceedings 2009 IEEE International Conference on Systems, Man and Cybernetics, SMC 2009. p. 4882-4887 6 p. 5346322. (Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics).

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

    2 Citations (Scopus)

  • A quantitative model for user preferences based on qualitative specifications

    Mukhtar, H., Belaïd, D. & Bernard, G., 2009, ICPS'09 - Proceedings of the 2009 International Conference on Pervasive Services and Co-located Workshops. p. 179-188 10 p. (ICPS'09 - Proceedings of the 2009 International Conference on Pervasive Services and Co-located Workshops).

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

    9 Citations (Scopus)

  • Attacks on the DECT Authentication Mechanisms

    Lucks, S., Schuler, A., Tews, E., Weinmann, R-P. & Wenzel, M., 2009, Topics in Cryptology - CT-RSA 2009, The Cryptographers' Track at the RSA Conference 2009, San Francisco, CA, USA, April 20-24, 2009. Proceedings. Fischlin, M. (ed.). Springer, Vol. 5473. p. 48-65 18 p. (Lecture Notes in Computer Science).

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

    14 Citations (Scopus)

  • Bi-objective Optimization for the Vehicle Routing Problem with Time Windows: Using Route Similarity to Enhance Performance

    Garcia-Najera, A. & Bullinaria, J., 1 Jan 2009, Evolutionary Multi-Criterion Optimization: 5th International Conference, EMO 2009, Nantes, France, April 7-10, 2009. Proceedings. Springer, Vol. 5467. p. 275-289 15 p. (Lecture Notes in Computer Science; vol. 5467).

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

    11 Citations (Scopus)

  • Building scientific workflow with taverna and BPEL: A comparative study in cagrid

    Tan, W., Missier, P., Madduri, R. & Foster, I., 2009, Service-Oriented Computing - ICSOC 2008 Workshops - ICSOC 2008 International Workshops, Revised Selected Papers. p. 118-129 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5472 LNCS).

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

    Open Access

  • Combining DHTs and SONs for semantic-based service discovery

    Pirró, G., Missier, P., Trunfio, P., Talia, D., Falace, G. & Goble, C., 2009, ISDA 2009 - 9th International Conference on Intelligent Systems Design and Applications. p. 902-907 6 p. 5364095. (ISDA 2009 - 9th International Conference on Intelligent Systems Design and Applications).

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

  • Dynamic Component Selection for SCA Applications

    Belaïd, D., Mukhtar, H., Ozanne, A. & Tata, S., 2009, Software Services for e-Business and e-Society - 9th IFIP WG 6.1 Conference on e-Business, e-Services and e-Society, I3E 2009, Proceedings. p. 272-286 15 p. (IFIP Advances in Information and Communication Technology; vol. 305).

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

    Open Access
    1 Citation (Scopus)

  • Dynamic evolutionary optimisation: an analysis of frequency and magnitude of change

    Rohlfshagen, P., Lehre, P. & Yao, X., 12 Jul 2009, Proceedings of the 11th Annual conference on Genetic and evolutionary computation. p. 1713-1720 8 p.

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

    50 Citations (Scopus)

  • Hard and easy components of collision search in the Źemor-tillich hash function: New attacks and reduced variants with equivalent security

    Petit, C., Quisquater, J. J., Tillich, J. P. & Źemor, G., 2009, Topics in Cryptology - CT-RSA 2009 - The Cryptographers' Track at the RSA Conference 2009, Proceedings. Springer Verlag, p. 182-194 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5473).

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

  • Human factors models of mini Unmanned Aerial Systems in Network-Enabled capability

    Baber, C., Grandt, M. & Houghton, R. J., 1 Dec 2009, Contemporary Ergonomics 2009. p. 282-290 9 p. (Contemporary Ergonomics 2009).

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

    2 Citations (Scopus)

  • Image-driven cardiac left ventricle segmentation for the evaluation of multiview fused real-time 3-dimensional echocardiography images

    Rajpoot, K., Noble, J. A., Grau, V., Szmigielski, C. & Becher, H., 2009, Medical Image Computing and Computer-Assisted Intervention - MICCAI2009 - 12th International Conference, Proceedings. PART 2 ed. p. 893-900 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5762 LNCS, no. PART 2).

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

    Open Access

  • Indifferentiability characterization of hash functions and optimal bounds of popular domain extensions

    Bhattacharyya, R., Mandal, A. & Nandi, M., 2009, Progress in Cryptology - INDOCRYPT 2009 - 10th International Conference on Cryptology in India, Proceedings. p. 199-218 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5922 LNCS).

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

    12 Citations (Scopus)

  • Intelligent context' for personalised M-Learning

    Wan, J., 2009, Proceedings of the International Conference on Complex, Intelligent and Software Intensive Systems, CISIS 2009.

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

  • Laser-based navigation enhanced with 3D time-of-flight data

    Yuan, F., Swadzba, A., Philippsen, A., Engin, O., Hanheide, M. & Wachsmuth, S., 1 May 2009, IEEE International Conference on Robotics and Automation, 2009. ICRA '09.. p. 2844-2850 7 p.

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

    30 Citations (Scopus)

  • Local-phase based 3d boundary detection using monogenic signal and its application to real-time 3-d echocardiography images

    Rajpoot, K., Vicente, V. V. & Noble, J. A., 2009, Proceedings - 2009 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, ISBI 2009. p. 783-786 4 p. 5193166. (Proceedings - 2009 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, ISBI 2009).

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

  • Medical image processing workflow support on the EGEE grid with taverna

    Maheshwari, K., Goble, C., Missier, P. & Montagnat, J., 2009, 2009 22nd IEEE International Symposium on Computer-Based Medical Systems, CBMS 2009. 5255332. (Proceedings - IEEE Symposium on Computer-Based Medical Systems).

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

  • Mixed-initiative in human augmented mapping

    Peltason, J., Siepmann, FHK., Spexard, TP., Wrede, B., Hanheide, M. & Topp, EA., 1 Jan 2009, IEEE International Conference on Robotics and Automation, 2009. ICRA '09. . Institute of Electrical and Electronics Engineers (IEEE), p. 2146-2153 8 p.

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

    22 Citations (Scopus)

  • Modeling, estimating and predicting the packet-level Bit Error Rate process in IEEE 802.15.4 LR-WPANs using Hidden Markov Models

    Ilyas, M. U. & Radha, H., 2 Jun 2009, 2009 43rd Annual Conference on Information Sciences and Systems. IEEE, p. 241-246 6 p. 5054724. (Annual Conference on Information Sciences and Systems).

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

  • Multiview RT3D echocardiography image fusion

    Rajpoot, K., Noble, J. A., Grau, V., Szmigielski, C. & Becher, H., 2009, Functional Imaging and Modeling of the Heart - 5th International Conference, FIMH 2009, Proceedings. p. 134-143 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5528).

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

  • Native MPSoC Co-Simulation Environment for Software Performance Estimation.

    Gerin, P., Hamayun, M. M. & Petrot, F., 2009, 7th IEEE/ACM International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2009, Grenoble, France. p. 403-412 10 p.

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

    21 Citations (Scopus)

  • Neuroevolution of Auto-Teaching Architectures

    Robinson, E. & Bullinaria, J., 1 Apr 2009, Connectionist models of behaviour and cognition II: Proceedings of the 11th Neural Computation and Psychology Workshop, University of Oxford, UK, 16-18 July 2008. Mayor, J., Ruh, N. & Plunkett, K. (eds.). World Scientific, p. 361-372 12 p. (Progress in neural processing; vol. 18).

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

  • Reducing packet losses in networks of commodity IEEE 802.15.4 sensor motes using cooperative communication and diversity combination

    Ilyas, M. U., Kim, M. & Radha, H., 2009, Proceedings - IEEE INFOCOM.

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

  • Reporting location and environmental features when using metal detector or probe in a simplified mine detection task

    Houghton, R. J., Baber, C. & Knight, J. F., 1 Dec 2009, Contemporary Ergonomics 2009. p. 255-262 8 p. (Contemporary Ergonomics 2009).

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

  • Self-sensing, self-healing and crack-arrestor composites

    Harris, D., Mahendran, R. S., Brooks, D., Al-Khodairi, F. A. A., Machavaram, V. R., Reynolds, P., Wang, L., Pandita, S. D., Paget, M., Wedderburn, J., Malik, S. A., Ojo, S. O., Kukureka, S. N. & Fernando, G. F., 15 Jun 2009, Smart Sensor Phenomena, Technology, Networks, and Systems 2009. 72930P. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 7293).

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

    4 Citations (Scopus)

  • Service composition based on functional and non-functional descriptions in SCA

    Belaid, D., Mukhtar, H. & Ozanne, A., 2009, Joint Proceedings of the 4th International Workshop on Technologies for Context-Aware Business Process Management, TCoB 2009. AT4WS 2009. AER 2009. MDMD 2009. In Conjunction with ICEIS 2009.. p. 52-61 10 p. (Joint Proceedings of the 4th International Workshop on Technologies for Context-Aware Business Process Management, TCoB 2009. AT4WS 2009. AER 2009. MDMD 2009. In Conjunction with ICEIS 2009.).

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

    1 Citation (Scopus)

  • Session continuity and splitting of multimedia applications using qualitative user preferences

    Mukhtar, H., Belaïd, D. & Bernard, G., 2009, Proceedings of the 6th International Conference on Mobile Technology, Application and Systems, Mobility '09. (Proceedings of the 6th International Conference on Mobile Technology, Application and Systems, Mobility '09).

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

    1 Citation (Scopus)

  • Theoretical Analysis of Fitness-proportional Selection: Landscapes and Efficiency

    Neumann, F., Oliveto, P. & Witt, C., 12 Jul 2009, Proceedings of the 11th Annual conference on Genetic and evolutionary computation. p. 835-842 8 p.

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

    53 Citations (Scopus)

  • Theory and Practice of Higher-type Computation (Tutorial)

    Escardó, M., Nov 2009, Proceedings of the 6th International Conference on Computability and Complexity in Analysis, CCA 2009. Bauer, A., Hertling, P. & Ko, K-I. (eds.). Schloss Dagstuhl, p. 21 1 p. (OpenAccess Series in Informatics; vol. 11).

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

    1 Citation (Scopus)

  • The use of narrative in the prototyping of serious games for criminal investigation

    Andrews, D. & Baber, C., 1 Dec 2009, CGAT 09 - Computer Games, Multimedia and Allied Technology 09 - International Conference and Industry Symposium on Computer Games Animation, Multimedia, IPTV, Edutainment and IT Security. p. 231-238 8 p. (CGAT 09 - Computer Games, Multimedia and Allied Technology 09 - International Conference and Industry Symposium on Computer Games Animation, Multimedia, IPTV, Edutainment and IT Security).

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

  • Time-completeness trade-offs in record linkage using adaptive query processing

    Lengu, R., Missier, P., Fernandes, A. A. A., Guerrini, G. & Mesiti, M., 2009, Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology, EDBT'09. p. 851-861 11 p. (Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology, EDBT'09).

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

    Open Access

  • Under my Pillow – Designing Security for Children’s Special Things

    Read, J., Mazzone, E., Beale, R. & Blackwell, AF., 1 Sept 2009, People and Computers XXIII Celebrating People and Technology: Proceedings of HCI 2009. British Computer Society, p. 288-292 5 p.

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

    9 Citations (Scopus)

  • User preferences-based automatic device selection for multimedia user tasks in pervasive environments

    Mukhtar, H., Belaïd, D. & Bernard, G., 2009, Proceedings of the 5th International Conference on Networking and Services, ICNS 2009. p. 43-48 6 p. 4976735. (Proceedings of the 5th International Conference on Networking and Services, ICNS 2009).

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

    14 Citations (Scopus)

  • What makes a good game? Using reviews to inform design

    Beale, R., Bond, M. & Blackwell, AF., 1 Sept 2009, People and Computers XXIII Celebrating People and Technology: Proceedings of HCI 2009. British Computer Society, p. 418-422 5 p.

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

    20 Citations (Scopus)
  • 2008

    A block cipher based pseudo random number generator secure against side-channel key recovery

    Petit, C., Standaert, F. X., Pereira, O., Malkin, T. G. & Yung, M., 2008, Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, ASIACCS '08. p. 56-65 10 p. (Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, ASIACCS '08).

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