8512 search results - page 258 / 1703 » Computing Theory With Relevance |
176
click to vote
SIGIR
2010
ACM
15 years 6 months ago
2010
ACM
The Quantum Probability Ranking Principle (QPRP) has been recently proposed, and accounts for interdependent document relevance when ranking. However, to be instantiated, the QPRP...
152
click to vote
AML
2008
15 years 6 months ago
2008
This document is a survey of the four papers [H], [Sch], [Com], [FandH]. It gives the relevant background and shows how the papers fit together to form a whole. Material from thos...
173
click to vote
CADE
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Sledgehammer is a component of Isabelle/HOL that employs firstorder automatic theorem provers (ATPs) to discharge goals arising in interactive proofs. It heuristically s...
211
click to vote
LOGCOM
2010
15 years 24 days ago
2010
We describe a method to axiomatize computations in deterministic Turing machines (TMs). When applied to computations in non-deterministic TMs, this method may produce contradictor...
148
click to vote
EJIS
2006
15 years 6 months ago
2006
This paper proposes extending the frontiers of information systems (IS) research by seeing computer art as a kind of information system. It explores some research questions that a...