681 search results - page 74 / 137 » Combining Theorem Proving with Natural Language Processing |
CICLING
2005
Springer
14 years 11 months ago
2005
Springer
We use prior and boundary estimates as the approximation of outside probability and establish our beam thresholding strategies based on these estimates. Lexical items, e.g. head wo...
EACL
2006
ACL Anthology
14 years 11 months ago
2006
ACL Anthology
In this paper, we propose an approach for identifying curatable articles from a large document set. This system considers three parts of an article (title ract, MeSH terms, and ca...
EACL
2006
ACL Anthology
14 years 11 months ago
2006
ACL Anthology
We present results on addressee identification in four-participants face-to-face meetings using Bayesian Network and Naive Bayes classifiers. First, we investigate how well the ad...
EACL
2006
ACL Anthology
14 years 11 months ago
2006
ACL Anthology
We propose an approach for extracting relations between entities from biomedical literature based solely on shallow linguistic information. We use a combination of kernel function...
EACL
2003
ACL Anthology
14 years 11 months ago
2003
ACL Anthology
Syntactic constraints in Koskenniemi’s Finite-State Intersection Grammar (FSIG) are logically less complex than their formalism (Koskenniemi et al., 1992) would suggest: It turn...