10 search results - page 1 / 2 » rsp 2008 |
107
Voted
RSP
2008
IEEE
15 years 10 months ago
2008
IEEE
96
Voted
RSP
2008
IEEE
15 years 10 months ago
2008
IEEE
115
Voted
ENTCS
2008
15 years 3 months ago
2008
Logical frameworks have enjoyed wide adoption as meta-languages for describing deductive systems. While the techniques for representing object languages in logical frameworks are ...
124
Voted
AAAI
2008
15 years 5 months ago
2008
The survey propagation (SP) algorithm has been shown to work well on large instances of the random 3-SAT problem near its phase transition. It was shown that SP estimates marginal...