838 search results - page 120 / 168 » From Natural Language to Formal Proof Goal |
159
click to vote
NLDB
2007
Springer
16 years 7 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 ...
175
click to vote
ECML
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We consider the problem of predicting how a user will continue a given initial text fragment. Intuitively, our goal is to develop a “tab-complete” function for natura...
159
click to vote
SOUPS
2009
ACM
16 years 19 days ago
2009
ACM
Displaying website privacy policies to consumers in ways they understand is an important part of gaining consumers’ trust and informed consent, yet most website privacy policies...
185
click to vote
INLG
2010
Springer
15 years 4 months ago
2010
Springer
In many areas of NLP reuse of utility tools such as parsers and POS taggers is now common, but this is still rare in NLG. The subfield of surface realisation has perhaps come clos...
175
click to vote
BDA
2004
15 years 7 months ago
2004
For around 10 years, the academic research in database has attempted to define a commonly agreed logical modeling for the multidimensional and hierarchical nature of data manipulat...