1941 search results - page 170 / 389 » On the Hardness of Approximate Reasoning |
165
click to vote
JSAT
2006
15 years 6 months ago
2006
This paper reports about the 2005 comparative evaluation of solvers for quantified Boolean formulas (QBFs), the third in a series of non-competitive events established with the ai...
160
click to vote
TRIDENTCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
Testing and evaluating new architectural propositions is a challenge. Given the usual variety of technologies and scales involved in the necessary evaluation, a one-size-fits-all a...
285
click to vote
Publication
Drawbacks of the traditional scenario of image modeling by Gibbs random fields with multiple pairwise pixel interactions are outlined, and a more reasonable alternative scenario b...
147
click to vote
ICC
2007
IEEE
16 years 26 days ago
2007
IEEE
—Two novel receiver structures which surpass the performance of the conventional matched filter receiver are proposed for ultra-wide bandwidth multiple access communications. Th...
171
click to vote
COMPGEOM
2006
ACM
16 years 15 days ago
2006
ACM
It is a widely observed phenomenon in computer graphics that the size of the silhouette of a polyhedron is much smaller than the size of the whole polyhedron. This paper provides,...