2869 search results - page 124 / 574 » The Inference Problem: A Survey |
112
click to vote
LICS
1999
IEEE
15 years 4 months ago
1999
IEEE
We consider type systems that combine universal types, recursive types, and object types. We study type inference in these systems under a rank restriction, following Leivant'...
86
Voted
FOCS
1992
IEEE
15 years 4 months ago
1992
IEEE
Partial types for the -calculus were introduced by Thatte in 1988 [3] as a means of typing objects that are not typable with simple types, such as heterogeneous lists and persiste...
93
Voted
CSB
2004
IEEE
15 years 4 months ago
2004
IEEE
Our previous work to accelerate phylogeny inference using HW/SW(Hardware/Software) co-design has recently been extended to a more powerful embedded computing platform. In this pla...
88
Voted
COLING
2008
15 years 2 months ago
2008
We propose an approach to natural language inference based on a model of natural logic, which identifies valid inferences by their lexical and syntactic features, without full sem...
100
click to vote
FIW
2007
15 years 2 months ago
2007
Many of the formal techniques are orchestrated for interaction detection in a complex integrated solution of hardware and software components. However, the applicability of these ...