1912 search results - page 143 / 383 » On the evaluation of argumentation formalisms |
170
click to vote
NIPS
2007
15 years 8 months ago
2007
We propose a model that leverages the millions of clicks received by web search engines to predict document relevance. This allows the comparison of ranking functions when clicks ...
161
click to vote
IWC
2008
15 years 6 months ago
2008
Interactive algorithm visualizations (AVs) are powerful tools for teaching and learning concepts that are difficult to describe with static media alone. However, while countless A...
172
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...
212
click to vote
BCSHCI
2009
15 years 4 months ago
2009
This paper presents research that engages with virtual worlds for education users to understand design of these applications for their needs. An in-depth multi-method investigatio...
216
click to vote
SIGMOD
2011
ACM
14 years 9 months ago
2011
ACM
Probabilistic database systems have successfully established themselves as a tool for managing uncertain data. However, much of the research in this area has focused on efficient...