279 search results - page 11 / 56 » A Name Abstraction Functor for Named Sets |
SAS
2005
Springer
14 years 2 months ago
2005
Springer
We show that the idea of predicates on heap objects can be cast in the framework of predicate abstraction. This leads to an alternative view on the underlying concepts of three-val...
CVPR
2012
IEEE
11 years 11 months ago
2012
IEEE
In this paper we introduce a novel image descriptor enabling accurate object categorization even with linear models. Akin to the popular attribute descriptors, our feature vector ...
ECAI
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. We describe an approach for compiling dynamic preferences into logic programs under the answer set semantics. An ordered logic program is an extended logic program in whi...
ECSQARU
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. The issue of formalizing skepticism relations between argumentation semantics has been considered only recently in the literature. In this paper, we contribute to this ki...
POLICY
2007
Springer
14 years 2 months ago
2007
Springer
Among the many works on trust negotiation, only a few deal with negotiation strategies. These works are tailored to specific frameworks—so their results cannot be extended to c...