4192 search results - page 318 / 839 » Probabilistic Logic Programming |
187
click to vote
LPNMR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Answer Set Programming is a new paradigm based on logic programming. The main component of answer set programming is a system that finds the answer sets of logic program...
182
Voted
HPCA
2009
IEEE
16 years 7 months ago
2009
IEEE
This paper presents three techniques for improving the effectiveness of the recently proposed Adaptive Stream Detection (ASD) prefetching mechanism. The ASD prefetcher is a standa...
151
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—We develop diverse routing schemes for dealing with multiple, possibly correlated, failures. While disjoint path protection can effectively deal with isolated single link failur...
198
click to vote
ICALP
2003
Springer
15 years 11 months ago
2003
Springer
Many protocols are designed to operate correctly even in the case where the underlying communication medium is faulty. To capture the behaviour of such protocols, lossy channel sy...
149
click to vote
LCPC
2001
Springer
15 years 11 months ago
2001
Springer
Information gathered by the existing pointer analysis techniques can be classified as must aliases or definitely-points-to relationships, which hold for all executions, and may a...