892 search results - page 66 / 179 » Strategies in sentential reasoning |
112
click to vote
ILP
2004
Springer
15 years 10 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...
114
click to vote
FC
2003
Springer
15 years 9 months ago
2003
Springer
Decentralized anonymity infrastructures are still not in wide use today. While there are technical barriers to a secure robust design, our lack of understanding of the incentives t...
126
click to vote
GECCO
2003
Springer
15 years 9 months ago
2003
Springer
With the exception of a small body of adaptive-parameter literature, evolutionary computation has traditionally favored keeping the population size constant through the course of t...
129
click to vote
CSR
2008
Springer
15 years 6 months ago
2008
Springer
Razborov and Rudich identified an imposing barrier that stands in the way of progress toward the goal of proving superpolynomial lower bounds on circuit size. Their work on "n...
288
click to vote
ACSW
2006
15 years 5 months ago
2006
The conventional computing Grid has developed a service oriented computing architecture with a superlocal resource management and scheduling strategy. This architecture is limited...