2608 search results - page 82 / 522 » Subjects, Models, Languages, Transformations |
124
click to vote
PLDI
2011
ACM
14 years 2 months ago
2011
ACM
Software modifications are often systematic—they consist of similar, but not identical, program changes to multiple contexts. Existing tools for systematic program transformati...
PLILP
1995
Springer
15 years 3 months ago
1995
Springer
We use Girard's linear logic (LL) to produce a semantics for Gamma, a multiset transformation language. The semantics improves on the existing structured operational semantics...
DOCENG
2007
ACM
15 years 3 months ago
2007
ACM
Genre, like layout, is an important factor in effective communication, and automated tools which assist in genre compliance are thus of considerable value. Genres are reusable met...
PLDI
1995
ACM
15 years 3 months ago
1995
ACM
We present a unified approach to locality optimization that employs both data and control transformations. Data transformations include changing the array layout in memory. Contr...
127
click to vote
JMLR
2012
13 years 2 months 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...