2022 search results - page 372 / 405 » Natural-Language Semantics for Associations |
POPL
1991
ACM
14 years 1 months ago
1991
ACM
We investigate the interactions of subtyping and recursive types, in a simply typed λ-calculus. The two fundamental questions here are whether two (recursive) types are in the su...
AAAI
2007
14 years 10 days ago
2007
We present a new probabilistic framework for finding likely variable assignments in difficult constraint satisfaction problems. Finding such assignments is key to efficient sea...
CVPR
2008
IEEE
13 years 11 months ago
2008
IEEE
We consider the problem of visual categorization with minimal supervision during training. We propose a partbased model that loosely captures structural information. We represent ...
EWCBR
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Effective encoding of information is one of the keys to qualitative problem solving. Our aim is to explore Knowledge representation techniques that capture meaningful wor...
ACL
2007
13 years 11 months ago
2007
Deriving the polarity and strength of opinions is an important research topic, attracting significant attention over the last few years. In this work, to measure the strength and...