• Postal address

    United Kingdom

Filter
Conference contribution

Search results

  • 2012

    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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference contribution

    Open Access
    File
    130 Citations (Scopus)
    31 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference contribution

    Open Access
  • Identfying inorganic debris in micro-channels during root canal therapy

    Robinson, J., Lumley, P., Claridge, E., Cooper, P. & Walmsley, A., 2012, International Association for Dental Research PER Congress. Helsinki: International Association for Dental Research

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Improving the complexity of index calculus algorithms in elliptic curves over binary fields

    Faugère, J. C., Perret, L., Petit, C. & Renault, G., 2012, Advances in Cryptology, EUROCRYPT 2012 - 31st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings. p. 27-44 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7237 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Learning using privileged information in prototype based models

    Fouad, S., Tino, P., Raychaudhury, S. & Schneider, P., 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). PART 2 ed. Vol. 7553 LNCS. p. 322-329 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7553 LNCS, no. PART 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    8 Citations (Scopus)
  • Mapping Arabic Wikipedia into the Named Entities Taxonomy

    Alotaibi, F. & Lee, M., 2012, Proceedings of the 24th International Conference on Computational Linguistics (COLING 2012): Posters. Association of Computational Linguistics, p. 43-52

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Memetic clustering based on particle swarm optimizer and K-means

    Zhu, Z., Liu, W., He, S. & Ji, Z., 2012, 2012 IEEE Congress on Evolutionary Computation, CEC 2012. 6252916. (2012 IEEE Congress on Evolutionary Computation, CEC 2012).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Citations (Scopus)
  • Memetic three-dimensional gabor feature extraction for hyperspectral imagery classification

    Zhu, Z., Shen, L., Sun, Y., He, S. & Ji, Z., 2012, Advances in Swarm Intelligence - Third International Conference, ICSI 2012, Proceedings. PART 1 ed. p. 479-488 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7331 LNCS, no. PART 1).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Citations (Scopus)
  • Modelling provenance using structured occurrence networks

    Missier, P., Randell, B. & Koutny, M., 2012, Provenance and Annotation of Data and Processes - 4th International Provenance and Annotation Workshop, IPAW 2012, Revised Selected Papers. p. 183-197 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 proceedingConference contribution

    Open Access
  • Multi-view, multi-spectral bioluminescence tomography

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

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • On polynomial systems arising from a Weil descent

    Petit, C. & Quisquater, J. J., 2012, Advances in Cryptology, ASIACRYPT 2012 - 18th International Conference on the Theory and Application of Cryptology and Information Security, Proceedings. p. 451-466 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7658 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Personalized healthcare self-management using social persuasion

    Mukhtar, H., Ali, A., Lee, S. & Belaïd, D., 2012, Impact Analysis of Solutions for Chronic Disease Prevention and Management - 10th International Conference on Smart Homes and Health Telematics, ICOST 2012, Proceedings. p. 66-73 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7251 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    5 Citations (Scopus)
  • Persuading students for behavior change by determining their personality type

    Adnan, M., Mukhtar, H. & Naveed, M., 2012, 2012 15th International Multitopic Conference, INMIC 2012. p. 439-449 11 p. 6511472. (2012 15th International Multitopic Conference, INMIC 2012).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    6 Citations (Scopus)
  • Persuasive healthcare self-management in intelligent environments

    Mukhtar, H., Ali, A., Belaid, D. & Lee, S., 2012, Proceedings - 8th International Conference on Intelligent Environments, IE 2012. p. 190-197 8 p. 6258522. (Proceedings - 8th International Conference on Intelligent Environments, IE 2012).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    9 Citations (Scopus)
  • Predicting the execution time of workflow activities based on their input features

    Miu, T. & Missier, P., 2012, Proceedings - 2012 SC Companion: High Performance Computing, Networking Storage and Analysis, SCC 2012. p. 64-72 9 p. 6495803. (Proceedings - 2012 SC Companion: High Performance Computing, Networking Storage and Analysis, SCC 2012).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Process Mining in Non-Stationary Environments

    Weber, P., Tino, P. & Bordbar, B., 13 Jul 2012, ESANN 2012 proceedings: European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning. ESANN, p. 37-42 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)
  • Prototype based modelling for ordinal classification

    Fouad, S. & Tino, P., 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7435 LNCS. p. 208-215 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7435 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Citations (Scopus)
  • Query Matching Evaluation in an Infobot for University Admissions Processing

    Hancox, P. & Polatidis, N., 21 Jun 2012, SLATE 2012: 1st Symposium on Languages, Applications and Technologies, Universidade do Minho, Braga, 21-22 June 2012. Simoes, A., Queiros, R. & da Cruz, D. (eds.). Dagstuhl: Schloss Dagstuhl, p. 149-161 13 p. (OpenAccess Series in Informatics (OASIcs); no. 21).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    76 Downloads (Pure)
  • Restoration of phase contrast microscopy images for the analysis of lung epithelial scratch wound repair assays

    Sarsby, J., Nash, G., Thickett, D., Zheng, SX., Jeffery, H. & Claridge, E., 2012, Proceedings of Medical Image Understanding and Analysis. Xie, X. (ed.). British Machine Vision Association, p. 101-106

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • SCAIL: An integrated Starcraft AI system

    Young, J., Smith, F., Atkinson, C., Poyner, K. & Chothia, T., 1 Dec 2012, 2012 IEEE Conference on Computational Intelligence and Games, CIG 2012. p. 438-445 8 p. 6374188

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    9 Citations (Scopus)
  • ShadowDB: A Replicated Database on a Synthesized Consensus Core

    Schiper, N., Rahli, V., Renesse, R. V., Bickford, M. & Constable, R. L., 2012, Proceedings of the Eighth Workshop on Hot Topics in System Dependability, HotDep 2012, Hollywood, CA, USA, October 7, 2012.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    5 Citations (Scopus)
  • Spectrally constrained functional diffuse optical tomography of the adult brain

    Zhan, Y., Eggebrecht, A., Culver, J. & Dehghani, H., 2012, Digital Holography and Three-Dimensional Imaging, DH 2012. p. JM3A.68 (Digital Holography and Three-Dimensional Imaging, DH 2012).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Survival analysis of gene expression data using PSO based radial basis function networks

    Liu, W., Ji, Z., He, S. & Zhu, Z., 2012, 2012 IEEE Congress on Evolutionary Computation, CEC 2012. 6256144. (2012 IEEE Congress on Evolutionary Computation, CEC 2012).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)
  • The Best of Both Worlds – A Graph-based Completion Model for Transition-based Parsers

    Bohnet, B. & Kuhn, J., 2012, Proceedings of the 13th Conference of the European Chapter of the Association for Computational Linguistics. Daelemans, W. (ed.). Association for Computational Linguistics, ACL, p. 77-87

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • The Born Rule as Structure of Spectral Bundles

    Fauser, B., Raynaud, G. & Vickers, S., 2012, Proceedings of the 8th International Workshop on Quantum Physics and Logic, Nijmegen 2011. Jacobs, B., Selinger, P. & Spitters, B. (eds.). Vol. 95. p. 81-90 10 p. (EPTCS; vol. 95).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    79 Downloads (Pure)