1912 search results - page 129 / 383 » On the evaluation of argumentation formalisms |
194
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...
168
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...
154
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...
200
click to vote
APLAS
2009
ACM
16 years 1 months 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...
147
click to vote
ICC
2007
IEEE
16 years 1 months 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...