2000 search results - page 84 / 400 » Program Transformation and Proof Transformation |
133
click to vote
EXTREME
2004
ACM
15 years 8 months ago
2004
ACM
The World Wide Web Consortium recommends both XSLT and XQuery as query languages for XML documents. XSLT, originally designed to transform XML into XSL-FO, is nowadays a fully gro...
105
click to vote
DM
2007
15 years 3 months ago
2007
We consider the problem of determining the maximum number of moves required to sort a permutation of [n] using cut-and-paste operations, in which a segment is cut out and then pas...
121
Voted
ASPDAC
2007
ACM
15 years 7 months ago
2007
ACM
Abstract-- We present the short-circuit code transformation technique, intended for embedded compilers. The transformation technique optimizes conditional blocks in high-level prog...
139
click to vote
ADBIS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We propose a descriptive high-level language XDTrans devoted to specify transformations over XML data. The language is based on unranked tree automata approach. In contra...
138
Voted
ICDAR
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper proposes a new method for document transformation using OCR to generate various XML documents from printed documents. The proposed method adopts a hierarchical transfor...