55 search results - page 2 / 11 » Proof Granularity as an Empirical Problem |
157
click to vote
JMLR
2006
15 years 5 months ago
2006
We develop kernels for measuring the similarity between relational instances using background knowledge expressed in first-order logic. The method allows us to bridge the gap betw...
143
click to vote
EOR
2007
15 years 5 months ago
2007
Consider a single machine and a set of jobs that are available for processing at time 0. Job ¡ has a processing time ¢¤£ , a due date ¥¦£ and a weight §¨£ . We consid...
138
click to vote
AMAI
2005
Springer
15 years 5 months ago
2005
Springer
Many algorithms for Boolean satisfiability (SAT) work within the framework of resolution as a proof system, and thus on unsatisfiable instances they can be viewed as attempting to...
114
click to vote
IEEEPACT
2007
IEEE
15 years 12 months ago
2007
IEEE
Performance auditing is an online optimization strategy that empirically measures the effectiveness of an optimization on a particular code region. It has the potential to greatly...
158
click to vote
ACSW
2004
15 years 7 months ago
2004
A data stream is a continuous and high-speed flow of data items. High speed refers to the phenomenon that the data rate is high relative to the computational power. The increasing...