The satisfiability problem of hybrid logics with the downarrow binder is known to be undecidable. This initiated a research program on decidable and tractable fragments. In this p...
Arne Meier, Martin Mundhenk, Thomas Schneider 0002...
The QuikSCAT scatterometer infers wind vectors over the ocean using measurements of the surface backscatter. During rain events the QuikSCAT observations are subject to rain conta...
Business processes have to adopt the changes driven by the market to remain competitive. This requires improvement of business processes, which can be carried out by understanding...
Currently, research infrastructures are being designed and established in many disciplines, all partly to address the problem that they all suffer from an enormous fragmentation o...
Abstract—The classification of sequences requires the combination of information from different time points. In this paper the detection of facial expressions is considered. Exp...