6438 search results - page 139 / 1288 » A Parameterised Search System |
245
click to vote
FROCOS
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
113
click to vote
WSDM
2010
ACM
16 years 1 months ago
2010
ACM
In web search, recency ranking refers to ranking documents by relevance which takes freshness into account. In this paper, we propose a retrieval system which automatically detect...
171
click to vote
SIGIR
2009
ACM
15 years 11 months ago
2009
ACM
While query expansion techniques have been shown to improve retrieval performance in a centralized setting, they have not been well studied in a federated setting. In this paper, ...
113
click to vote
CIVR
2007
Springer
15 years 10 months ago
2007
Springer
Anecdotal evidence suggests that story-level information is important for the speech component of video retrieval. In this paper we perform a systematic examination of the combina...
147
click to vote
HICSS
2006
IEEE
15 years 10 months ago
2006
IEEE
Real-time frequent pattern mining for business intelligence systems are currently in the focal area of research. In a number of areas of doing business, especially in the arena of...