7 search results - page 2 / 2 » Output String Languages of Compositions of Deterministic Mac... |
119
Voted
ACL
2010
14 years 11 months ago
2010
Weighted tree transducers have been proposed as useful formal models for representing syntactic natural language processing applications, but there has been little description of ...
107
Voted
ICDT
2007
ACM
15 years 7 months ago
2007
ACM
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....