1072 search results - page 109 / 215 » Object-Oriented Type Inference |
169
Voted
BIBM
2008
IEEE
15 years 10 months ago
2008
IEEE
The study of gene function is critical in various genomic and proteomic fields. Due to the availability of tremendous amounts of different types of protein data, integrating thes...
135
Voted
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...
133
Voted
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...
130
Voted
LFCS
1992
Springer
15 years 7 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 ...
104
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...