3984 search results - page 105 / 797 » A Model-Driven Transformation Method |
156
click to vote
POPL
1995
ACM
15 years 9 months ago
1995
ACM
The goal of program transformation is to improve efficiency while preserving meaning. One of the best known transformation techniques is Burstall and Darlington’s unfold-fold me...
189
click to vote
SIGGRAPH
1999
ACM
15 years 10 months ago
1999
ACM
Traditionally, shape transformation using implicit functions is performed in two distinct steps: 1) creating two implicit functions, and 2) interpolating between these two functio...
166
click to vote
APLAS
2005
ACM
15 years 11 months ago
2005
ACM
This paper presents a novel method to construct a dynamic single assignment (DSA) form of array-intensive, pointer-free C programs (or in any other procedural language). A program ...
179
click to vote
FINTAL
2006
15 years 10 months ago
2006
Naive Bayes classifier is a frequently used method in various natural language processing tasks. Inspired by a modified version of the method called the flexible Bayes classifier, ...
220
click to vote
TSE
2011
15 years 1 months ago
2011
In this paper we present a case study in deriving an algorithm from a formal specification via FermaT transformations. The general method (which is presented in a separate paper)...