Skip to main content

Research Repository

Advanced Search

All Outputs (2058)

An exploration of the literature on the use of 'swarm intelligence-based techniques' for public service problems (2009)
Journal Article
Gökçen, H., Daş, G. S., Seçkiner, S. U., Dereli, T., & Aydin, M. E. (2009). An exploration of the literature on the use of 'swarm intelligence-based techniques' for public service problems. European Journal of Industrial Engineering, 3(4), 379-423. https://doi.org/10.1504/EJIE.2009.027034

The importance of studying public service systems and finding robust solutions to the problems encountered in public service management has increased considerably over the past decade. One of the main objectives is to find acceptable solutions to Pub... Read More about An exploration of the literature on the use of 'swarm intelligence-based techniques' for public service problems.

Aspect oriented software fault tolerance (2009)
Presentation / Conference
Hameed, K., Williams, R., & Smith, J. (2009, July). Aspect oriented software fault tolerance. Paper presented at 4th International Conference on Computer Science & Education (WCE09), Nanning, China

On dynamical genetic programming: Random boolean networks in learning classifier systems (2009)
Journal Article
Bull, L., & Preen, R. (2009). On dynamical genetic programming: Random boolean networks in learning classifier systems. Lecture Notes in Artificial Intelligence, 5481 LNCS, 37-48. https://doi.org/10.1007/978-3-642-01181-8_4

Many representations have been presented to enable the effective evolution of computer programs. Turing was perhaps the first to present a general scheme by which to achieve this end. Significantly, Turing proposed a form of discrete dynamical system... Read More about On dynamical genetic programming: Random boolean networks in learning classifier systems.

Multiuser scheduling in HSDPA with particle swarm optimization (2009)
Conference Proceeding
Aydin, M. E., Kwan, R., Leung, C., & Zhang, J. (2009). Multiuser scheduling in HSDPA with particle swarm optimization. In M. Giacobini, A. Brabazon, S. Cagnoni, G. A. Di Caro, A. Ekárt, A. Isabel Esparcia-Alcázar, …P. Machado (Eds.), Applications of Evolutionary Computing (71-80). https://doi.org/10.1007/978-3-642-01129-0_8

In this paper, a mathematical model of multiuser scheduling problem in HSDPA is developed to use in optimization process. A more realistic imperfect channel state information (CSI) feedback, which is required for this problem, in the form of a finite... Read More about Multiuser scheduling in HSDPA with particle swarm optimization.

Generating unambiguous URL clusters from web search (2009)
Conference Proceeding
Smith, G., Brailsford, T., Donner, C., Hooijmaijers, D., Truran, M., Goulding, J., & Ashman, H. (2009). Generating unambiguous URL clusters from web search. . https://doi.org/10.1145/1507509.1507514

This paper reports on the generation of unambiguous clusters of from clickthrough data from the MSN search query log (the RFP 2006 dataset). Selections (clickthroughs) by a user from a single query can be assumed to have some semantic relevance, and... Read More about Generating unambiguous URL clusters from web search.

A logic for coalitions with bounded resources (2009)
Presentation / Conference
Alechina, N., Logan, B., Nga, N. H., & Rakib, A. (2009, July). A logic for coalitions with bounded resources. Paper presented at Twenty First International Joint Conference on Artificial Intelligence, Pasadena CA, USA

Recent work on Alternating-Time Temporal Logic and Coalition Logic has allowed the expression of many interesting properties of coalitions and strategies. However there is no natural way of expressing resource requirements in these logics. This paper... Read More about A logic for coalitions with bounded resources.

An empirical investigation of search-based computational support for conceptual software engineering design (2009)
Presentation / Conference
Simons, C., & Parmee, I. (2009, July). An empirical investigation of search-based computational support for conceptual software engineering design. Paper presented at 2009 IEEE International Conference on Systems, Man and Cybernetics, San Antonio, Texas, USA

Conceptual software engineering design is an intensely people-oriented and non-trivial activity, yet current computational tool support is limited. While a number of search-based software engineering approaches to support software design have been r... Read More about An empirical investigation of search-based computational support for conceptual software engineering design.

Brief announcement on MOGRIBA: Multi-objective geographical routing for biomedical applications of WSN (2009)
Conference Proceeding
Djenouri, D., & Balasingham, I. (2009). Brief announcement on MOGRIBA: Multi-objective geographical routing for biomedical applications of WSN. https://doi.org/10.1007/978-3-642-05434-1_16

A new routing protocol for wireless sensor networks is proposed in this paper. The proposed protocol focuses on medical applications, by considering its traffic diversity and providing a differentiation routing using quality of service (QoS) metrics.... Read More about Brief announcement on MOGRIBA: Multi-objective geographical routing for biomedical applications of WSN.

