Browsing by Subject "Computer Software"
Now showing items 1-4 of 4
-
MILLA A Multimodal Interactive Language Agent
(2014)We describe the motivation behind, design, and implementation of MILLA, a prototype speech - to -speech English language tutoring system -
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 ... -
Separation Kernel Verification: The XtratuM Case Study
(Springer, 2014) -
UTP2: Higher-Order Equational Reasoning by Pointing
(2014)We describe a prototype theorem prover, U.(TP)2, developed to match the style of hand-written proof work in the Unifying Theories of Programming semantical framework. This is based on alphabetised predicates in a 2nd-order ...