In this paper we first survey recent advances on phase transition phenomena which are related to natural subclasses of the recursive functions. Special emphasis is put on descent ...
We show how fault injection together with recent advances in stochastic model checking can be combined to form a crucial ingredient for improving quantitative safety analysis. Base...
Network snakes constitute one of the latest advances in the research of image segmentation techniques: they integrate topology into active contour models. This concept is applied t...
This paper investigates an optimization technique for reasoning with qualified number restrictions in the description logic ALCQHR+ . We present a hybrid architecture where a stan...
DVB-H is the newly standardized extension to DVB-T, aiming at the provision of IP datacasting (IPDC) services to mobile terminals. This tutorial paper outlines the structure of an ...