1423 search results - page 161 / 285 » Languages of Nested Trees |
152
Voted
AISC
2006
Springer
15 years 7 months ago
2006
Springer
We present a search engine for mathematical formulae. The MathWebSearch system harvests the web for content representations (currently MathML and OpenMath) of formulae and indexes ...
150
Voted
ACL
2007
15 years 5 months ago
2007
Extracting tree transducer rules for syntactic MT systems can be hindered by word alignment errors that violate syntactic correspondences. We propose a novel model for unsupervise...
111
click to vote
COLING
1994
15 years 5 months ago
1994
This paper presents the XTAG system, a grammar development tool based on the Tree Adjoining Grammar (TAG) formalism that includes a wide-coverage syntactic grammar for English. Th...
128
Voted
ENTCS
2000
15 years 3 months ago
2000
The coincidence between the model-theoretic and the procedural semantics of SLDresolution does not carry over to a Prolog system that also implements non-logical features like cut...
128
click to vote
FUIN
2010
15 years 1 months ago
2010
An infinite binary word can be identified with a branch in the full binary tree. We consider sets of branches definable in monadic second-order logic over the tree, where we allow ...