1094 search results - page 57 / 219 » On Computing Explanations in Argumentation |
98
Voted
ITICSE
2006
ACM
15 years 6 months ago
2006
ACM
Adaptive explanatory visualization is an attempt to integrate two promising approaches to program visualization: adaptive visualization and explanatory visualization. The goal of ...
110
Voted
AIML
2008
15 years 2 months ago
2008
In 1983, Valentini presented a syntactic proof of cut-elimination for a sequent calculus GLSV for the provability logic GL where we have added the subscript V for "Valentini&q...
96
Voted
FSTTCS
2009
Springer
15 years 7 months ago
2009
Springer
We describe a simple iterative method for proving a variety of results in combinatorial optimization. It is inspired by Jain’s iterative rounding method (FOCS 1998) for designing...
117
click to vote
EMNLP
2010
14 years 10 months ago
2010
We show that jointly performing semantic role labeling (SRL) on bitext can improve SRL results on both sides. In our approach, we use monolingual SRL systems to produce argument c...
116
Voted
EUROCRYPT
2004
Springer
15 years 6 months ago
2004
Springer
We revisit the following open problem in information-theoretic cryptography: Does the communication complexity of unconditionally secure computation depend on the computational com...