1817 search results - page 357 / 364 » Forcing and Type Theory |
SIGIR
2008
ACM
13 years 7 months ago
2008
ACM
This paper addresses the issue of query refinement, which involves reformulating ill-formed search queries in order to enhance relevance of search results. Query refinement typica...
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...
AI
2005
Springer
13 years 7 months ago
2005
Springer
Proactive information delivery is critical to achieving effective teamwork. However, existing theories do not adequately address proactive information delivery. This paper present...
SLOGICA
2008
13 years 7 months ago
2008
In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis ...
IMDS
2007
13 years 7 months ago
2007
Purpose – This research seeks to investigate the relationship between knowledge diversity (KD) in software teams and project performance. Previous research has shown that member...