This paper proposes a novel model-guided segmentation framework utilizing a statistical surface wavelet model as a shape prior. In the model building process, a set of training sh...
Yang Li, Tiow Seng Tan, Ihar Volkau, Wieslaw L. No...
We present the first tool that offers dynamic verification of extended traints on UML models. It translates a UML model into an Abstract State (ASM) which is transformed by an AS...
: Acquisition of various human body models is useful in many cases. In this paper, we present some of our recent work on body creation tools. Our goal is to enable rapid creation o...
Hyewon Seo, Frederic Cordier, Laurent Philippon, N...
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...
Tivadar Szemethy, Gabor Karsai, Daniel Balasubrama...
In this paper, we present a physics motivated modeling method for volcanic clouds as a two fluids model. Some previous methods model smoke or clouds as one fluid, but the volcan...