Computer Science (Scholarly Publications)
Browse by
Recent Submissions
-
Gestural linguistic context vectors encode gesture meaning
(2023)Linguistic context vectors are adapted for measuring the lin- guistic contexts that accompany gestures and comparable co- linguistic behaviours. Focusing on gestural semiotic types, it is demonstrated that gestural ... -
Multi-agent reinforcement learning for safe lane changes by connected and autonomous vehicles: A survey
(AI Communications, 2023)Connected Autonomous vehicles (CAVs) are expected to improve the safety and efficiency of traffic by automating driving tasks. Amongst those, lane changing is particularly challenging, as it requires the vehicle to be aware ... -
Fully Abstract Normal Form Bisimulation for Call-by-Value PCF
(IEEE, 2023)We present the first fully abstract normal form bisimulation for call-by-value PCF (PCFv). Our model is based on a labelled transition system (LTS) that combines elements from applicative bisimulation, environmental ... -
To Be High-Risk, or Not To Be-Semantic Specifications and Implications of the AI Act's High-Risk AI Applications and Harmonised Standards
(2023)The EU's proposed AI Act sets out a risk-based regulatory framework to govern the potential harms emanating from use of AI systems. Within the AI Act's hierarchy of risks, the AI systems that are likely to incur "high-risk" ... -
Is Your Application Gender Biased?
(2019)The process of design is underpinned by a solid methodology that comprises stages of research, creation and validation of the ideas in order to ensure that a product or a service will meet the users’ needs. However, in the ...