3238 search results - page 347 / 648 » On the Computational Interpretation of Negation |
185
click to vote
EPIA
2007
Springer
16 years 25 days ago
2007
Springer
Recently, the logics of minimal knowledge and negation as failure MKNF [12] was used to introduce hybrid MKNF knowledge bases [14], a powerful formalism for combining open and clos...
154
click to vote
ICIAR
2007
Springer
16 years 25 days ago
2007
Springer
This paper introduces a composite relevance feedback approach for image retrieval using transaction-based and SVM-based learning. A transaction repository is dynamically constructe...
185
click to vote
TAMC
2007
Springer
16 years 23 days ago
2007
Springer
We consider the following problem in a stream model: Given a sequence a = a1, a2, . . . , am wich each ai ∈ [n] = {1, . . . , n} and m > n, find a duplicate in the sequence, ...
174
click to vote
ESCIENCE
2006
IEEE
16 years 22 days ago
2006
IEEE
Numerous Grid workflow engines exist, each generally specialized for a single application domain such as protein folding. Although the underlying purpose and functionality of the ...
159
click to vote
LICS
2006
IEEE
16 years 20 days ago
2006
IEEE
Digital music players protect songs by enforcing licenses that convey specific rights for individual songs or groups of songs. For licenses specified in industry, we show that d...