1127 search results - page 224 / 226 » Theory Extension in ACL2(r) |
KI
2006
Springer
13 years 7 months ago
2006
Springer
Abstract. In this paper, a framework for previous and new quasi-exact extensions of the A -algorithm is presented. In contrast to previous approaches, the new methods guarantee to ...
SIGCSE
2008
ACM
13 years 7 months ago
2008
ACM
A Contributing Student Pedagogy (CSP) is a pedagogy that encourages students to contribute to the learning of others and to value the contributions of others. CSP in formal educat...
SIGIR
2008
ACM
13 years 7 months ago
2008
ACM
Search engine click logs provide an invaluable source of relevance information but this information is biased because we ignore which documents from the result list the users have...
SIGIR
2008
ACM
13 years 7 months ago
2008
ACM
We consider the problem of large scale retrieval evaluation. Recently two methods based on random sampling were proposed as a solution to the extensive effort required to judge te...
SIGIR
2008
ACM
13 years 7 months ago
2008
ACM
In most IR clustering problems, we directly cluster the documents, working in the document space, using cosine similarity between documents as the similarity measure. In many real...