6167 search results - page 5 / 1234 » Can Refinement be Automated |
LICS
1989
IEEE
14 years 1 months ago
1989
IEEE
EUROMICRO
2009
IEEE
14 years 1 months ago
2009
IEEE
Model-driven application engineering builds on the concept of model transformations. To weave additional refinement parts into an application model, so-called refinement transform...
ISBI
2007
IEEE
14 years 4 months ago
2007
IEEE
Tagged magnetic resonance (MR) imaging makes it possible to image the motion of tissues such as the muscles found in the heart and tongue. The harmonic phase (HARP) method largely...
BMCBI
2010
13 years 10 months ago
2010
Background: The Medium-chain Dehydrogenases/Reductases (MDR) form a protein superfamily whose size and complexity defeats traditional means of subclassification; it currently has ...
ICCBR
2010
Springer
13 years 7 months ago
2010
Springer
