Computer Science Research Group

Filter
Conference publication

Search results

  • 2010

    Enhanced semantic access to formal software models

    Wang, H., Damljanovic, D. & Sun, J., 29 Oct 2010, Formal methods and software engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings. Dong, J. S. & Zhu, H. (eds.). Springer, Vol. 6447 LNCS. p. 237-252 16 p. (Lecture notes in computer science; vol. 6447).

    Research output: Chapter in Book/Published conference output › Conference publication

  • Goal detection from natural language queries

    He, Y., 2010, Natural language processing and information systems: 15th international conference on applications of natural language to information systems, NLDB 2010, Cardiff, UK, June 23-25, 2010. Proceedings. Hopfe, C. J., Rezgui, Y., Métais, E., Preece, A. & Li, H. (eds.). Berlin (DE): Springer, Vol. 6177. p. 157-168 12 p. (Lecture notes in computer science; vol. 6177).

    Research output: Chapter in Book/Published conference output › Conference publication

  • Handling and communicating uncertainty in chained geospatial web services

    Jones, R., Bastin, L., Cornford, D. & Williams, M., 2010, Accuracy 2010: Proceedings of the 9th international symposium on spatial accuracy assessment in natural resources and environmental sciences. Tate, N. J. & Fisher, P. F. (eds.).

    Research output: Chapter in Book/Published conference output › Conference publication

    Open Access

  • How dynamic is your dynamic software product line?

    Bencomo, N., Lee, J. & Hallsteinsen, S., 2010, SPLC 2010 - Proceedings of the 14th International Software Product Line Conference. Botterweck, G., Jarzabek, S., Kishi, T., Lee, J. & Livengood, S. (eds.). Lancaster University, p. 61-67 7 p. (SPLC 2010 - Proceedings of the 14th International Software Product Line Conference).

    Research output: Chapter in Book/Published conference output › Conference publication

  • Modulating membership grades to gain consensus for fuzzy set uncertainty values in a clinical decision support system

    Hegazy, S. E. & Buckingham, C. D., 2010, Proceedings - The 3rd International Conference on Advances in Human-Oriented and Personalized Mechanisms, Technologies and Services, CENTRIC 2010. IEEE, p. 40-45 6 p.

    Research output: Chapter in Book/Published conference output › Conference publication

  • Motivating students to learn through good and helpful coursework feedback

    Wong, S. H. S., 2010, Proceedings of Engineering Education Conference 2010 (EE2010). 12 p.

    Research output: Chapter in Book/Published conference output › Conference publication

  • Recent developments in information retrieval: preface

    Gurrin, C., He, Y., Kazai, G., Kruschwitz, U., Little, S., Roelleke, T., Rüger, S. M. & Van Rijsbergen, K., 2010, Advances in information retrieval: 32nd European conference on IR research, ECIR 2010, Milton Keynes, UK, March 28-31, 2010. Proceedings. Gurrin, C., He, Y., Kazai, G., Kruschwitz, U., Little, S., Roealleke, T., Rüger, S. M. & Van Rijsbergen, K. (eds.). Berlin (DE): Springer, Vol. 5993. p. 1-9 9 p. (Lecture notes in computer science; vol. 5993).

    Research output: Chapter in Book/Published conference output › Conference publication

  • Requirements-aware systems: a research agenda for RE for self-adaptive systems

    Sawyer, P., Bencomo, N., Whittle, J., Letier, E. & Finkelstein, A., 2010, Proceedings of the 18th IEEE International Requirements Engineering Conference (RE '10). IEEE, p. 95-103 9 p. (International requirements engineering conference: proceedings).

    Research output: Chapter in Book/Published conference output › Conference publication

    Open Access
    File

  • Requirements reflection: requirements as runtime entities

    Bencomo, N., Whittle, J., Sawyer, P., Finkelstein, A. & Letier, E., May 2010, ICSE '10 Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2. New York, NY (US): ACM, Vol. 2. p. 199-202 4 p.

    Research output: Chapter in Book/Published conference output › Conference publication

    Open Access
    File

  • Spatially clustered associations in health GIS

    Leibovici, D., Bastin, L., Anand, S., Swan, J., Hobona, G. & Jackson, M., 2010, Proceedings of the GIS Research UK 18th Annual Conference GISRUK 2010. University College London: London, UK. Haklay, M., Morle, J. & Rahemtulla, H. (eds.).

    Research output: Chapter in Book/Published conference output › Conference publication

    File

  • The uncertainty enabled model web (UncertWeb)

    Pebesma, E., Cornford, D., Nativi, S. & Stasch, C., 2010, Envip'2010 : Environmental Information Systems and Services - Infrastructures and Platforms: proceedings of the Workshop "Environmental Information Systems and Services - Infrastructures and Platforms" Workshop at EnviroInfo; 2010 Bonn, Germany, October 6-8, 2010.. Berre, A. J., Roman, D. & Maué, P. (eds.). CEUR-WS.org, 9 p. 10. (CEUR workshop proceedings; vol. 679).

    Research output: Chapter in Book/Published conference output › Conference publication

    Open Access
    File

  • True real-time change data capture with web service database encapsulation

    Eccles, M. J., Evans, D. J. & Beaumont, A. J., 2010, Proceedings : 2010 6th World Congress on Services, Services-1. Piscataway, NJ (US): IEEE, p. 128-131 4 p.

    Research output: Chapter in Book/Published conference output › Conference publication

  • 2011

    A diversity dilemma in evolutionary markets

    Lewis, P. R., Marrow, P. & Yao, X., 1 Dec 2011, ICEC '11: proceedings of the 13th International Conference on Electronic Commerce. New York, NY (US): ACM, 10 p. 29. (ACM international conference proceeding series).

    Research output: Chapter in Book/Published conference output › Conference publication

  • Analysis of nocturnal oxygen saturation recordings using kernel entropy to assist in sleep apnea-hypopnea diagnosis

    Marcos, J. V., Hornero, R., Nabney, I. T., Álvarez, D. & del Campo, F., 2011, Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC, 2011. IEEE, p. 1745-1748 4 p. (Conference proceedings IEEE Engineering in Medicine and Biology Society).

    Research output: Chapter in Book/Published conference output › Conference publication

  • AstonCAT-plus: an efficient specialist for the TAC market design tournament

    Chang, M., He, M. & Luo, X., 2011, Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence. Walsh, T. (ed.). Palo Alto (US): AAAI, Vol. 1. p. 146-151 6 p.

    Research output: Chapter in Book/Published conference output › Conference publication

    Open Access
    File

  • A survey of self-awareness and its application in computing systems

    Lewis, P. R., Chandra, A., Parsons, S., Robinson, E., Glette, K., Bahsoon, R., Torresen, J. & Yao, X., 2011, Proceedings : 2011 5th IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2011. IEEE, p. 102-107 6 p.

    Research output: Chapter in Book/Published conference output › Conference publication

    Open Access
    File

  • Automatic object segmentation from calibrated images

    Campbell, N. D. F., Vogiatzis, G., Hernández, C. & Cipolla, R., 2011, 2011 Conference for Visual Media Production (CVMP). IEEE, p. 126-137 12 p.

    Research output: Chapter in Book/Published conference output › Conference publication

  • Comparison between conventional and stochastic pinning control

    Herzallah, R. & Lowe, D., 2011, 2011 19 th Mediterranean Conference on Control and Automation (MED). IEEE, p. 730-735 6 p.

    Research output: Chapter in Book/Published conference output › Conference publication

  • Design software architecture models using ontology

    Sun, J., Wang, H. H. & Hu, T., Dec 2011, SEKE 2011 - Proceedings of the 23rd International Conference on Software Engineering and Knowledge Engineering. p. 191-196 6 p. (International Conference on Software Engineering and Knowledge Engineering. Proceedings).

    Research output: Chapter in Book/Published conference output › Conference publication

  • Improving scheduling techniques in heterogeneous systems with dynamic, on-line optimisations

    Bogdański, M., Lewis, P. R., Becker, T. & Yao, X., 2011, Proceedings of the International Conference on Complex, Intelligent and Software Intensive Systems, CISIS 2011. IEEE, p. 496-501 6 p.

    Research output: Chapter in Book/Published conference output › Conference publication

  • Live 3D shape reconstruction, recognition and registration

    Hernández, C., Perbet, F., Pham, M-T., Vogiatzis, G., Woodford, O. J., Maki, A., Stenger, B. & Cipolla, R., 2011, Proceedings of the IEEE International Conference on Computer Vision. IEEE, p. 729 1 p.

    Research output: Chapter in Book/Published conference output › Conference publication

  • Meta level component-based framework for distributed computing systems

    Lai, A. S-Y. & Beaumont, A., 20 Jul 2011, Proceedings of the international conference on Human-centric Computing 2011 and Embedded and Multimedia Computing 2011: HumanCom & EMC 2011. Park, J. J., Jin, H., Liao, X. & Zheng, R. (eds.). Netherlands: Springer, p. 405-414 10 p. (Lecture Notes in Electrical Engineering; vol. 102).

    Research output: Chapter in Book/Published conference output › Conference publication

  • Permanent magnet synchronous generator based wind power generation system fault protection schemes

    Yang, J., Fletcher, J. E. & O'Reilly, J., Dec 2011, IET Conference on Renewable Power Generation (RPG 2011). IET, p. 14-18 5 p.

    Research output: Chapter in Book/Published conference output › Conference publication

  • Preface

    Chio, C. D., Cagnoni, S., Cotta, C., Ebner, M., Ekárt, A., Esparcia-Alcázar, A. I., Merelo, J. J., Neri, F., Preuss, M., Richter, H., Togelius, J. & Yannakakis, G. N., 2011, European Conference on Applications of Evolutionary Computation, EvoApplications 2011 and Workshop on EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC 2011. Springer, Vol. 6624. p. VII-XI (Lecture Notes in Computer Science; vol. 6624).

    Research output: Chapter in Book/Published conference output › Conference publication

  • Run-time resolution of uncertainty

    Welsh, K., Sawyer, P. & Bencomo, N., 1 May 2011, 2011 IEEE 19th International Requirements Engineering Conference. IEEE, p. 355-356 2 p. (IEEE conference publications).

    Research output: Chapter in Book/Published conference output › Conference publication

    Open Access
    File

  • Semantic enabled sensor network design

    Sun, J., Wang, H. H. & Gu, H., Dec 2011, SEKE 2011 - Proceedings of the 23rd International Conference on Software Engineering and Knowledge Engineering. p. 179-184 6 p. (International Conference on Software Engineering and Knowledge Engineering. Proceedings).

    Research output: Chapter in Book/Published conference output › Conference publication

  • Summary of the 5th international workshop on models@run.time

    Bencomo, N., Blair, G., Fleurey, F. & Jeanneret, C., 2011, Models in software engineering: workshops and symposia at MoDELS 2010, Oslo, Norway, October 2-8, 2010, reports and revised selected papers. Dingel, J. & Solberg, A. (eds.). Berlin (DE): Springer, p. 204-208 5 p. (Lecture notes in computer science; no. 6627).

    Research output: Chapter in Book/Published conference output › Conference publication

  • The mosaic test: benchmarking colour-based image retrieval systems using image mosaics

    Plant, W., Lumsden, J. & Nabney, I., 2011, Proceedings of 1st European Workshop on Human-Computer Interaction and Information Retrieval (EuroHCIR). CEUR-WS.org, p. 23-26 4 p. (CEUR workshop proceedings; vol. 763).

    Research output: Chapter in Book/Published conference output › Conference publication

    Open Access
    File

  • Towards requirements aware systems: run-time resolution of design-time assumptions

    Welsh, K., Sawyer, P. & Bencomo, N., 2011, ASE '11: Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering. IEEE, p. 560-563 4 p. (IEEE / ACM International Conference on Automated Software Engineering).

    Research output: Chapter in Book/Published conference output › Conference publication

    Open Access
    File

  • Tracing requirements for adaptive systems using claims

    Welsh, K., Bencomo, N. & Sawyer, P., 2011, TEFSE '11: Proceedings of the 6th International Workshop on Traceability in Emerging Forms of Software Engineering. New York, NY (US): ACM, p. 38-41 4 p.

    Research output: Chapter in Book/Published conference output › Conference publication

  • Uncertainty propagation in the model web: a case study with e-Habitat

    Skøien, J., Truong, P., Dubois, G., Cornford, D., Heuvelink, G. B. M. & Geller, G., 1 Dec 2011, 34th International Symposium on Remote Sensing of Environment - The GEOSS Era: Towards Operational Environmental Monitoring. ICRSE

    Research output: Chapter in Book/Published conference output › Conference publication

  • “Showing off” your mobile device: adult literacy learning in the classroom and beyond

    Munteanu, C., Molyneaux, H., McDonald, D., Lumsden, J., Leung, R., Fournier, H. & Maitland, J., 2011, Proceedings of 13th International Conference on Human-Computer Interaction with Mobile Devices and Service (MobileHCI’2011). New York (US): ACM, p. 95-104 10 p.

    Research output: Chapter in Book/Published conference output › Conference publication

  • 2012

    A Bayesian modeling approach to multi-dimensional sentiment distributions prediction

    He, Y., 2012, Proceeding : WISDOM '12 proceedings of the first international workshop on issues of sentiment discovery and opinion mining. Cambria, E., Yongzheng, Z., Yunqing, X. & Newton, H. (eds.). New York, NY (US) : ACM

    Research output: Chapter in Book/Published conference output › Conference publication

  • A generative model for online depth fusion

    Woodford, O. J. & Vogiatzis, G., 2012, Computer vision – ECCV 2012: 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, proceedings, Part V. Fitzgibbon, A., Lazebnik, S., Perona, P., Sato, Y. & Schmid, C. (eds.). Berlin (DE): Springer, p. 144-157 14 p. (Lecture notes in computer science; no. 7576).

    Research output: Chapter in Book/Published conference output › Conference publication

  • A quest for helpful feedback to programming coursework

    Wong, S. H. S. & Beaumont, A. J., 2012, Conference proceedings for EE2012: innovation, practice and research in engineering education. Higher Education Academy, 11 p. GP152/abs084

    Research output: Chapter in Book/Published conference output › Conference publication

    Open Access
    File

  • Automatic identification of best answers in online enquiry communities

    Burel, G., He, Y. & Alani, H., 2012, The semantic web : research and applications: 9th extended semantic web conference, ESWC 2012, Heraklion, Crete, Greece, May 27-31, 2012. Proceedings. Simperl, E., Cimiano, P., Polleres, A., Corcho, O. & Presutti, V. (eds.). Heidelberg (DE): Springer, Vol. 7295. p. 514-529 16 p. (Lecture notes in computer science; vol. 7295).

    Research output: Chapter in Book/Published conference output › Conference publication

  • Enhancing student learning experience through a novel electronic coursework assessment and feedback management system

    Wong, S. H. S., Taylor, J. E. & Beaumont, A. J., 18 Sept 2012, Proceedings for EE2012 - Innovation, Practice and Research in Engineering Education. Higher Education Academy, 12 p.

    Research output: Chapter in Book/Published conference output › Conference publication

    Open Access
    File

  • Feature LDA: a supervised topic model for automatic detection of web API documentations from the web

    Lin, C., He, Y., Pedrinaci, C. & Domingue, J., 2012, The semantic web – ISWC 2012: 11th international semantic web conference, Boston, MA, USA, November 11-15, 2012, proceedings, part 1. Cudré-Mauroux, P., Heflin, J., Sirin, E. & E. A. (eds.). Heildelberg (DE): Springer, Vol. 7649. p. 328-343 16 p. (Lecture notes in computer science; vol. 7649).

    Research output: Chapter in Book/Published conference output › Conference publication

  • Helicopter vibration sensor selection using data visualisation

    Gill, W. S., Nabney, I. T. & Wells, D., Jul 2012, IEEE International Workshop on Machine Learning for Signal Processing, MLSP 2012. IEEE, 6 p. (Machine learning for signal processing).

    Research output: Chapter in Book/Published conference output › Conference publication

    Open Access
    File

  • How the web of things challenges requirements engineering

    Sawyer, P., Pathak, A., Bencomo, N. & Issarny, V., 2012, Current trends in web engineering: ICWE 2012 International Workshops: MDWE, ComposableWeb, WeRE, QWE, and Doctoral Consortium, Berlin, Germany, July 23-27, 2012, Revised Selected Papers. Grossniklaus, M. & Wimmer, M. (eds.). Berlin (DE): Springer, p. 170-175 6 p. (Lecture notes in computer science; no. 7703).

    Research output: Chapter in Book/Published conference output › Conference publication

  • Improved adaptivity and robustness in decentralised multi-camera networks

    Esterle, L., Rinner, B., Lewis, P. R. & Yao, X., 2012, 2012 6th International Conference on Distributed Smart Cameras, ICDSC 2012. IEEE, 6 p.

    Research output: Chapter in Book/Published conference output › Conference publication

    Open Access
    File

  • Integrating OpenMI and Uncertweb: managing uncertainty in OpenMI models

    Gupta, T., Jones, R., Bastin, L. & Cornford, D., 6 Dec 2012, International Environmental Modelling and Software Society (iEMSs) 2012 International Congress on Environmental Modelling and Software. Managing Resources of a Limited Planet: Pathways and Visions under Uncertainty, sixth biennial meeting, Leipzig, Germany. Seppelt, R., Voinov, A. A., Lange, S. & Bankamp, D. (eds.). Manno (CH): International Environmental Modelling and Software Society , p. 1151-1158 8 p.

    Research output: Chapter in Book/Published conference output › Conference publication

    Open Access
    File

  • Market-awareness in service-based systems

    Torres, R., Bencomo, N. & Astudillo, H., 2012, 2012 IEEE sixth international conference on self-adaptive and self-organizing systems workshops SASOW 2012. IEEE, p. 169-174 6 p.

    Research output: Chapter in Book/Published conference output › Conference publication

    Open Access
    File

  • Mitigating the obsolescence of quality specifications models in service-based systems

    Torres, R., Bencomo, N. & Astudillo, H., 2012, Mmodel-driven requirements engineering workshop (MoDRE), 2012 IEEE. IEEE, p. 68-76 9 p.

    Research output: Chapter in Book/Published conference output › Conference publication

    Open Access
    File

  • Novel visualization methods for protein data

    Mumtaz, S., Nabney, I. & Flower, D., 2012, 2012 IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology (CIBCB). IEEE, p. 198-205 8 p.

    Research output: Chapter in Book/Published conference output › Conference publication

    Open Access
    File

  • Proactive environmental systems: the next generation of environmental monitoring

    Rönkkö, M., Kotovirta, V., Karatzas, K., Bastin, L., Stocker, M. & Kolehemainen, M., 1 Dec 2012, International Environmental Modelling and Software Society (iEMSs) 2012 International Congress on Environmental Modelling and Software. Managing Resources of a Limited Planet: Pathways and Visions under Uncertainty, sixth biennial meeting, Leipzig, Germany. Seppelt, R., Voinov, A. A., Lange, S. & Bankamp, D. (eds.). International Environmental Modelling and Software Society , Vol. Manno (CH). 8 p.

    Research output: Chapter in Book/Published conference output › Conference publication

    Open Access
    File

  • Relaxing claims: coping with uncertainty while evaluating assumptions at run time

    Ramirez, A., H.C. Cheng, B., Bencomo, N. & Sawyer, P., 1 Sept 2012, Model driven engineering languages and systems: 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings. France, R. B., Kazmeier, J., Breu, R. & Atkinson, C. (eds.). Springer, p. 53-69 17 p. (Lecture notes in computer science; no. 7590).

    Research output: Chapter in Book/Published conference output › Conference publication

  • Resource-aware configuration in smart camera networks

    Rinner, B., Dieber, B., Esterle, L., Lewis, P. R. & Yao, X., 20 Aug 2012, IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops. p. 58-65 8 p. 6239207

    Research output: Chapter in Book/Published conference output › Conference publication

    Open Access
    File

  • Run-time model evaluation for requirements model-driven self-adaptation

    Welsh, K. & Bencomo, N., 1 Jan 2012, 2012 20th IEEE International Requirements Engineering Conference (RE): proceedings. IEEE, p. 329-330 2 p. (IEEE conference publications).

    Research output: Chapter in Book/Published conference output › Conference publication

    Open Access
    File

  • Satisfying requirements for pervasive service compositions

    Cavallaro, L., Sawyer, P., Sykes, D., Bencomo, N. & Issarny, V., 2012, MRT '12 Proceedings of the 7th Workshop on Models@run.time. New York, NY (US) : ACM, p. 17-22 6 p.

    Research output: Chapter in Book/Published conference output › Conference publication

    Open Access