Transaction Level Models are widely being used as high-level reference models during embedded systems development. High simulation speed and great modeling flexibility are the ma...
Abstract. We investigate the phenomenon that every monad is a linear state monad. We do this by studying a fully-complete state-passing translation from an impure call-by-value lan...
In this paper, a spatially constrained mixture model for the segmentation of MR brain images is presented. The novelty of this work is a new, edge preserving, smoothness prior whic...
Giorgos Sfikas, Christophoros Nikou, Nikolas P. ...
In this paper, we investigate how an accurate question classifier contributes to a question answering system. We first present a Maximum Entropy (ME) based question classifier whi...
Abstract. The semantics of modelling languages are not always specified in a precise and formal way, and their rather complex underlying models make it a non-trivial exercise to r...