Sciweavers

6434 search results - page 116 / 1287
» Model Transformations with Reference Models
Sort
View
ICCAD
1995
IEEE
61views Hardware» more  ICCAD 1995»
15 years 10 months ago
Stable and efficient reduction of substrate model networks using congruence transforms
Kevin J. Kerns, Ivan L. Wemple, Andrew T. Yang
AIRS
2005
Springer
15 years 8 months ago
Image Feedback Retrieval Based on Vector Space Model Transformation
Luo Xin, Shiro Ajioka, Masami Shishibori, Kenji Ki...
CSL
2008
Springer
15 years 8 months ago
Model Transformations in Decidability Proofs for Monadic Theories
We survey two basic techniques for showing that the monadic second-order theory of a structure is decidable. In the first approach, one deals with finite fragments of the theory (g...
Wolfgang Thomas
WEBIST
2008
15 years 7 months ago
Transforming a Competency Model to Assessment Items
Onjira Sitthisak, Lester Gilbert, Hugh C. Davis