Sciweavers

2016 search results - page 146 / 404
» Megamaps: Construction and Examples
Sort
View
MICCAI
2003
Springer
16 years 7 months ago
Groupwise Non-rigid Registration Using Polyharmonic Clamped-Plate Splines
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...
CDC
2008
IEEE
113views Control Systems» more  CDC 2008»
16 years 1 months ago
Maturity-independent risk measures
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 ļ...
Thaleia Zariphopoulou, Gordan Zitkovic
ICARIS
2005
Springer
16 years 21 hour ago
A Markov Chain Model of the B-Cell Algorithm
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...
Edward Clark, Andrew Hone, Jon Timmis
IPPS
2003
IEEE
15 years 11 months ago
A UNITY-Based Formalism for Dynamic Distributed Systems
We describe Dynamic UNITY, a new formalism for the specification of dynamic distributed systems based on the UNITY formalism. This formalism allows for the specification and pro...
Daniel M. Zimmerman
ESEC
1999
Springer
15 years 10 months ago
Synergy between Component-Based and Generative Approaches
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...
Stan Jarzabek, Peter Knauber