3052 search results - page 416 / 611 » A community-aware search engine |
194
click to vote
JAIR
2008
15 years 7 months ago
2008
Reasoning about agent preferences on a set of alternatives, and the aggregation of such preferences into some social ranking is a fundamental issue in reasoning about multi-agent ...
178
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
Tag clouds provide an aggregate of tag-usage statistics. They are typically sent as in-line HTML to browsers. However, display mechanisms suited for ordinary text are not ideal fo...
188
click to vote
IR
2006
15 years 7 months ago
2006
In this paper we describe and evaluate a Question Answering (QA) system that goes beyond answering factoid questions. Our approach to QA assumes no restrictions on the type of que...
174
click to vote
JSW
2008
15 years 7 months ago
2008
--The vast amounts of data about people, things and the environment will require new ways of handling, searching and presenting information. New applications will increasingly be a...
182
click to vote
JUCS
2006
15 years 7 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...