2553 search results - page 234 / 511 » Modeling Trees with Hypertextures |
169
click to vote
LPAR
2010
Springer
15 years 3 months ago
2010
Springer
The Inst-Gen-Eq method is an instantiation-based calculus which is complete for first-order clause logic modulo equality. Its distinctive feature is that it combines first-order ...
119
click to vote
ACL
2009
15 years 3 months ago
2009
Freer-word-order languages such as German exhibit linguistic phenomena that present unique challenges to traditional CFG parsing. Such phenomena produce discontinuous constituents...
174
click to vote
EMNLP
2009
15 years 3 months ago
2009
We present a machine translation framework that can incorporate arbitrary features of both input and output sentences. The core of the approach is a novel decoder based on lattice...
137
click to vote
EMNLP
2009
15 years 3 months ago
2009
In this paper, we present a semi-supervised method for automatic speech act recognition in email and forums. The major challenge of this task is due to lack of labeled data in the...
139
click to vote
ENTCS
2010
15 years 2 months ago
2010
d Set Abstraction using SAT Edd Barrett Andy King School of Computing, University of Kent, CT2 7NF, UK Symbolic decision trees are not the only way to correlate the relationship b...