Poster. We highlight the latest developments in the Argos project. First, we describe our approach to automatic workflow composition. Second, we discuss the validation of the fre...
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
A new network has been recently proposed for the provision of fixed broadband services via high altitude platform stations (HAPS) in the 48/47 GHz band. One of the critical issues...
Vassilis F. Milas, Demosthenes Vouyioukas, Nektari...
Abstract: Two models for ship roll motion and capsizing under stochastic excitation are analyzed using Melnikov's method and control set analysis. The predictions given by the...
Fritz Colonius, Albert Marquardt, Edwin Kreuzer, W...
We consider the problem of localizing a moving ball from a single calibrated perspective image; after showing that ordinary algorithms fail in analyzing motion blurred scenes, we ...