This paper presents an algorithm for tracking the left ventricle in echocardiographic sequences, using multiple models. The use of multiple dynamic models is appropriate since the...
Jacinto C. Nascimento, Jorge S. Marques, Joã...
Many modeling languages share some common concepts and principles. For example, Java, MOF, and UML share some aspects of the concepts of classes, methods, attributes, and inheritan...
The idea behind Aspect-Oriented Modeling (AOM) is to apply aspect-oriented techniques to (software) models with the aim of modularizing crosscutting concerns. This can be done with...
HMM based synthesis has attracted great interest due to its compact and flexible modelling of spectral and prosodic parameters. In this approach, short term spectra, fundamental ...
Kai Yu, Tomoki Toda, Milica Gasic, Simon Keizer, F...
We present two generic formal security models for operating systems of multiapplicative smart cards. The models formalize the main security aspects of secrecy, integrity, secure co...
Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, ...