648 search results - page 2 / 130 » A Proposal for ASM Diagrams |
ACII
2005
Springer
13 years 7 months ago
2005
Springer
Active Shape Model (ASM) is one of the most powerful statistical tools for face image alignment. In this paper, we propose a novel method, called Bunch-Active Shape Model (Bunch-AS...
JUCS
2008
13 years 5 months ago
2008
: This paper gives a definition of ASM refinement suitable for the verification that a protocol implements atomic transactions. We used this definition as the basis of the formal v...
ASM
2005
ASM
13 years 11 months ago
2005
ASM
State machines are considered a very general means of expressing computations in an implementation-independent way. There are also ways to extend the general state machine framewor...
DAGSTUHL
2007
13 years 7 months ago
2007
act notation, so separating the abstract syntax and semantics of the language constructs from their different concrete notations. Although the foundation constituents of the MDE a...
SAC
2008
ACM
13 years 5 months ago
2008
ACM
In a system development, the knowledge of a target business is very important factor for the success of a development. The needed part of such knowledge is different for each stak...