681 search results - page 25 / 137 » Combining Theorem Proving with Natural Language Processing |
FINTAL
2006
15 years 1 months ago
2006
Abstract. We introduce a method for content-based advertisement selection for personal blog pages, based on combining multiple representations of the blog. The core idea behind the...
IPL
2007
14 years 9 months ago
2007
A new algorithm is presented for testing if a regular language is locally threshold testable. The new algorithm is slower than existing algorithms, but its correctness proof is sh...
76
Voted
JMIV
2010
14 years 8 months ago
2010
A new mathematical image model is introduced using the photographic process as the starting point. Images are represented as infinite sequences of photons allowing analysis at arb...
79
Voted
EMNLP
2010
14 years 7 months ago
2010
Word alignment plays a central role in statistical MT (SMT) since almost all SMT systems extract translation rules from word aligned parallel training data. While most SMT systems...
IJCNLP
2004
Springer
15 years 3 months ago
2004
Springer
Transliterating words and names from one language to another is a frequent and highly productive phenomenon. Transliteration is information loosing since important distinctions ar...