2646 search results - page 118 / 530 » Local Type Inference |
111
Voted
ICPR
2004
IEEE
16 years 3 months ago
2004
IEEE
The paper considers making inferences about the underlying true 2-D motion when only evaluations of a local block-based cost function, the mean of absolute or squared differences,...
160
Voted
BIBM
2008
IEEE
15 years 9 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...
122
Voted
HT
2005
ACM
15 years 8 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...
126
Voted
IJCNLP
2004
Springer
15 years 8 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...
124
Voted
LFCS
1992
Springer
15 years 6 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 ...