6434 search results - page 91 / 1287 » Model Transformations with Reference Models |
CSMR
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper describes an approach for the migration of supervisory machine control architectures. This migration, from a paradigm based on ļ¬nite-state machines to a paradigm base...
EMNLP
2007
13 years 11 months ago
2007
In Sequential Viterbi Models, such as HMMs, MEMMs, and Linear Chain CRFs, the type of patterns over output sequences that can be learned by the model depend directly on the modelā...
SPIN
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. This paper describes three program transformations that extend the scope of model checkers for Java programs to include distributed programs, i.e., multi-process programs...
ECCV
2006
Springer
14 years 12 months ago
2006
Springer
Gait analyses have recently gained attention as methods of identification of individuals at a distance from a camera. However, appearance changes due to view direction changes caus...
GG
2008
Springer
13 years 11 months ago
2008
Springer
Behavior preservation, namely the fact that the behavior of a model is not altered by the transformations, is a crucial property in refactoring. The most common approaches to behav...