Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodolog...
Speakers in dialogue tend to adapt to each other by starting to use similar lexical items, syntactic structures, or gestures. This behaviour, called alignment, may serve important...
To emphasize the electrical nature of information processing in the brain we use a compartmental model of single neurons. The realistic simulation of wave-like activity in the recu...
Karsten Kube, Andreas Herzog, Vadym Spravedlyvyy, ...
This paper presents some interactive features we have added on our street-view web navigation application. Our system allows to navigate through a huge amount of data (panoramas a...
The intersection of theatre-performance, design, and informatics is a fertile area for a broader understanding of the possible design and interaction between people and avatars in...