886 search results - page 32 / 178 » Reasoning with contextual graphs |
119
Voted
AMAI
2005
Springer
15 years 1 months ago
2005
Springer
Binary-clause reasoning has been shown to reduce the size of the search space on many satisfiability problems, but has often been so expensive that run-time was higher than that o...
126
click to vote
ECCV
2008
Springer
16 years 3 months ago
2008
Springer
The increased use of context for high level reasoning has been popular in recent works to increase recognition accuracy. In this paper, we consider an orthogonal application of con...
116
click to vote
CONTEXT
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. A key challenge in information retrieval is the use of contextual evidence within ad-hoc retrieval. Our contribution is particularly based on the belief that contextual r...
141
Voted
ESOP
2006
Springer
15 years 5 months ago
2006
Springer
We present a sound and complete proof technique, based on syntactic logical relations, for showing contextual equivalence of expressions in a -calculus with recursive types and imp...
87
Voted
ANLP
1994
15 years 3 months ago
1994
Many of the kinds of language model used in speech understanding suffer from imperfect modeling of intra-sentential contextual influences. I argue that this problem can be address...