660 search results - page 110 / 132 » The EMF Model Transformation Framework |
ECML
2001
Springer
15 years 4 months ago
2001
Springer
In many applications, modelling techniques are necessary which take into account the inherent variability of given data. In this paper, we present an approach to model class speciï...
ICML
2009
IEEE
16 years 16 days ago
2009
IEEE
This paper presents a theoretical framework for ranking, and demonstrates how to perform generalization analysis of listwise ranking algorithms using the framework. Many learning-...
76
Voted
IPMI
2009
Springer
16 years 17 days 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...
ICSE
2009
IEEE-ACM
16 years 16 days 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 ...
203
click to vote
POPL
2009
ACM
16 years 11 days 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...