1912 search results - page 129 / 383 » On the evaluation of argumentation formalisms |
168
click to vote
HICSS
2010
IEEE
16 years 1 months ago
2010
IEEE
The paper presents our design of a next generation information retrieval system based on tag co-occurrences and subsequent clustering. We help users getting access to digital data...
143
click to vote
ICML
2009
IEEE
16 years 1 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...
140
click to vote
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We introduce a tree-sequent calculus for inquisitive logic (Groenendijk 2008) as a special form of labelled deductive system (Gabbay 1996). In particular, we establish th...
176
click to vote
APLAS
2009
ACM
16 years 29 days ago
2009
ACM
Restricting destructive update to values of a distinguished reference type prevents functions from being polymorphic in the mutability of their arguments. This restriction makes it...
138
click to vote
ICC
2007
IEEE
16 years 23 days ago
2007
IEEE
— The average of the product of two Gaussian Q-functions having arguments as different scaled versions of the same Nakagami distributed fading gain magnitude is derived in close...