| Issue Date | Title | Type | Author(s) |
Dec-2012 | A Monte-Carlo path planner for dynamic and partially observable environments
Proceedings of the IEEE Conference on Computational Intelligence and Games (CIG), 2012 | Meetings and Proceedings | Naveed, M. (Munir); Kitchin, D. (Diane); Crampton, A. (Andrew); Chrpa, L. (Lukas); Gregory, P. J. (Peter) |
Oct-2012 | Automatic planning for machine tool calibration: a case study
Expert Systems with Applications | Article | Parkinson, S. (Simon); Longstaff, A. P. (Andrew); Fletcher, S. (Simon); Crampton, A. (Andrew); Gregory, P. J. (Peter) |
Oct-2012 | Intelligent Corporate Sustainability report scoring solution using machine learning approach to text categorization
3rd IEEE conference on sustainable utilization and development in engineering and technology, 2012, Kuala Lumpur, Malaysia, October 6 - October 9, 2012. | Meetings and Proceedings | Shahi, A. M. (Amir); Issac, B. (Biju); Modapothala, J. R. (Jashua) |
Sep-2012 | Modelling road traffic incident management problems for automated planning
Control in Transportation Systems | Article | Gregory, P. J. (Peter); Shah, M. M. S. (Mohammad); McCluskey, T. L.; Jimoh, F. (Falilat) |
Aug-2012 | Automated verification of shape, size and bag properties via user-defined predicates in separation logic
Science of Computer Programming | Article | Chin, W-N. (Wei-Ngan); David, C. (Cristina); Nguyen, H. H. (Huu Hai); Qin, S. (Shengchao) |
Aug-2012 | OCL plus: processes and events in object-centred planning
6th starting AI researchers' symposium (STAIRS), 241, 2012, Monpellier, France | Meetings and Proceedings | Shah, M. M. S. (Mohammad); Gregory, P. J. (Peter); McCluskey, T. L.; Jimoh, F. (Falilat); Chrpa, L. (Lukáš) |
Jun-2012 | Web user requirements: a support framework for students | Thesis or dissertation | Bingham, A. (Andrew) |
May-2012 | Enhanced intelligent text categorization using concise keyword analysis
Proceedings of IEEE International Conference on Innovation, Management and Technology Research 2012 (ICIMTR 2012) | Meetings and Proceedings | Shahi, A. M. (Amir); Issac, B. (Biju); Modapothala, J. R. (Jashua) |
5-Apr-2012 | Planning modulo theories: extending the planning paradigm
Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling (ICAPS 2012) | Meetings and Proceedings | Gregory, P. J. (Peter); Long, D. (Derek); Fox, M. (Maria) |
Apr-2012 | Approaches to modelling security scenarios with domain-specific languages
Lecture Notes in Computer Science | Article | Brooke, P. J. (Phillip); Paige, R. F. (Richard); Power, C. (Christopher) |
Feb-2012 | Interactivity-constrained server provisioning in large-scale distributed virtual environments
IEEE Transactions on Parallel and Distributed Systems | Article | Ta, D. N. B. (Duong); Nguyen, T. (Thang); Zhou, S. (Suiping); Tang, X. (Xueyan); Cai, W. (Wentong); Ayani, R. (Rassul) |
Jan-2012 | Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
Journal of Logic and Algebraic Programming | Article | Zhu, H. (Huibiao); Yang, F. (Fan); He, J. (Jifeng); Bowen, J. P. (Jonathan); Sanders, J. W. (Jeff); Qin, S. (Shengchao) |
2012 | Motion disabled: Unlimited | Film; Show/Exhibition | McKeown, S. (Simon) |
2012 | Linking unifying theories of program refinement
Science of Computer Programming | Article | Hayes, I. J. (Ian); Dunne, S. E. (Steve); Meinicke, L. (Larissa) |
2012 | Revealing complexity through domain-specific modelling and analysis
Large-scale complex IT systems. development, operation and management | Article | Paige, R. F. (Richard); Brooke, P. J. (Phillip); Ge, X. (Xiaocheng); Power, C. (Christopher); Burton, F. R. (Frank); Poulding, S. (Simon) |
2012 | Behaviour-based cheat detection in multiplayer games with Event-B
Lecture Notes in Computer Science | Meetings and Proceedings | Tian, H. (HaiYun); Brooke, P. J. (Phillip); Bosser, A-G. (Anne-Gwenn) |
2012 | PINTER: interactive storytelling with physiological input
IUI '12 Proceedings of the 2012 ACM international conference on Intelligent User Interfaces | Meetings and Proceedings | Gilroy, S. W. (Stephen); Porteous, J. (Julie); Charles, F. (Fred); Cavazza, M. O. (Marc) |
2012 | Generating context-sensitive ECA responses to user barge-in interruptions
Journal on Multimodal User Interfaces | Article | Crook, N. (Nigel); Field, D. (Debora); Smith, C. (Cameron); Harding, S. (Sue); Pulman, S. G. (Stephen); Cavazza, M. O. (Marc); Charlton, D. (Daniel); Moore, R. K. (Roger); Boye, J. (Johan) |
2012 | Exploring passive user interaction for adaptive narratives
Proceedings of the 2012 ACM International Conference on Intelligent User Interfaces | Meetings and Proceedings | Gilroy, S. W. (Stephen); Porteous, J. (Julie); Charles, F. (Fred); Cavazza, M. O. (Marc) |
2012 | Motion disabled:Face | Animation | McKeown, S. (Simon) |
