Computer Science

  • Postal address

    United Kingdom

Filter
Conference contribution

Search results

  • 2009

    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)
  • 2010

    A Bound on the Performance of LDA in Randomly Projected Data Spaces

    Durrant, R. & Kaban, A., 26 Aug 2010, 2010 20th International Conference on Pattern Recognition (ICPR). Institute of Electrical and Electronics Engineers (IEEE), p. 4044-4047 4 p.

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

    1 Citation (Scopus)

  • A Calibration-Free Head Gesture Recognition System with Online Capability

    Wöhler, NC., Grossekathöfer, U., Dierker, A., Hanheide, M., Kopp, S. & Hermann, T., 26 Aug 2010, 2010 20th International Conference on Pattern Recognition (ICPR) . Institute of Electrical and Electronics Engineers (IEEE), p. 3814-3817 4 p.

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

    6 Citations (Scopus)

  • A grid-based fitness strategy for evolutionary many-objective optimization

    Li, M., Zheng, J., Shen, R., Li, K. & Yuan, Q., 2010, Proceedings of the 12th Annual Genetic and Evolutionary Computation Conference, GECCO '10. p. 463-470 8 p. (Proceedings of the 12th Annual Genetic and Evolutionary Computation Conference, GECCO '10).

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

    33 Citations (Scopus)

  • A KLT-inspired node centrality for identifying influential neighborhoods in graphs

    Ilyas, M. U. & Radha, H., 19 Mar 2010, 2010 44th Annual Conference on Information Sciences and Systems (CISS). IEEE, p. 1-7 7 p. 5464971

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

  • A linked data approach to sharing workflows and workflow results

    Roos, M., Bechhofer, S., Zhao, J., Missier, P., Newman, D. R., De Roure, D. & Marshall, M. S., 2010, Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Proceedings. PART 1 ed. p. 340-354 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6415 LNCS, no. PART 1).

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

  • An Analysis of Rogue AV Campaigns

    Cova, M., Leita, C., Thonnard, O., Keromytis, A. & Dacier, M., 1 Jan 2010, Recent Advances in Intrusion Detection: 13th International Symposium, RAID 2010, Ottawa, Ontario, Canada, September 15-17, 2010. Proceedings. Jha, S., Sommer, R. & Kreibich, C. (eds.). Springer, p. 442-463 22 p. (Lecture Notes in Computer Science; vol. 6307).

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

    24 Citations (Scopus)

  • An improved co-similarity measure for document clustering

    Hussain, S. F., Bisson, G. & Grimal, C., 2010, Proceedings - 9th International Conference on Machine Learning and Applications, ICMLA 2010. p. 190-197 8 p. 5708832. (Proceedings - 9th International Conference on Machine Learning and Applications, ICMLA 2010).

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

    32 Citations (Scopus)

  • Ant Colony Optimization and the Minimum Cut Problem

    Kötzing, T., Lehre, P., Neumann, F. & Oliveto, P., 11 Jul 2010, Proceedings of the 12th annual conference on Genetic and evolutionary computation. p. 1393-1400 8 p.

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

    15 Citations (Scopus)

  • Ant Colony Optimization for Stochastic Shortest Path Problems

    Horoba, C., Sudholt, D., Pelikan, M. & Branke, J., 11 Jul 2010, Proceedings of the 12th annual conference on Genetic and evolutionary computation. p. 1465-1472 8 p.

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

    16 Citations (Scopus)

  • Assume-Guarantee Verification for Probabilistic Systems

    Kwiatkowska, M., Norman, G., Parker, D. & Qu, H., 2010, Tools and Algorithms for the Construction and Analysis of Systems : 6th 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. 23-37 (Lecture Notes in Computer Science; vol. 6015).

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

    85 Citations (Scopus)

  • A Traceability Attack against e-Passports

    Chothia, T., Smirnov, V. & Radu, S., 1 Jan 2010, Financial Cryptography and Data Security: 14th International Conference, FC 2010, Tenerife, Canary Islands, January 25-28, 2010, Revised Selected Papers. Sion, R. (ed.). Springer, p. 20-34 15 p. (Lecture Notes in Computer Science; vol. 6052).

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

    43 Citations (Scopus)

  • Attack, Solution and Verification for Shared Authorisation Data in TCG TPM

    Chen, L. & Ryan, M., 1 Jan 2010, Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers. Degano, P. & Guttman, JD. (eds.). Springer, p. 201-216 16 p. (Lecture Notes in Computer Science; vol. 5983).

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

    32 Citations (Scopus)

  • Black-box search by unbiased variation

    Lehre, P. K. & Witt, C., 2010, Proceedings of the 12th Annual Genetic and Evolutionary Computation Conference, GECCO '10. p. 1441-1448 8 p.

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

    40 Citations (Scopus)

  • BotGrep: Finding P2P Bots with Structured Graph Analysis

    Nagaraja, S., Mital, P., Hong, C-Y., Caesar, M. & N, B., 2010, Proceedings of the 19th USENIX Security Symposium 2010. USENIX , p. 95-110

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

    158 Citations (Scopus)

  • Cognitive Burden Estimation for Visuomotor Learning with fNIRS

    James, D. R. C., Orihuela-Espina, F., Leff, D. R., Mylonas, G. P., Kwok, K-W., Darzi, A. W. & Yang, G-Z., 2010, Medical Image Computing and Computer Assisted Interventions (MICCAI), Lecture Notes in Computer Science. Springer, Vol. 6363. p. 319 326 p. (Medical Image Computing and Computer-Assisted Intervention - Miccai 2010, Pt Iii).

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

  • Computational Interpretations of Analysis via Products of Selection Functions

    Escardo, M. & Oliva, P., 1 Jan 2010, Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings. Ferreira, F., Lowe, B., Mayordomo, E. & Gomes, LM. (eds.). Springer, p. 141-150 (Lecture Notes in Computer Science; vol. 6158).

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

    13 Citations (Scopus)

  • Construct to understand: learning through exploration

    Demery, Z., Arriola-Rios, V. E., Sloman, A., Wyatt, J. & Chappell, J., 2010, Proceedings of the International Symposium on AI-Inspired Biology. p. 59-61 3 p. (Proceedings of the International Symposium on AI-Inspired Biology).

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

    3 Citations (Scopus)

  • Correlation-Based Intrinsic Image Extraction from a Single Image

    Jiang, X., Schofield, A. & Wyatt, J., 1 Jan 2010, Computer Vision – ECCV 2010 Subtitle of host publication: 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part IV. Daniilidis, K., Maragos, P. & Paragios, N. (eds.). Springer, p. 58-71 14 p. (Lecture Notes in Computer Science Series ; vol. 6314).

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

    30 Citations (Scopus)

  • Cryptanalysis of the DECT Standard Cipher

    Nohl, K., Tews, E. & Weinmann, R-P., 2010, Fast Software Encryption, 17th International Workshop, FSE 2010, Seoul, Korea, February 7-10, 2010, Revised Selected Papers. Hong, S. & Iwata, T. (eds.). Springer, Vol. 6147. p. 1-18 18 p. (Lecture Notes in Computer Science).

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

    16 Citations (Scopus)

  • EEG: A way to explore learner's affect in pervasive learning systems

    Wan, J., 2010, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).

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

  • Enhancing diversity for average ranking method in evolutionary many-objective optimization

    Li, M., Zheng, J., Li, K., Yuan, Q. & Shen, R., 2010, Parallel Problem Solving from Nature, PPSN XI - 11th International Conference, Proceedings. PART 1 ed. p. 647-656 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6238 LNCS, no. PART 1).

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

    39 Citations (Scopus)

  • ERGOT: A semantic-based system for service discovery in distributed infrastructures

    Pirŕo, G., Trunfio, P., Talia, D., Missier, P. & Goble, C., 2010, CCGrid 2010 - 10th IEEE/ACM International Conference on Cluster, Cloud, and Grid Computing. p. 263-272 10 p. 5493471. (CCGrid 2010 - 10th IEEE/ACM International Conference on Cluster, Cloud, and Grid Computing).

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

  • Fine-grained and efficient lineage querying of collection-based workflow provenance

    Missier, P., Paton, N. W. & Belhajjame, K., 2010, Advances in Database Technology - EDBT 2010 - 13th International Conference on Extending Database Technology, Proceedings. p. 299-310 12 p. (Advances in Database Technology - EDBT 2010 - 13th International Conference on Extending Database Technology, Proceedings).

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

  • FPGA Implementation of an Improved Attack against the DECT Standard Cipher

    Weiner, M., Tews, E., Heinz, B. & Heyszl, J., 2010, Information Security and Cryptology - ICISC 2010 - 13th International Conference, Seoul, Korea, December 1-3, 2010, Revised Selected Papers. Rhee, K. H. & Nyang, D. (eds.). Springer, Vol. 6829. p. 177-188 12 p. (Lecture Notes in Computer Science).

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

    4 Citations (Scopus)

  • Functional units: Abstractions for Web service annotations

    Missier, P., Wolstencroft, K., Tanoh, F., Li, P., Bechhofer, S., Belhajjame, K., Pettifer, S. & Goble, C., 2010, Proceedings - 2010 6th World Congress on Services, Services-1 2010. p. 306-313 8 p. 5575854. (Proceedings - 2010 6th World Congress on Services, Services-1 2010).

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

  • Hide and seek: Location sharing practices with social media

    Wagner, D., Lopez, M., Doria, A., Pavlyshak, I., Kostakos, V., Oakley, I. & Spiliotopoulos, T., 2010, MobileHCI '10: Proceedings of the 12th international conference on Human computer interaction with mobile devices and services. Association for Computing Machinery (ACM)

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

  • How virtual machinery can bridge the “explanatory gap”, in natural and artificial systems

    Sloman, A., Doncieux, S., Girard, B., Guillot, A., Hallam, J., Meyer, J-A. & Mouret, J-B., Aug 2010, From Animals to Animats 11: 11th International Conference on Simulation of Adaptive Behavior, SAB 2010, Paris - Clos Lucé, France, August 25-28, 2010. Proceedings. Doncieux, S., Girard, B., Guillot, A., Hallam, J., Meyer, J-A. & Mouret, J-B. (eds.). Springer, p. 13-24 12 p. (Lecture Notes in Computer Science; vol. 6226).

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

    1 Citation (Scopus)

  • Janus: From workflows to semantic provenance and linked open data

    Missier, P., Sahoo, S. S., Zhao, J., Goble, C. & Sheth, A., 2010, Provenance and Annotation of Data and Processes - Third International Provenance and Annotation Workshop, IPAW 2010, Revised Selected Papers. p. 129-141 13 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