Many applications have cluttered dialogs that require users to make complicated settings. Some settings even determine the availability and state of other settings, creating inter...
We give a formal framework for studying real-time discrete-event systems. It describes concurrent processes as sets of possible behaviors. Compositions of processes are processes ...
In order to solve task 2 of the KDD Cup 2002, we exploited various available information sources. In particular, use of relational information describing the interactions among ge...
Mark-A. Krogel, Marcus Denecke, Marco Landwehr, To...
Many different audio headsets are commercially available. To choose a headset for a short-term use environment, we conducted a pilot study to elicit end-user criteria for headsets...
Email was originally designed as a tool for asynchronous communication. However, its current usage goes far beyond that. One of the most commonly performed activities in email is ...