Sciweavers

27 search results - page 3 / 6
» asm 2005
Sort
View
ASM
2005
ASM
14 years 4 months ago
Time in State Machines
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...
Susanne Graf, Andreas Prinz
ASM
2005
ASM
14 years 4 months ago
State Exploration with Multiple State Groupings
Abstract. Exploration algorithms are relevant to the industrial practice of gentest cases from an abstract state machine whose runs define the predicted behavior of the software s...
Colin Campbell, Margus Veanes
ASM
2005
ASM
14 years 4 months ago
RAM Simulation of BGS Model of Abstract State Machines
lation of BGS model of Abstract State Machines Comandur Seshadhri1 , Anil Seth2 , and Somenath Biswas2 1 Department of Computer Science Princeton University, Princeton NJ 08544, US...
Seshadhri Comandur, Anil Seth, Somenath Biswas
AVBPA
2005
Springer
279views Biometrics» more  AVBPA 2005»
14 years 4 months ago
Active Shape Models with Invariant Optimal Features (IOF-ASMs)
Abstract. This paper is framed in the field of statistical face analysis. In particular, the problem of accurate segmentation of prominent features of the face in frontal view ima...
Federico Sukno, Sebastián Ordas, Constantin...