16091 search results - page 144 / 3219 » Solving |
162
click to vote
NLDB
2007
Springer
16 years 12 days ago
2007
Springer
This paper discusses the recognition of textual entailment in a text-hypothesis pair by applying a wide variety of lexical measures. We consider that the entailment phenomenon can ...
153
click to vote
SAT
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. Polynomial interpretations are one of the most popular techniques for automated termination analysis and the search for such interpretations is a main bottleneck in most ...
