3706 search results - page 117 / 742 » The Transformational Approach to Program Development |
AIED
2005
Springer
15 years 3 months ago
2005
Springer
We combined two existing methods for rapid tutor development: “plug-in tutor agents” [6] and an authoring tool suite (CTAT) that supports the creation of tutors “by demonstra...
SOFSEM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Rewriting is the underlying evaluation mechanism of functional programming languages. Therefore, termination analysis of term rewrite systems (TRSs) is an important techn...
111
click to vote
JMLR
2012
13 years 9 days ago
2012
Metric and kernel learning arise in several machine learning applications. However, most existing metric learning algorithms are limited to learning metrics over low-dimensional d...
JDCTA
2010
14 years 4 months ago
2010
The transformation of economic development approach demands to develop high-tech industries, while high-tech industries can't develop without financial support, in which diff...
ICST
2008
IEEE
15 years 4 months ago
2008
IEEE
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...