Skip to main content

Research Repository

Advanced Search

Outputs (7)

Analysing the predictivity of features to characterise the search space (2022)
Conference Proceeding
Durgut, R., Aydin, M. E., Ihshaish, H., & Rakib, A. (2022). Analysing the predictivity of features to characterise the search space. In E. Pimenidis, P. Angelov, C. Jayne, A. Papaleonidas, & M. Aydin (Eds.), Artificial Neural Networks and Machine Learning – ICANN 2022 31st International Conference on Artificial Neural Networks, Bristol, UK, September 6–9, 2022, Proceedings; Part IV (1-13). https://doi.org/10.1007/978-3-031-15937-4_1

Exploring search spaces is one of the most unpredictable challenges that has attracted the interest of researchers for decades. One way to handle unpredictability is to characterise the search spaces and take actions accordingly. A well-characterised... Read More about Analysing the predictivity of features to characterise the search space.

Memory-constrained context-aware reasoning (2022)
Conference Proceeding
Uddin, I., Rakib, A., Ali, M., & Vinh, P. C. (2022). Memory-constrained context-aware reasoning. In P. Cong Vinh, & A. Rakib (Eds.), Context-Aware Systems and Applications (133-146). https://doi.org/10.1007/978-3-030-93179-7_11

The context-aware computing paradigm introduces environments, known as smart spaces, which can unobtrusively and proactively assist their users. These systems are currently mostly implemented on mobile platforms considering various techniques, includ... Read More about Memory-constrained context-aware reasoning.

Smart space system interoperability (2019)
Conference Proceeding
Abdur, R. (2019). Smart space system interoperability. In Proceedings of the 3rd International Workshop on (Meta)Modelling for Healthcare Systems (16-23)

This paper presents our research approach which uses and integrates the terminologies and inference mechanism towards the development of functionally correct systems for smart spaces, considering the recent advances in the area of ontology-based mode... Read More about Smart space system interoperability.

Modeling and verifying context-aware non-monotonic reasoning agents (2015)
Conference Proceeding
Rakib, A., & Haque, H. M. U. (2015). Modeling and verifying context-aware non-monotonic reasoning agents. In 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) (61-69). https://doi.org/10.1109/MEMCOD.2015.7340471

© 2015 IEEE. This paper complements our previous work on formal modeling of resource-bounded context-aware systems, which handle inconsistent context information using defeasible reasoning, by focusing on automated analysis and verification. A case s... Read More about Modeling and verifying context-aware non-monotonic reasoning agents.

A logic for context-aware non-monotonic reasoning agents (2014)
Conference Proceeding
Rakib, A., & Haque, H. M. U. (2014). A logic for context-aware non-monotonic reasoning agents. In A. Gelbukh, F. C. Espinoza, & S. N. Galicia-Haro (Eds.), Human-Inspired Computing and Its Applications (453-471). https://doi.org/10.1007/978-3-319-13647-9_41

© Springer International Publishing Switzerland 2014. We develop a logical model for resource-bounded contextaware multi-agent systems which handles inconsistent context information using non-monotonic reasoning. We extend the temporal logic CTL* wit... Read More about A logic for context-aware non-monotonic reasoning agents.

Verifying resource requirements for distributed rule-based systems (2008)
Conference Proceeding
Alechina, N., Logan, B., Nga, N. H., & Rakib, A. (2008). Verifying resource requirements for distributed rule-based systems. In N. Bassiliades, G. Governatori, & A. Paschke (Eds.), Rule Representation, Interchange and Reasoning on the Web (31-38). https://doi.org/10.1007/978-3-540-88808-6_6

Rule-based systems are rapidly becoming an important component of ‘mainstream’ computing technologies, for example in business process modelling, the semantic web, sensor networks etc. However, while rules provide a flexible way of implementing such... Read More about Verifying resource requirements for distributed rule-based systems.

Component-wise instruction-cache behavior prediction (2004)
Conference Proceeding
Rakib, A., Parshin, O., Thesing, S., & Wilhelm, R. (2004). Component-wise instruction-cache behavior prediction. In F. Wang (Ed.), https://doi.org/10.1007/978-3-540-30476-0_20

The precise determination of worst-case execution times (WCETs) for programs is mostly being performed on fully linked executables, since all needed information is available and all machine parameters influencing cache performance are available to th... Read More about Component-wise instruction-cache behavior prediction.