1003 search results - page 84 / 201 » Type Inference with Inequalities |
141
click to vote
HT
2005
ACM
15 years 9 months ago
2005
ACM
In recent years, many algorithms for the Web have been developed that work with information units distinct from individual web pages. These include segments of web pages or aggreg...
138
click to vote
IJCNLP
2004
Springer
15 years 9 months ago
2004
Springer
This paper describes an intelligent text archive system in which typed feature structures are embedded. The aim of the system is to associate feature structures with regions in tex...
132
click to vote
LFCS
1992
Springer
15 years 8 months ago
1992
Springer
We describe a logic for reasoning about higher-order strictness properties of typed lambda terms. The logic arises from axiomatising the inclusion order on certain closed subsets ...
113
click to vote
EACL
2009
ACL Anthology
16 years 4 months ago
2009
ACL Anthology
Lexical-semantic resources are used extensively for applied semantic inference, yet a clear quantitative picture of their current utility and limitations is largely missing. We pr...
147
click to vote
ACL
2012
13 years 6 months ago
2012
This paper introduces BIUTEE1 , an opensource system for recognizing textual entailment. Its main advantages are its ability to utilize various types of knowledge resources, and i...