Abstract. Infinite-horizon multi-agent control processes with nondeterminism and partial state knowledge have particularly interesting properties with respect to adaptive control, ...
A stent device is a permanent metallic implant currently used to prop open arteries blocked with atherosclerotic plaques. Many classes of stents are available and mainly differ b...
— Service compositions provide a promising way to realize and coordinate automated support for business activities and processes. These business processes and their automated sup...
In this paper a real-time anomaly detection system for video streams is proposed. Spatio-temporal features are exploited to capture scene dynamic statistics together with appearan...
We describe Currawong, a tool to perform system software architecture optimisation. Currawong is an extensible tool which applies optimisations at the point where an application i...