2646 search results - page 119 / 530 » Local Type Inference |
154
click to vote
ASIAN
2009
Springer
15 years 3 months ago
2009
Springer
In their work on tractable deduction systems, D. McAllester and later D. Basin and H. Ganzinger have identified a property of inference systems (the locality property) that ensures...
EACL
2009
ACL Anthology
16 years 3 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...
133
Voted
ACL
2012
13 years 5 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...
110
click to vote
ENTCS
2010
15 years 2 months ago
2010
The theory of nominal sets is a theory for names, freshness and binders. It has recently been suggested as a framework for modelling local store because it allows for a more eleme...
127
Voted
ISBI
2007
IEEE
15 years 9 months ago
2007
IEEE
We present a novel local region approach for statistically characterizing appearance in the context of medical image segmentation via deformable models. Our appearance model refl...