Date


Output Type

Download Available

191 results

Towards Modelling and Reasoning about Uncertain Data of Sensor Measurements for Decision Support in Smart Spaces.

Conference Proceeding
Bamgboye, O., Liu, X., & Cruickshank, P. (2018)
Towards Modelling and Reasoning about Uncertain Data of Sensor Measurements for Decision Support in Smart Spaces. In 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC)https://doi.org/10.1109/COMPSAC.2018.10330
Smart Spaces currently benefits from Internet of Things (IoT) infrastructures in order to realise its objectives. In many cases, it demonstrates this through certain automated...

Developing a core ontology for taxonomic data.

Conference Proceeding
Kennedy, J., Gales, R., Hyam, R., Kukla, R., Wieczorek, J., Hagedorn, G., …Vieglais, D. (2006)
Developing a core ontology for taxonomic data. In L. Belbin, A. Rissoné, & A. Weitzman (Eds.), Proceedings of TDWG (2006), St Louis, MI
Over recent years several sub-groups within the Taxonomic Databases Working Group (TDWG) have developed models and exchange standards to facilitate data sharing within the tax...

Lessons from experience: making theorem provers more co-operative.

Conference Proceeding
Lowe, H., Cumming, A., Smyth, M., & Varey, A. (1995)
Lessons from experience: making theorem provers more co-operative. In Proceedings of the Second Workshop on User Interfaces for Theorm Provers, 67-74
We describe our experiences in trying to build a co-operative theorem proving system. Our model of co-operation is that of a user and an automaton combining forces to prove th...

A Cooperative Learning Approach for the Quadratic Knapsack Problem

Conference Proceeding
Lalla-Ruiz, E., Segredo, E., & Voß, S. (2018)
A Cooperative Learning Approach for the Quadratic Knapsack Problem. In Learning and Intelligent Optimization Conference (LION12). , (31-35). https://doi.org/10.1007/978-3-030-05348-2_3
The Quadratic Knapsack Problem (QKP) is a well-known optimization problem aimed to maximize a quadratic objective function subject to linear capacity constraints. It has sever...

Extensions to a memetic timetabling system.

Conference Proceeding
Paechter, B., Cumming, A., Norman, M. G., & Luchian, H. (1996)
Extensions to a memetic timetabling system. In R. Burke (Ed.), Practice and Theory of Automated Timetabling, 251-265. https://doi.org/10.1007/3-540-61794-9_64
This paper describes work in progress to increase the performance of a memetic timetabling system. The features looked at are two directed mutation operators, targeted mutatio...

Visualization of Online Datasets

Conference Proceeding
Peng, T., & Downie, C. (2017)
Visualization of Online Datasets. In Proceedings of 15th IEEE/ACIS International Conference on Software Engineering Research, Management and Application (SERA). , (239-246
As computing technology advances, computers are being used to orchestrate and advance wide spectrums of commercial and personal life, an element even more significant as we im...

Reviving legacy enterprise systems with microservice-based architecture within cloud environments

Conference Proceeding
Habibullah, S., Liu, X., Tan, Z., Zhang, Y., & Liu, Q. (2019)
Reviving legacy enterprise systems with microservice-based architecture within cloud environments. In Computer Science Conference Proceedingshttps://doi.org/10.5121/csit.2019.90713
Evolution has always been a challenge for enterprise computing systems. The microservice based architecture is a new design model which is rapidly becoming one of the most eff...

Ubiquitous access to site specific services by mobile devices: the process view.

Conference Proceeding
Kerridge, J., & Chalmers, K. (2005)
Ubiquitous access to site specific services by mobile devices: the process view. In P. Welch, J. Kerridge, & F. R. M. Barnes (Eds.), Communicating Process Architectures 2006 - WoTug 29, 41-58
The increasing availability of tri-band mobile devices with mobile phone, wi-fi and Bluetooth capability means that the opportunities for increased access by mobile devices to...

Evaluating the VIPER pedigree visualisation: detecting inheritance inconsistencies in genotyped pedigrees.

Conference Proceeding
Paterson, T., Graham, M., Kennedy, J., & Law, A. (2011)
Evaluating the VIPER pedigree visualisation: detecting inheritance inconsistencies in genotyped pedigrees. In 2011 IEEE Symposium on Biological Data Visualization (BioVis), 119-126. https://doi.org/10.1109/BioVis.2011.6094056
VIPER (Visual Pedigree Explorer) is a tool for exploring large complex animal pedigrees and their associated genotype data. The tool combines a novel, space-efficient visualis...

Home automation: HMM based fuzzy rule engine for Ambient intelligent smart space

Conference Proceeding
Singh Jamnal, G., Liu, X., & Fan, L. (2017)
Home automation: HMM based fuzzy rule engine for Ambient intelligent smart space. In Proceedings of The 29th International Conference on Software Engineering and Knowledge Engineering
In this paper, we proposed a new type of decision making system to achieve the intelligent goal for automated smart environments. The artificial intelligence techniques, used ...