Abstract. This paper introduces a novel groupwise data-driven algorithm for non-rigid registration. The motivation behind the algorithm is to enable the analysis of groups of regis...
Stephen Marsland, Carole J. Twining, Christopher J...
The new notion of maturity-independent risk measures is introduced and contrasted with the existing risk measurement concepts. It is shown, by means of two examples, one set on a ļ...
An exact Markov chain model of the B-cell algorithm (BCA) is constructed via a novel possible transit method. The model is used to formulate a proof that the BCA is convergent abso...
We describe Dynamic UNITY, a new formalism for the speciļ¬cation of dynamic distributed systems based on the UNITY formalism. This formalism allows for the speciļ¬cation and pro...
Building software systems out of pre-fabricated components is a very attractive vision. Distributed Component Platforms (DCP) and their visual development environments bring this v...