1094 search results - page 146 / 219 » On Computing Explanations in Argumentation |
ICML
2007
IEEE
14 years 12 months ago
2007
IEEE
The scores returned by support vector machines are often used as a confidence measures in the classification of new examples. However, there is no theoretical argument sustaining ...
STOC
2009
ACM
14 years 11 months ago
2009
ACM
We give explicit constructions of epsilon nets for linear threshold functions on the binary cube and on the unit sphere. The size of the constructed nets is polynomial in the dime...
CADE
2001
Springer
14 years 11 months ago
2001
Springer
Abstract. Skepticism is one of the most important semantic intuitions in artificial intelligence. The semantics formalizing skeptical reasoning in (disjunctive) logic programming i...
FOSSACS
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. The resource calculus is an extension of the λ-calculus allowing to model resource consumption. Namely, the argument of a function comes as a finite multiset of resourc...
ICML
2009
IEEE
14 years 6 months ago
2009
IEEE
The Precision-Recall (PR) curve is a widely used visual tool to evaluate the performance of scoring functions in regards to their capacities to discriminate between two population...