823 search results - page 94 / 165 » A taxonomy of argumentation models used for knowledge repres... |
159
click to vote
UAI
2003
15 years 7 months ago
2003
Currently, there is renewed interest in the problem, raised by Shafer in 1985, of updating probabilities when observations are incomplete (or setvalued). This is a fundamental pro...
194
click to vote
TABLEAUX
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the sys...
167
click to vote
ICTAI
2006
IEEE
16 years 10 days ago
2006
IEEE
The discovery of objects with exceptional behavior is an important challenge from a knowledge discovery standpoint and has attracted much attention recently. In this paper, we pre...
159
click to vote
LREC
2010
15 years 7 months ago
2010
Natural language understanding systems require a knowledge base provided with conceptual representations reflecting the structure of human beings' cognitive system. Although ...
181
click to vote
ER
2007
Springer
16 years 14 days ago
2007
Springer
New technologies used in biology are generating huge quantities of data; up to two petabytes of overall data are to be expected by the end of the decade. Modern biology also has t...