Search research publications and outputs

  1. 2011
  2. Bayesian network learning with cutting planes

    Cussens, J., 2011, Proceedings of the 27th Conference on Uncertainty in Artificial Intelligence (UAI 2011). Cozman, F. & Pfeffer, A. (eds.). Corvallis, Oregon: AUAI Press, p. 153-160 8 p.

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

  3. Empirical results from an evaluation of the accessibility of websites by dyslexic users

    Freire, A. P., Petrie, H. & Power, C. D., 2011, Proceedings of the Workshop on Accessible Design in the Digital World. p. 41-53 13 p.

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

  4. Full Implementation of an Estimation of Distribution Algorithm on a GPU

    Poulding, S. M., Staunton, J. P. & Burles, N. J., 2011.

    Research output: Contribution to conferencePaper

  5. The value chain for web accessibility: challenges and opportunities

    Petrie, H., Power, C. D., Swallow, D., Velasco, C. A., Gallagher, B., Magennis, M., Murphy, E., Collin, S. & Down, K., 2011, Proceedings of Accessible Design In the Digital World 2011. University of York

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

  6. Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models

    Santos, O. M. D., Woodcock, J. & Paige, R. F., 2011, 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. Perseil, I., Breitman, K. & Sterritt, R. (eds.). IEEE Computer Society Press, p. 117-126 10 p.

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

  7. 2010
  8. INTELLIGENT DECISION SUPPORT FOR TRAFFIC MANAGEMENT

    Krishnan, R., Hodge, V., Austin, J., Polak, J., Jackson, T., Smith, M. & Lee, T., 25 Oct 2010.

    Research output: Contribution to conferencePaper

  9. AURA-Alert: The use of Binary Associative Memories for Condition Monitoring Applications

    Austin, J., Jackson, T., Hodge, V. J. & Brewer, G., 22 Jun 2010, p. 699-711.

    Research output: Contribution to conferencePaper

  10. 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 conferencePaper

  11. 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 conferencePaper

  12. Building Model-Driven Engineering Traceability

    Paige, R. F., Olsen, G. K., Kolovos, D., Zschaler, S. & Power, C. D., 2010, ECMDA Traceability Workshop (ECMDA-TW). Sintef, p. 49 1 p.

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

  13. Sequential Data Mining using Correlation Matrix Memory

    Shanker, S., Turner, A., Sherly, E. & Austin, J., 2010, Proceedings. ICNIT 2010 International Conference on Networking and Information Technology. IEEE, p. 470-472 3 p.

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

  14. Spectrogram Track Detection: An Active Contour Algorithm

    Lampert, T., 2010, York: The Department of Computer Science, University of York. 201 p.

    Research output: ThesisDoctoral Thesis

  15. Understanding visitors' experiences with multimedia guides in cultural spaces

    Othman, M. K., Petrie, H. & Power, C. D., 2010, Proceedings of Transforming Culture in the Digital Age (International Conference in Tartu, April 14--16), Tartu, Estonia. Estonian National Museum, Estonian Literary Museum, University of Tartu, p. 30-36

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

  16. ‘Quantum’ Parallel computation with neural networks

    Burles, N. J., 2010, 85 p.

    Research output: ThesisMaster's Thesis

  17. 2009
  18. Improved storage capacity in correlation matrix memories storing fixed weight codes

    Hobson, S. J. & Austin, J., 16 Sep 2009, Lecture Notes in Computer Science. PART 1 ed. ICANN 2009: Springer, Vol. 5768. p. 728-736 9 p. (Lecture Notes in Computer Science).

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

  19. Intelligent Car Park Routeing for Road Traffic

    Hodge, V. J., Smith, M. & Austin, J., 22 Jun 2009, p. 326-333.

    Research output: Contribution to conferencePaper

  20. Optimising Activation of Bus Pre-signals

    Hodge, V. J., Jackson, T. & Austin, J., 22 Jun 2009, p. 344-353.

    Research output: Contribution to conferencePaper

  21. 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

  22. Line Detection Methods for Spectrogram Images

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

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

  23. 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

  24. Who supports the support workers? E-learning for support workers of students with disabilities

    Power, C. D., Petrie, H., Swallow, D. & Sannia, M., 2009, CTA 2009 Proceedings of the Second International Conference on Information and Communication Technologies and Accessibility. p. 167-178 12 p.

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

  25. 2008
  26. Manifesto - Model Engineering for Complex Systems

    Bézivin, J., Paige, R. F., Aßmann, U., Rumpe, B. & Schmidt, D., 17 Oct 2008, Perspectives Workshop: Model Engineering of Complex Systems (MECS). 4 p. (Dagstuhl Seminar Proceedings; vol. 08331).

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

  27. Identifying Perceptual Structures In Trademark Images

    Hodge, V. J., Hollier, G. P., Austin, J. & Eakins, J., 13 Feb 2008, p. 1-6. 6 p.

    Research output: Contribution to conferencePaper

  28. Active Contour Detection of Linear Patterns in Spectrogram Images

    Lampert, T. & O'Keefe, S., 2008, 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. NEW YORK: IEEE, p. 3350-3353 4 p.

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

  29. Bayesian network learning by compiling to weighted MAX-SAT

    Cussens, J., 2008, Proceedings of the 24th Conference on Uncertainty in Artificial Intelligence (UAI 2008). McAllester, D. & Myllymaki, P. (eds.). Corvallis, Oregon: AUAI Press, p. 105-112 8 p.

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

  30. Observations for Assertion-based Scenarios in the context of Model Validation and Extension to Test Case Generation

    Aydal, E. G., Paige, R. F. & Woodcock, J., 2008, First International Conference on Software Testing Verification and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, Workshops Proceedings. IEEE Computer Society Press, p. 11-20 10 p.

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

  31. 2007
  32. 2006
  33. Multi-cultural visualization : how functional programming can enrich visualization (and vice versa)

    Borgo, R., Duke, D., Wallace, M. & Runciman, C., 22 Nov 2006, Vision, Modeling, and Visualization 2006 : Proceedings, November 22 - 24, 2006. AKA Verlag - IOS Press, p. 245-252 7 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter