Tactile and force feedback are widely exploited in VR and VE applications as a complement or substitution of the visual or auditory presentation of information. We have successfull...
We consider the decision problem for cases of first-order temporal logic with function symbols and without equality. The monadic monodic fragment with flexible functions can be dec...
Abstract: In contrast to the USA and the UK, the academic field of forensic computing is still in its infancy in Germany. To foster the exchange of experiences, we report on lesson...
The ability to give explanations for its reasoning and behaviour is a core capability of an intelligent system. There are a number of different goals a user can have towards such e...
Estimation of time and costs is a crucial factor in an application development project and low error margins are a priority. This principle is also true for development projects f...