Sciweavers

48 search results - page 4 / 10
» Transformation of XML Data Using an Unranked Tree Transducer
Sort
View
DBPL
2007
Springer
98views Database» more  DBPL 2007»
14 years 2 months ago
Towards Practical Typechecking for Macro Tree Transducers
Macro tree transducers (mtt) are an important model that both covers many useful XML transformations and allows decidable exact typechecking. This paper reports our first step tow...
Alain Frisch, Haruo Hosoya
ICDAR
2003
IEEE
14 years 1 months ago
Document Transformation System from Papers to XML Data Based on Pivot XML Document Method
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...
Yasuto Ishitani
JAPLL
2010
124views more  JAPLL 2010»
13 years 6 months ago
Reasoning about XML with temporal logics and automata
We show that problems arising in static analysis of XML specifications and transformations can be dealt with using techniques similar to those developed for static analysis of pr...
Leonid Libkin, Cristina Sirangelo
COLING
2000
13 years 9 months ago
XMLTrans: a Java-based XML Transformation Language for Structured Data
The recently completed MLIS DicoPro project addressed the need for a uniform, platformindependent interface for accessing multiple dictionaries and other lexical resources via the...
Derek Walker, Dominique Petitpierre, Susan Armstro...
ICDT
2007
ACM
141views Database» more  ICDT 2007»
14 years 2 months ago
Exact XML Type Checking in Polynomial Time
Stay macro tree transducers (smtts) are an expressive formalism for reasoning about XSLT-like document transformations. Here, we consider the exact type checking problem for smtts....
Sebastian Maneth, Thomas Perst, Helmut Seidl