674 search results - page 15 / 135 » Explanation Based Program Transformation |
LPNMR
1997
Springer
15 years 1 months ago
1997
Springer
We present a bottom-up algorithm for the computation of the well-founded model of non-disjunctive logic programs which is based on the set of elementary program transformations stu...
COMPSAC
2008
IEEE
15 years 4 months ago
2008
IEEE
In this article, we address the problem of modularizing legacy applications with monolithic structure, primarily focusing on business software written in an objectoriented program...
ACL
1997
14 years 11 months ago
1997
Our goal is to identify the features that predict the occurrence and placement of discourse cues in tutorial explanations in order to aid in the automatic generation of explanatio...
ICCL
1998
IEEE
15 years 1 months ago
1998
IEEE
The monadic style of language speci cation has the advantages of modularity and extensibility: it is simple to add or change features in an interpreter to re ect modi cations in t...
TSP
2010
14 years 4 months ago
2010
The dual-tree complex wavelet transform (DT- WT) is known to exhibit better shift-invariance than the conventional discrete wavelet transform. We propose an amplitude-phase represe...