3888 search results - page 652 / 778 » Change-Driven Model Transformations |
114
click to vote
IPMI
2009
Springer
16 years 5 months ago
2009
Springer
In this paper, we study the recognition of about 60 sulcal structures over a new T1 MRI database of 62 subjects. It continues our previous work [7] and more specifically extends th...
110
click to vote
ICSE
2009
IEEE-ACM
16 years 5 months ago
2009
IEEE-ACM
A variety of compilers, static analyses, and testing frameworks rely heavily on path frequency information. Uses for such information range from optimizing transformations to bug ...
124
click to vote
ISBI
2006
IEEE
16 years 5 months ago
2006
IEEE
Myocardial fiber orientations are an important element for accurate modeling of cardiac electromechanics. However it is extremely difficult to estimate these directly in vivo with...
253
click to vote
POPL
2009
ACM
16 years 4 months ago
2009
ACM
We propose a new verification method for temporal properties of higher-order functional programs, which takes advantage of Ong's recent result on the decidability of the mode...
143
click to vote
CHI
2007
ACM
16 years 4 months ago
2007
ACM
For years the HCI community has struggled to integrate design in research and practice. While design has gained a strong foothold in practice, it has had much less impact on the H...