Search research publications and outputs

  1. "Look Ma, no landmarks!" - Unsupervised, model-based dense face alignment

    Koizumi, T. & Smith, W. A. P., 2 Jul 2020, (Accepted/In press) 16th European Conference on Computer Vision (ECCV 2020) Proceedings. Springer-Verlag, (LNCS).

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

  2. 3D Mesh Steganalysis using local shape features

    Li, Z. & Bors, A. G., May 2016, Proc. IEEE Int. Conf. on Acoustics, Speech and Signal Processing (ICASSP). IEEE, p. 2144-2148 5 p.

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

  3. 3D Steganalysis Using LaplacianSmoothing at Various Levels

    Li, Z., Liu, F. & Bors, A. G., 2018, Proc. International Conference on Cloud Computing and Security (ICCCS). Springer, Vol. 11068. p. 223-232 (Lecture Notes in Computer Science).

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

  4. 3D Steganalysis Using the Extended Local Feature Set

    Li, Z., Gong, D., Liu, F. & Bors, A. G., 2018, Proc. of IEEE International Conference on Image Processing. IEEE, p. 1683-1687 5 p.

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

  5. A 2D Morphable Model of Craniofacial Profile and its Application to Craniosynostosis

    Dai, H., Pears, N. E. & Duncan, C., 30 Nov 2017.

    Research output: Contribution to conferencePaperpeer-review

  6. A 3D Morphable Model of Craniofacial Shape and Texture Variation

    Dai, H., Pears, N. E., Smith, W. A. P. & Duncan, C., 25 Dec 2017, Proceedings - 2017 IEEE International Conference on Computer Vision, ICCV 2017. Vol. 2017-October. p. 3104-3112 9 p. 8237597. ( Title Proceedings / IEEE International Conference on Computer Vision.).

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

  7. A Binary Neural Decision Table Classifier

    Hodge, V. J., O'Keefe, S. & Austin, J., 29 Aug 2004.

    Research output: Contribution to conferencePaperpeer-review

  8. A Binary Neural Network Framework for Attribute Selection and Prediction

    Hodge, V. J., Jackson, T. & Austin, J., 5 Oct 2012, p. 510-515. 5 p.

    Research output: Contribution to conferencePaperpeer-review

  9. A Binary Neural Shape Matcher using Johnson Counters and Chain Codes

    Hodge, V., O'Keefe, S. & Austin, J., 10 Mar 2006, BICS.

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

  10. A Calculus of Space, Time, and Causality: its Algebra, Geometry, Logic

    Hoare, T., Struth, G. & Woodcock, J. C. P., 4 Nov 2019, Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. Ribeiro, P. & A. S. (eds.). Lecture Notes in Computer Science, Vol. 11885.

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

  11. A Comparison Framework for Spectrogram Track Detection Algorithms

    Lampert, T. & O'Keefe, S., 1 May 2009, Computer Recognition Systems . Kurzynski, M. & Wozniak, M. (eds.). Springer, Vol. 3. p. 119 126 p. (Advances in Intelligent and Soft Computing ; vol. 57/2009).

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

  12. A Comparison of Self-Play Algorithms Under a Generalized Framework

    Hernandez, D., Denamganai, K., Devlin, S., Samothrakis, S. & Walker, J. A., 11 Feb 2021

    Article in IEEE Transactions on Games

  13. A Computationally Efficient Method for Online Identification of Traffic Control Intervention Measures

    Krishnan, R., Hodge, V. J., Austin, J. & Polak, J., 5 Jan 2010.

    Research output: Contribution to conferencePaperpeer-review

  14. A Conceptual Framework of Business Model Emerging Resilience

    Goumagias, N., Fernandes, K., Cabras, I., Li, F., Shao, J., Devlin, S., Hodge, V. J., Cowling, P. I. & Kudenko, D., 7 Jul 2016.

    Research output: Contribution to conferencePaperpeer-review

  15. A Data-augmented 3D Morphable Model of the Ear

    Dai, H., Pears, N. E. & Smith, W. A. P., 15 May 2018, The 13th IEEE International Conference on AUTOMATIC FACE AND GESTURE RECOGNITION (FG 2018) . IEEE, 5 p.

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

  16. A Database and Evaluation for Classification of RNA Molecules Using Graph Methods

    Algul, E. & Wilson, R. C., 13 Jun 2019, Graph-Based Representations in Pattern Recognition - 12th IAPR-TC-15 International Workshop, GbRPR 2019, Tours, France, June 19-21, 2019, Proceedings. Springer, p. 78-87 10 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  17. A Deep Hybrid Graph Kernel through Deep Learning Networks

    Cui, L., Bai, L., Rossi, L. & Hancock, E. R., 11 Apr 2018, (Accepted/In press).

    Research output: Contribution to conferencePaperpeer-review

  18. A Domain Specific Transformation Language to Bridge Concrete and Abstract Syntax

    Herrera, A. S-B., Willink, E. D. & Paige, R. F., 1 Jul 2017, Theory and Practice of Model Transformations - 9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings. SPRINGER, p. 3-18 16 p. (Lecture Notes in Computer Science; vol. 9765).

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

  19. A Fast Graph Program for Computing Minimum Spanning Trees

    Courtehoute, B. & Plump, D., 3 Dec 2020, Graph Computation Models (GCM 2020), Revised Selected Papers. p. 163-180 18 p. (Electronic Proceedings in Theoretical Computer Science; vol. 330).

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

  20. A Game that Makes You Question...” Exploring the Role of Reflection for the Player Experience

    Mekler, E., Iacovides, I. & Bopp, J., Oct 2018, Proceedings of the annual ACM Conference CHI Play 2018. ACM

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

  21. A Graph Kernel based on Jensen-Shannon Representation

    Bai, L., Zhang, Z. & Hancock, E. R., 2015, International Joint Conference on Artificial Intelligence (IJCAI). 8 p.

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

  22. A Grounded Analysis of Player-Described Board Game Immersion

    Farkas, T., Wiseman, S., Cairns, P. A. & Fiebrink, R., 2 Nov 2020, Proceedings of ACM CHI Play 2020. p. 427-437 11 p.

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

  23. A HADOOP-Based Framework for Parallel and Distributed Feature Selection

    Hodge, V. J., Jackson, T. & Austin, J., 1 Sep 2013, Department of Computer Science, University of York, UK

    Research output: Other contribution

  24. A Hierarchical Transitive-Aligned Graph Kernel for Un-attributed Graphs

    Bai, L., Cui, L. & Hancock, E. R., 8 Feb 2020, 8 p. (arXiv).

    Research output: Working paper

  25. A Jensen-Shannon Divergence Kernel for Directed Graphs

    Ye, C., Wilson, R. C. & Hancock, E. R., 8 Nov 2016, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2016, Mérida, Mexico, November 29 - December 2, 2016, Proceedings. p. 196-206 11 p. (Lecture Notes in Computer Science (LNCS); vol. 10029).

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

  26. A Lightweight Hat: simple type-preserving instrumentation for self-tracing lazy functional programs

    Chitil, O., Faddegon, M. & Runciman, C., 2016, Proceedings of 28th Symposium on Implementation and Application of Functional Languages. ASSOC COMPUTING MACHINERY, 10

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

  27. A Mixed Method Approach for Evaluating and Improving the Design of Learning in Puzzle Games

    Scozzi, M. V., Iacovides, I. & Linehan, C., 1 Oct 2017, The ACM SIGCHI Annual Symposium on Computer-Human Interaction in Play (CHIPLAY 2017). ACM, p. 217-228

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

  28. A Morphable Face Albedo Model

    Smith, W. A. P., Seck, A., Dee, H., Tiddeman, B., Tenenbaum, J. & Egger, B., 27 Feb 2020, (Accepted/In press) Proceeding of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR 2020) . IEEE

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

  29. A Multi-Scale Piecewise-Linear Feature Detector for Spectrogram Tracks

    Lampert, T., Pears, N. & O'Keefe, S., 2009, AVSS: 2009 6TH IEEE INTERNATIONAL CONFERENCE ON ADVANCED VIDEO AND SIGNAL BASED SURVEILLANCE. NEW YORK: IEEE, p. 330-335 6 p.

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

  30. A Multi-agent Framework for Dependable Adaptation of Evolving System Architectures

    Johnson, K. H. A., Sinha, R., Calinescu, R. & Ruan, J., 2015, 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA). IEEE, p. 159-166

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

  31. A Multiresolution 3D Morphable Face Model and Fitting Framework

    Huber, P., Hu, G., Tena, R., Mortazavian, P., Koppen, W. P., Christmas, W., Rätsch, M. & Kittler, J., Feb 2016, Proceedings of the 11th Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications. SciTePress, Vol. 4. p. 79-86

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

  32. A Nested Alignment Graph Kernel through the Dynamic Time Warping Framework

    Bai, L., Rossi, L., Cui, L. & Hancock, E. R., 2017, Graph-Based Representations in Pattern Recognition - 11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 16-18, 2017, Proceedings. Springer Berlin / Heidelberg, p. 59-69 11 p.

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

  33. A New Look at the Refund Mechanism in the Bitcoin Payment Protocol

    Avizheh, S., Safavi-Naini, R. & Shahandashti, S. F., Dec 2018, p. 369-387. 19 p.

    Research output: Contribution to conferencePaperpeer-review

  34. A Novel Flow Control Mechanism to Avoid Multi-Point Progressive Blocking in Hard Real-Time Priority-Preemptive NoCs

    Burns, A., Soares Indrusiak, L., Smirnov, N. & Harrison, J., 11 Jun 2020, 26th IEEE Real-Time and Embedded Technology and Applications Symposium: Proceedings. IEEE

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

  35. A Quantum-inspired Entropic Kernel for Multiple Financial Time Series Analysis

    Bai, L., Cui, L., Wang, Y., Jiao, Y. & Hancock, E. R., 1 Jul 2020, Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI-20. International Joint Conferences on Artificial Intelligence Organization, p. 4453-4460 8 p.

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

  36. A Real-Time CAN-CAN Gateway with Tight Latency Analysis and Targeted Priority Assignment

    Xie, G., Gong, H., Han, Y., Chakraborty, S. & Chang, W., 14 Sep 2020, (Accepted/In press) IEEE Real-Time Systems Symposium (RTSS).

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

  37. A Review of Motion Planning Algorithms for Robotic Arm Systems

    Liu, S. & Liu, P., 15 Nov 2020, (Accepted/In press) 8th International Conference on Robot Intelligence Technology and Applications (proceedings). IEEE

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

  38. A Rule Chaining Architecture Using a Correlation Matrix Memory

    Austin, J., Hobson, S. J., Burles, N. J. & O'Keefe, S., 2012, Artificial Neural Networks and Machine Learning – ICANN 2012: 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part I. PART 1 ed. SPRINGER-VERLAG BERLIN, Vol. 7552. p. 49-56 (Lecture Notes in Computer Science; vol. 7552).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  39. A Safety-Case Approach for Ethical Considerations for Autonomous Vehicles

    Menon, C. & Alexander, R. D., 1 Nov 2017.

    Research output: Contribution to conferencePaperpeer-review

  40. A Scalable, Correct Time-stamped Stack

    Dodds, M., Haas, A. & Kirsch, C. M., 2015, Proceedings of the 42th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages.. ACM, 14 p.

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

  41. A Secure Scheme for Group Communication of Wireless IoT Devices

    Alohali, B., Vasilakis, V., Moscholios, I. & Logothetis, M., 27 Sep 2018. 6 p.

    Research output: Contribution to conferencePaperpeer-review

  42. A Signature-based Intrusion Detection System for the Internet of Things

    Ioulianou, P., Vasilakis, V., Moscholios, I. & Logothetis, M., 8 Jun 2018, (Accepted/In press). 6 p.

    Research output: Contribution to conferencePaperpeer-review

  43. A Smart Contract for Boardroom Voting with Maximum Voter Privacy

    McCorry, P., Shahandashti, S. F. & Hao, F., 2017, Financial Cryptography and Data Security - 21st International Conference, FC 2017, Revised Selected Papers: 21st International Conference, FC 2017, Sliema, Malta, April 3-7, 2017, Revised Selected Papers. Kiayias, A. (ed.). Springer, p. 357-375 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10322 LNCS).

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

  44. A Strategic Roadmap for Business Model Change for the Video-games Industry

    Goumagias, N., Purvis, K., Fernandes, K., Cabras, I., Li, F., Shao, J., Devlin, S., Hodge, V. J., Cowling, P. & Kudenko, D., 3 May 2016, (Accepted/In press).

    Research output: Contribution to conferencePaperpeer-review

  45. A Structured Argument for Assuring Safety of the Intended Functionality (SOTIF)

    Birch, J., Blackburn, D., Botham, J., Habli, I., Higham, D., Monkhouse, H., Price, G. & Ratiu, N., 15 Sep 2020, International Workshop on Artificial Intelligence Safety Engineering . SPRINGER, p. 408-414 (Lecture Notes in Computer Science; vol. 12235).

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

  46. A Survey of Schedulability Analysis Techniques for Rate-Dependent Tasks

    Feld, T., Biondi, A., Davis, R. I., Buttazzo, G. C. & Slomka, F., 22 Dec 2017

    Article in Journal of Systems and Software

  47. A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems

    Maiza, C., Rihani, H., Rivas, J., goossens, J., Altmeyer, S. & Davis, R. I., Jul 2019

    Article in ACM Comput. Surv.

  48. A SysML Profile for Fault Trees: Linking Safety Models to System Design

    Clegg, K. D., McDermid, J. A., Grigg, A. & Mole, L., 8 Aug 2019, Computer Safety, Reliability, and Security: SAFECOMP 2019. Romanovsky, A. & Troubitsyna, E. (eds.). Springer Nature , Vol. 11698. p. 85-93 (Lecture Notes in Computer Science; vol. 11698).

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

  49. A Systematic Approach for Designing Mutation Operators for MDE languages

    Alhwikem, F. H. M., Paige, R. F., Rose, L. M. & Alexander, R. D., Oct 2016.

    Research output: Contribution to conferencePaperpeer-review

  50. A Team Based Player Versus Player Recommender Systems Framework For Player Improvement

    Joshi, R., Gupta, V., Li, X., Cui, Y., Wang, Z., Ravari, Y., klabjan, D., Sifa, R., Parsaianen, A., Drachen, A. & Demediuk, S. P., 29 Jan 2019, (Accepted/In press) Proceedings of ACSW.

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

  51. A Tool for Development and Evaluation of Accessible Web 2.0 Applications

    Kervina, D., Pustisek, M., Ackermann, P., Velasco, C. A. & Power, C. D., 2012, 21st International Electrotechnical and Computer Science Conference. IEEE COMPUTER SOC, p. 89-92 4 p.

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

  52. A Unary Semigroup Trace Algebra

    De Oliveira Salazar Ribeiro, P. F., 16 Dec 2019, (Accepted/In press) 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2020). Lecture Notes in Computer Science, 16 p.

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

  53. A Unified Neighbor Reconstruction Method for Embeddings

    Hancock, E. R., Zhang, Z. H. & Bai, L., 11 Apr 2018, (Accepted/In press). 6 p.

    Research output: Contribution to conferencePaperpeer-review

  54. A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP

    Oliveira, M. V. M., Júnior, I. S. D. M. & Woodcock, J., 2013, Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings. Hierons, R. M., Merayo, M. G. & Bravetti, M. (eds.). SPRINGER, Vol. 8137. p. 46-60 15 p. (Lecture Notes in Computer Science).

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

  55. A Visual Notation for the Representation of Assurance Cases using SACM

    Selviandro, N., Hawkins, R. D. & Habli, I., 16 Sep 2020, International Symposium on Model-Based Safety and Assessment. SPRINGER, p. 3-18 (LNCS; vol. 12297).

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

  56. A computationally efficient method for online identification of traffic incidents and network equipment failures

    Hodge, V. J., Krishnan, R., Austin, J. & Polak, J., 4 Apr 2010.

    Research output: Contribution to conferencePaperpeer-review

  57. A framework for constraint based local search using ESSENCE

    Akgun, O., Attieh, S. W. A., Gent, I. P., Jefferson, C. A., Miguel, I. J., Nightingale, P. W., Salamon, A. Z., Spracklen, P. & Wetter, J. P., 13 Jul 2018, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 1242-1248 7 p.

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

  58. A latent capture history model for digital aerial surveys

    Borchers, D., Nightingale, P., Stevenson, B. & Fewster, R., 10 Nov 2020, (Accepted/In press)

    Article in Biometrics (Journal of the International Biometric Society)

  59. A multi-arm bandit neighbourhood search for routing and scheduling problems

    Chen, Y., Cowling, P. I., Polack, F. A. C. & Mourdjis, P. J., 2016. 33 p.

    Research output: Contribution to conferencePaperpeer-review

  60. A neural network for mining large volumes of time series data

    Liang, B. & Austin, J., Dec 2005, IEEE International Conference on Industrial Technology (ICIT) 2005 (14-17 December 2005, City University of Hong Kong). New York: IEEE, Vol. 1-2. p. 688-693 5 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

Previous 1 2 3 4 5 6 7 8 ...12 Next