10891 search results - page 230 / 2179 » Combining Model Reductions |
132
click to vote
CLIMA
2010
15 years 5 months ago
2010
Simple type theory is suited as framework for combining classical and non-classical logics. This claim is based on the observation that various prominent logics, including (quantif...
118
click to vote
SIGIR
2003
ACM
15 years 9 months ago
2003
ACM
This paper investigates the pre-conditions for successful combination of document representations formed from structural markup for the task of known-item search. As this task is ...
129
Voted
ICML
2006
IEEE
16 years 4 months ago
2006
IEEE
The power and popularity of kernel methods stem in part from their ability to handle diverse forms of structured inputs, including vectors, graphs and strings. Recently, several m...
153
click to vote
KDD
2008
ACM
16 years 4 months ago
2008
ACM
Rapid growth in the amount of data available on social networking sites has made information retrieval increasingly challenging for users. In this paper, we propose a collaborativ...
136
click to vote
SIGIR
2006
ACM
15 years 9 months ago
2006
ACM
Combining the output from multiple retrieval sources over the same document collection is of great importance to a number of retrieval tasks such as multimedia retrieval, web retr...