82
Voted
ILP
2004
Springer
15 years 6 months ago
2004
Springer
This paper focuses on inductive learning of recursive logical theories from a set of examples. This is a complex task where the learning of one predicate definition should be inter...
111
Voted
HPCA
2003
IEEE
16 years 1 months ago
2003
IEEE
Predicated Execution can be used to alleviate the costs associated with frequently mispredicted branches. This is accomplished by trading the cost of a mispredicted branch for exe...