Customer care in technical domains is increasingly based on e-mail communication, allowing for the reproduction of approved solutions. Identifying the customer's problem is o...
Stephan Busemann, Sven Schmeier, Roman Georg Arens
: We address computer support for work and its coordination in one of the radio channels of the Danish Broadcasting Corporation. Based upon ethnographically inspired analysis and p...
The survivable network design problem (SNDP) is to construct a minimum-cost subgraph satisfying certain given edge-connectivity requirements. The first polynomial-time approximati...
Harold N. Gabow, Michel X. Goemans, David P. Willi...
A central problem in bioinformatics and systems biology is the selection of appropriate models in a rational and systematic way. This fundamentally combinatorial problem can be re...
Eric Yang, Timothy Maguire, Martin L. Yarmush, Ioa...
This article describes an architecture for creating responsive web interfaces for proof assistants. The architecture combines current web development technologies with the functio...