Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodolog...
This paper describes the usage of a force feedback steering wheel interface in sound environments focusing on the example of sound.toy. Sound.toy is a student's project for c...
We present a new interface for exploring and navigating large-scale discussions on the internet. Our system, tldr, focuses on three primary user goals: finding, navigating and fil...
We present a new approach of explaining partial causality in multivariate fMRI time series by a state space model. A given single time series can be divided into two noise-driven ...
Structured prediction tasks pose a fundamental trade-off between the need for model complexity to increase predictive power and the limited computational resources for inference i...