5718 search results - page 787 / 1144 » Modeling Rule Precision |
198
Voted
LICS
2009
IEEE
16 years 2 months ago
2009
IEEE
We show how to reason about “step-indexed” logitions in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially...
195
click to vote
CIKM
2009
Springer
16 years 2 months ago
2009
Springer
We investigate the problem of determining the polarity of sentiments when one or more occurrences of a negation term such as “not” appear in a sentence. The concept of the sco...
213
Voted
EPIA
2009
Springer
16 years 2 months ago
2009
Springer
Logic Programming Update Languages were proposed as an extension of logic programming that allows modeling the dynamics of knowledge bases where both extensional (facts) and intent...
214
Voted
LOPSTR
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of finite state reactive systems. The finite state ...
201
Voted
MIRAGE
2009
Springer
16 years 2 months ago
2009
Springer
In this paper we propose a novel framework for 3D object categorization. The object is modeled it in terms of its sub-parts as an histogram of 3D visual word occurrences. We introd...