1140 search results - page 207 / 228 » A Model Driven Framework for IT Transformation |
IPMI
2009
Springer
16 years 2 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...
86
Voted
ICSE
2009
IEEE-ACM
16 years 2 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 ...
223
click to vote
POPL
2009
ACM
16 years 2 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...
125
Voted
ICDM
2006
IEEE
15 years 8 months ago
2006
IEEE
Current outlier detection schemes typically output a numeric score representing the degree to which a given observation is an outlier. We argue that converting the scores into wel...
105
Voted
MIAR
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper proposes a novel framework for robust click-point linking: efficient localized registration that allows users to interactively prescribe where the accuracy has to be hig...