5699 search results - page 167 / 1140 » Alternating model trees |
127
click to vote
AAAI
2007
15 years 7 months ago
2007
An important application area of detecting erroneous sentences is to provide feedback for writers of English as a Second Language. This problem is difficult since both erroneous ...
136
click to vote
ACL
1998
15 years 6 months ago
1998
Much of the power of probabilistic methods in modelling language comes from their ability to compare several derivations for the same string in the language. An important starting...
154
click to vote
WOLLIC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We define a notion of recognizable sets of simply typed λterms that extends the notion of recognizable sets of strings or trees. This definition is based on finite mo...
98
Voted
ECAI
2000
Springer
15 years 9 months ago
2000
Springer
We use a strong form of the tree model property to boost the performance of resolution-based first-order theorem provers on the so-called relational translations of modal formulas...
122
Voted
COLING
2010
14 years 12 months ago
2010
We propose a structure called dependency forest for statistical machine translation. A dependency forest compactly represents multiple dependency trees. We develop new algorithms ...