The relationships between the work products of a security engineering process can be hard to understand, even for persons with a strong technical background but little knowledge o...
This paper shows the equivalence of applicative similarity and contextual approximation, and hence also of bisimilarity and contextual equivalence, in the deterministic call-by-nee...
The aim of General Game Playing (GGP) is to create intelligent agents that automatically learn how to play many different games at an expert level without any human intervention. ...
Abstract. For document-centric work, meta-information in form of annotations has proven useful to enhance search and other retrieval tasks. The Mymory project1 uses a web-based wor...
Malte Kiesel, Sven Schwarz, Ludger van Elst, Georg...
The context of this work is usability engineering for multimodal interaction. In contrast to other work centrates on prototyping toolkits or abstract guidelines, this research foc...