The quality of formal specifications and the circuits they are written for can be evaluated through checks such as vacuity and coverage. Both checks involve mutations to the specif...
The IST project Cuidado, which started in January 2001, aims at producing the first entirely automatic chain for extracting and exploiting musical metadata for browsing music. The...
Inspired by biological findings, we present a system that is able to robustly identify a large number of pre-trained objects in realtime. In contrast to related work, we do not res...
Stephan Hasler, Heiko Wersing, Stephan Kirstein, E...
The article explores Open Access in the context of recent contributions in communication and public relations theory, notably Bakhtinian dialogism. Increasingly since the 1960s co...
Spatial and temporal data have become ubiquitous in many application domains such as the Geosciences or life sciences. Sophisticated database management systems are employed to ma...