Discrete dynamical genetic programming in XCS (2009)
Presentation / Conference
Preen, R., & Bull, L. (2009, July). Discrete dynamical genetic programming in XCS. Paper presented at 11th Annual conference on Genetic and evolutionary computation, Montreal, Canada

A number of representation schemes have been presented for use within Learning Classifier Systems, ranging from binary encodings to neural networks. This paper presents results from an investigation into using a discrete dynamical system representati... Read More about Discrete dynamical genetic programming in XCS.

Verifying time, memory and communication bounds in systems of reasoning agents (2009)
Journal Article
Alechina, N., Logan, B., Nguyen, H. N., & Rakib, A. (2009). Verifying time, memory and communication bounds in systems of reasoning agents. Synthese, 169(2), 385-403. https://doi.org/10.1007/s11229-009-9557-1

We present a framework for verifying systems composed of heterogeneous reasoning agents, in which each agent may have differing knowledge and inferential capabilities, and where the resources each agent is prepared to commit to a goal (time, memory a... Read More about Verifying time, memory and communication bounds in systems of reasoning agents.

Enabling diagrammatic de-abstraction and modelling of engineering problems (2009)
Presentation / Conference
Hale, P., Solomonides, T., & Beeson, I. (2009, June). Enabling diagrammatic de-abstraction and modelling of engineering problems. Paper presented at University of the West of England, Bristol, Graduate Conference, Bristol, UK

This paper discusses efforts to enable de-abstraction of engineering problems from a representation suitable for engineers to that suitable for computer models and code. The key question is to what extent diagrammatic representations of problems can... Read More about Enabling diagrammatic de-abstraction and modelling of engineering problems.

An XCS approach to forecasting financial time series (2009)
Presentation / Conference
Preen, R. (2009, June). An XCS approach to forecasting financial time series. Paper presented at GECCO '09: Proceedings of the 11th Annual Conference Companion on Genetic and Evolutionary Computation Conference: Late Breaking Papers, Montreal, Canada

This paper extends current LCS research into financial time series forecasting by analysing the performance of agents utilising mathematical technical indicators for both environment classification and in selecting actions to be executed in the envir... Read More about An XCS approach to forecasting financial time series.

Learning through programming games: Teaching AI with pacman and netlogo (2009)
Presentation / Conference
Smith, J. (2009, June). Learning through programming games: Teaching AI with pacman and netlogo. Paper presented at Proceedings of the 5th UK Conference on AI in Education, Higher Education Academy Information and Computer Sciences Subject Centre (HEA-ICS)

Context management architecture for future internet services (2009)
Presentation / Conference
Zafar, M., Baker, N., Moltchanov, B., Goncalves, J. M., Liaquat Kiani, S., & Knappmeyer, M. (2009, June). Context management architecture for future internet services. Paper presented at ICT Mobile Summit 2009

Reusable services from the neuGRID project for grid-based health applications (2009)
Presentation / Conference
Anjum, A., Bloodsworth, P., Habib, I., Lansdale, T., McClatchey, R., Mehmood, Y., & Consortium, T. N. (2009, June). Reusable services from the neuGRID project for grid-based health applications. Paper presented at 7th HealthGrid Int. Conference, HG’09, Berlin, Germany

By abstracting Grid middleware specific considerations from clinical research applications, re-usable services should be developed that will provide generic functionality aimed specifically at medical applications. In the scope of the neuGRID projec... Read More about Reusable services from the neuGRID project for grid-based health applications.

CoP4V: Context-based protocol for vehicle's safety in highways using wireless sensor networks (2009)
Conference Proceeding
Subramanian, S., Djenouri, D., Sindre, G., & Balasingham, I. (2009). CoP4V: Context-based protocol for vehicle's safety in highways using wireless sensor networks. https://doi.org/10.1109/itng.2009.129

Safety is evergreen vital criteria for road traffic. We propose an infrastructureless solution based on contexts to increase safety of vehicle. Contexts characterize and track the moving environment of a vehicle. Here, environment means the vehicle's... Read More about CoP4V: Context-based protocol for vehicle's safety in highways using wireless sensor networks.

Verifying time and communication costs of rule-based reasoners (2009)
Journal Article
Alechina, N., Logan, B., Nga, N. H., & Rakib, A. (2009). Verifying time and communication costs of rule-based reasoners. Lecture Notes in Artificial Intelligence, 5348 LNAI, 1-14. https://doi.org/10.1007/978-3-642-00431-5_1

We present a framework for the automated verification of time and communication requirements in systems of distributed rule-based reasoning agents which allows us to determine how many rule-firing cycles are required to solve the problem, how many me... Read More about Verifying time and communication costs of rule-based reasoners.