7991 search results - page 538 / 1599 » Using More Reasoning to Improve |
184
click to vote
ECSQARU
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conļ¬...
186
click to vote
IJCNN
2008
IEEE
16 years 1 months ago
2008
IEEE
āModeling of complex phenomena such as the mind presents tremendous computational complexity challenges. The neural modeling fields theory (NMF) addresses these challenges in a n...
185
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper is an investigation of the matching problem for term equations s = t where s contains context variables, and both terms s and t are given using some kind of compressed ...
299
click to vote
CVPR
2007
IEEE
16 years 1 months ago
2007
IEEE
Fingerprint individuality study deals with the crucial problem of the discriminative power of fingerprints for recognizing people. In this paper, we present a novel fingerprint in...
181
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
We show how to construct the category of games and innocent strategies from a more primitive category of games. On that category we deļ¬ne a comonad and monad with the former dis...