Computer Science

  • Postal address

    United Kingdom

Filter
Conference contribution

Search results

  • 2011

    On the indifferentiability of Fugue and Luffa

    Bhattacharyya, R. & Mandal, A., 2011, Applied Cryptography and Network Security - 9th International Conference, ACNS 2011, Proceedings. p. 479-497 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6715 LNCS).

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

    3 Citations (Scopus)

  • On the proof complexity of cut-free bounded deep inference

    Das, A., 2011, Automated Reasoning with Analytic Tableaux and Related Methods - 20th International Conference, TABLEAUX 2011, Proceedings. p. 134-148 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6793 LNAI).

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

    10 Citations (Scopus)

  • Operational Space Control of Constrained and Underactuated Systems

    Mistry, M. & Righetti, L., 2011, Proceedings of Robotics: Science and Systems, 2011 . Durrant-Whyte, H., Roy, N. & Abbeel, P. (eds.). MIT Press

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

    File
    821 Downloads (Pure)

  • P3CA: Private Anomaly Detection Across ISP Networks

    Nagaraja, S., 2011, Privacy Enhancing Technologies : 11th International Symposium, PETS 2011, Waterloo, ON, Canada, July 27-29, 2011. Proceedings. Fischer-Hubner, S. & Hopper, N. (eds.). Springer, p. 38-56 (Lecture Notes in Computer Science; vol. 6794).

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

    8 Citations (Scopus)

  • Physical simulation for monocular 3D model based tracking

    Duff, DJ., Morwald, T., Stolkin, R. & Wyatt, J., 13 May 2011, 2011 IEEE International Conference on Robotics and Automation (ICRA). Institute of Electrical and Electronics Engineers (IEEE), p. 5218-5225 8 p.

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

    File
    19 Citations (Scopus)
    182 Downloads (Pure)

  • Predicting the unobservable Visual 3D tracking with a probabilistic motion model

    Morwald, T., Kopicki, M., Stolkin, R., Wyatt, J., Zurek, S., Zillich, M. & Vincze, M., 13 May 2011, 2011 IEEE International Conference on Robotics and Automation (ICRA). Institute of Electrical and Electronics Engineers (IEEE), p. 1849-1855 7 p.

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

    9 Citations (Scopus)

  • Preimages for the tillich-zémor hash function

    Petit, C. & Quisquater, J. J., 2011, Selected Areas in Cryptography - 17th International Workshop, SAC 2010, Revised Selected Papers. p. 282-301 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6544 LNCS).

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

    Open Access

  • Prophiler: a Fast Filter for the Large-Scale Detection of Malicious Web Pages

    Canali, D., Cova, M., Vigna, G. & Kruegel, C., 28 Mar 2011, Proceedings of the 20th international conference on World wide web. Association for Computing Machinery , p. 197-206 10 p.

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

    227 Citations (Scopus)

  • QoS-aware device selection using user preferences for tasks in ubiquitous environments

    Ahmed, M. E., Mukhtar, H., Belaïd, D. & Song, J. B., 2011, 2011 7th International Conference on Emerging Technologies, ICET 2011. 6048484. (2011 7th International Conference on Emerging Technologies, ICET 2011).

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

    3 Citations (Scopus)

  • Real-Time Detection of Process Change using Process Mining

    Weber, P., Bordbar, B. & Tino, P., 29 Sept 2011, 2011 Imperial College Computing Student Workshop, ICCSW 2011, London, United Kingdom, September 29-30, 2011. Proceedings. Jones, A. V. (ed.). Department of Computing, Imperial College London, Vol. DTR11-9. p. 108-114

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

    8 Citations (Scopus)

  • Self-Organized flocking with a heterogeneous mobile robot swarm

    Stranieri, A., Ferrante, E., Turgut, A. E., Trianni, V., Pinciroli, C., Birattari, M. & Dorigo, M., 2011, ECAL 2011.

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

  • Shadow detection based on colour segmentation and estimated illumination

    Jiang, X., Schofield, A. J. & Wyatt, J. L., 2011, BMVC 2011 - Proceedings of the British Machine Vision Conference 2011. British Machine Vision Association, BMVA, p. 87.1-87.11

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

    13 Citations (Scopus)

  • Similarity Quotients as Final Coalgebras

    Levy, P. & Hoffman, M., 1 Jan 2011, Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany. Proceedings. Hofmann, M. (ed.). Springer, p. 27-41 15 p. (Lecture Notes in Computer Science; vol. 6604).

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

    23 Citations (Scopus)

  • Smart Use of Computational Resources Based on Contribution for Cooperative Co-Evolutionary Algorithms

    Omidvar, MN., Li, X., Yao, X. & Krasnogor, N., 16 Jul 2011, GECCO '11 Proceedings of the 13th annual conference on Genetic and evolutionary computation. Association for Computing Machinery , p. 1115-1122 8 p.

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

    71 Citations (Scopus)

  • StatVerif: Verification of Stateful Processes

    Arapinis, M., Ritter, E. & Ryan, M., 29 Jun 2011, Proceedings 2011 IEEE 24th Computer Security Foundations Symposium (CSF). Institute of Electrical and Electronics Engineers (IEEE), p. 33-47 15 p.

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

    37 Citations (Scopus)

  • Text to Phoneme Alignment and Mapping for Speech Technology: a Neural Networks Approach

    Bullinaria, J., 5 Jul 2011, Neural Networks (IJCNN), The 2011 International Joint Conference on. Institute of Electrical and Electronics Engineers (IEEE), p. 625-632 8 p.

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

    3 Citations (Scopus)

  • The panel of experts cloud pattern

    Watson, P., Hiden, H. G., Woodman, S. J., Leahy, D. E., Cała, J. & Missier, P., 2011, CIKM 2011 Glasgow: CloudDB'11 - Proceedings of the 3rd International Workshop on Cloud Data Management. p. 23 1 p. (International Conference on Information and Knowledge Management, Proceedings).

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

  • Track Globally, Deliver Locally: Improving Content Delivery Networks by Tracking Geographic Social Cascades

    Scellato, S., Mascolo, C., Musolesi, M. & Crowcroft, J., 1 Apr 2011, Proceedings of the 20th international conference on World wide web. Association for Computing Machinery , p. 457-466 10 p.

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

    109 Citations (Scopus)

  • Unbiased Black Box Search Algorithms

    Rowe, J. & Vose, MD., 16 Jul 2011, GECCO '11 Proceedings of the 13th annual conference on Genetic and evolutionary computation. Association for Computing Machinery , p. 2035-2042 8 p.

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

    28 Citations (Scopus)

  • Workflows for information integration in the life sciences

    Missier, P., Paton, N. & Li, P., 2011, Search Computing - Trends and Developments. p. 215-225 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6585 LNCS).

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

  • 2012

    A CCG-Based Approach to Fine-Grained Sentiment Analysis

    Smith, P. & Lee, M., 1 Dec 2012, Proceedings of the 2nd Workshop on Sentiment Analysis where AI meets Psychology , SAAIP 2012.: COLING 2012 Workshop. Association of Computational Linguistics, p. 3-16

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

  • A compact, parameterized, real-time beamformer, benchmarked for ultrasound imaging

    Qureshi, S. S., Rajpoot, K. M., Smith, P. R., Cowell, D. M. J. & Freear, S., 2012, 2012 IEEE International Ultrasonics Symposium, IUS 2012. p. 1485-1488 4 p. 6562370. (IEEE International Ultrasonics Symposium, IUS).

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

  • A crown jewel defense strategy based particle swarm optimization

    Lin, L., Ji, Z., He, S. & Zhu, Z., 2012, 2012 IEEE Congress on Evolutionary Computation, CEC 2012. 6256145. (2012 IEEE Congress on Evolutionary Computation, CEC 2012).

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

    3 Citations (Scopus)

  • A diversified and correct-by-construction broadcast service

    Rahli, V., Schiper, N., Renesse, R. V., Bickford, M. & Constable, R. L., 2012, 20th IEEE International Conference on Network Protocols, ICNP 2012, Austin, TX, USA, October 30 - Nov. 2, 2012. p. 1-6 6 p.

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

    4 Citations (Scopus)

  • A memory binary particle swarm optimization

    Ji, Z., Tian, T., He, S. & Zhu, Z., 2012, 2012 IEEE Congress on Evolutionary Computation, CEC 2012. 6256150. (2012 IEEE Congress on Evolutionary Computation, CEC 2012).

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

    4 Citations (Scopus)

  • An Automata-Theoretic Model of Idealized Algol

    Reddy, U. & Dunphy, B. P., 2012, Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II. Czumaj, A., Mehlhorn, K., Pitts, A. & Wattenhofer, R. (eds.). Springer, p. 337-350 (Lecture Notes in Computer Science; vol. 7392).

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

    1 Citation (Scopus)

  • An edge-preserving filtering framework for visibility restoration

    Bao, L., Song, Y., Yang, Q. & Ahuja, N., 15 Nov 2012, Proceedings of the 21st International Conference on Pattern Recognition (ICPR2012). IEEE, p. 384-387 4 p. 6460152

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

  • An empirical comparison of several recent multi-objective evolutionary algorithms

    White, T. & He, S., 2012, Artificial Intelligence Applications and Innovations - 8th IFIP WG 12.5 International Conference, AIAI 2012, Proceedings. PART 1 ed. p. 48-57 10 p. (IFIP Advances in Information and Communication Technology; vol. 381 AICT, no. PART 1).

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

    Open Access
    1 Citation (Scopus)

  • Application of Compressive Sensing to bioluminescence tomography

    Basevi, H. R. A., Guggenheim, J. A., Dehghani, H. & Styles, I. B., 2012, Biomedical Optics, BIOMED 2012. Optical Society of America (OSA), p. BSu3A.64 (Biomedical Optics, BIOMED 2012).

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

  • A Principled Approach to the Analysis of Process Mining Algorithms

    Weber, P., Bordbar, B. & Tino, P., 1 Jan 2012, Intelligent Data Engineering and Automated Learning - IDEAL 2011: 12th International Conference, Norwich, UK, September 7-9, 2011. Proceedings. Yin, H., Wang, W. & Rayward-Smith, V. (eds.). Springer, p. 474-481 8 p. (Lecture Notes in Computer Science; vol. 6936).

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

    2 Citations (Scopus)

  • A PROV encoding for provenance analysis using deductive rules

    Missier, P. & Belhajjame, K., 2012, Provenance and Annotation of Data and Processes - 4th International Provenance and Annotation Workshop, IPAW 2012, Revised Selected Papers. p. 67-81 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7525 LNCS).

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

    Open Access

  • A reinforcement learning model of bounded optimal strategy learning

    Chen, X. & Howes, A., 2012, Proceedings of the 11th International Conference on Cognitive Modeling, ICCM 2012. p. 193-198 6 p. (Proceedings of the 11th International Conference on Cognitive Modeling, ICCM 2012).

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

  • A Transition-Based System for Joint Part-of-Speech Tagging and Labeled Non-Projective Dependency Parsing.

    Bohnet, B. & Nivre, J., 2012, Association for Computational Linguistics: Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning. p. 1455-1465 10 p.

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

    Open Access
    File
    130 Citations (Scopus)
    32 Downloads (Pure)

  • A user-enabling visual workflow for near-infrared light transport modeling in tissue

    Jermyn, M., Pogue, B. W., Ghadyani, H., Davis, S. C., Mastanduno, M. & Dehghani, H., 2012, Biomedical Optics, BIOMED 2012. Optical Society of America (OSA), p. BW1A.7 (Biomedical Optics, BIOMED 2012).

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

  • Building Text-to-Speech Systems for Resource Poor Languages

    Samsudin, N-H. & Lee, M., 23 May 2012, Proceedings of the Eight International Conference on Language Resources and Evaluation (LREC'12). European Language Resources Association (ELRA)

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

  • "Can ants inspire robots?" Self-organized decision making in robotic swarms

    Brutschy, A., Scheidler, A., Ferrante, E., Dorigo, M. & Birattari, M., 2012, Intelligent Robots and Systems (IROS), 2012 IEEE/RSJ International Conference on. Los Alamitos, CA: IEEE Computer Society Press, p. 4272-4273 2 p.

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

    13 Citations (Scopus)

  • Characterization of dynein by single-molecule investigations in vivo.

    Ananthanarayanan, V., Schattat, M., Vogel, S., Krull, A., Pavin, N. & Tolic-Norrelykke, I., 2012, MOLECULAR BIOLOGY OF THE CELL. Vol. 23.

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

  • Community detection in social and biological networks using differential evolution

    Jia, G., Cai, Z., Musolesi, M., Wang, Y., Tennant, D. A., Weber, R. J. M., Heath, J. K. & He, S., 30 Oct 2012, Learning and Intelligent Optimization - 6th International Conference, LION 6, Revised Selected Papers. p. 71-85 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7219 LNCS).

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

    50 Citations (Scopus)

  • Community detection using cooperative co-evolutionary differential evolution

    Huang, Q., White, T., Jia, G., Musolesi, M., Turan, N., Tang, K., He, S., Heath, J. K. & Yao, X., 2012, Parallel Problem Solving from Nature, PPSN XII - 12th International Conference, Proceedings. PART 2 ed. p. 235-244 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7492 LNCS, no. PART 2).

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

    20 Citations (Scopus)

  • Comparing Complex Business Process Models

    Weber, P., Bordbar, B., Taylor, P. & Majeed, B., 10 Dec 2012, IEEE International Conference on Industrial Engineering and Engineering Management, IEEM 2012. Institute of Electrical and Electronics Engineers (IEEE), p. 1553-1557

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

  • Complexity of deep inference via atomic flows

    Das, A., 2012, How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Proceedings. p. 139-150 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7318 LNCS).

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

    9 Citations (Scopus)

  • Data sharing in data-centric multi-tenant software as a service

    Aslam, U. & Mukhtar, H., 2012, Proceedings - 2nd International Conference on Cloud and Green Computing and 2nd International Conference on Social Computing and Its Applications, CGC/SCA 2012. p. 113-117 5 p. 6382805. (Proceedings - 2nd International Conference on Cloud and Green Computing and 2nd International Conference on Social Computing and Its Applications, CGC/SCA 2012).

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

    3 Citations (Scopus)

  • Design time considerations for cyber physical systems

    Usman, A. & Mukhtar, H., 2012, Proceedings - 2012 IEEE Int. Conf. on Green Computing and Communications, GreenCom 2012, Conf. on Internet of Things, iThings 2012 and Conf. on Cyber, Physical and Social Computing, CPSCom 2012. p. 442-445 4 p. 6468348. (Proceedings - 2012 IEEE Int. Conf. on Green Computing and Communications, GreenCom 2012, Conf. on Internet of Things, iThings 2012 and Conf. on Cyber, Physical and Social Computing, CPSCom 2012).

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

    2 Citations (Scopus)

  • Detecting duplicate records in scientific workflow results

    Belhajjame, K., Missier, P. & Goble, C. A., 2012, Provenance and Annotation of Data and Processes - 4th International Provenance and Annotation Workshop, IPAW 2012, Revised Selected Papers. p. 126-138 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7525 LNCS).

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

    Open Access

  • Forensic analysis of wireless networking evidence of Android smartphones

    Andriotis, P., Oikonomou, G. & Tryfonas, T., 2012, 2012 IEEE International Workshop on Information Forensics and Security (WIFS).

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

  • Formal representation and proof for cooperative games

    Kerber, M., Lange, C. & Rowat, C., 3 Jul 2012, Symposium on Mathematical Practice and Cognition II. Pease, A. & Larvor, B. (eds.). Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB), p. 15-18

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

    Open Access
    File
    137 Downloads (Pure)

  • Gaze allocation analysis for a visually guided manipulation task

    Nunez-Varela, J., Ravindran, B. & Wyatt, J. L., 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7426 LNAI. p. 44-53 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7426 LNAI).

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

    2 Citations (Scopus)

  • Generating Non-Projective Word Order in Statistical Linearization

    Bohnet, B., Kuhn, J., Seeker, W. & Björkelund, A., 2012, Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning - Proceedings. Association for Computational Linguistics, ACL, p. 928-939 11 p.

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

    5 Citations (Scopus)

  • Hybrid binary-chain multi-label classifiers

    Hernandez-Leal, P., Orihuela-Espina, F., Sucar, L. E. & Morales, E. F., 2012, Proceedings of the 6th European Workshop on Probabilistic Graphical Models, PGM 2012. p. 139 146 p.

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

  • Hybrid reasoning in perception: A case study

    Günther, M., Hertzberg, J., Mansouri, M., Pecora, F. & Saffiotti, A., 1 Jan 2012, 10th IFAC Symposium on Robot Control -Syroco 2012 Preprints . Petrovic, I. & Korondi, P. (eds.). IFAC Secretariat, p. 90-95 (IFAC Proceedings Volumes (IFAC-PapersOnline); vol. 45, no. 22).

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

    Open Access