This paper describes our framework to annotate events using personal and social network contexts. The problem is important as the correct context is critical to effective annotati...
The appeal of persistent class-oriented programming languages is great. Allowing class definitions to be persistent, in addition to instance data, greatly increases the ease of ac...
—Multi-channel operation in wireless systems has been proposed to increase user throughput and reduce transmission delays. However, multi-channel operation requires adequate reso...
The output of modern imaging techniques such as diffusion tensor MRI or the physical measurement of anisotropic behaviour in materials such as the stress-tensor consists of tensor-...
Bernhard Burgeth, Martin Welk, Christian Feddern, ...
Using a call-by-value functional language as an example, this article illustrates the use of coinductive definitions and proofs in big-step operational semantics, enabling it to d...