3825 search results - page 445 / 765 » More on pooling spaces |
166
click to vote
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
Recent research on model counting in CNF formulas has shown that a certain sampling method can yield results that are sound with a provably high probability. The key idea is to ite...
201
click to vote
FCCM
2006
IEEE
16 years 28 days ago
2006
IEEE
This paper presents a hardware-optimized variant of the well-known Gaussian elimination over GF(2) and its highly efficient implementation. The proposed hardware architecture, we...
184
click to vote
IISWC
2006
IEEE
16 years 27 days ago
2006
IEEE
— As x86-64 processors become the CPU of choice for the personal computer market, it becomes increasingly important to understand the performance we can expect by migrating appli...
205
click to vote
MIAR
2006
IEEE
16 years 27 days ago
2006
IEEE
Abstract. A main focus of statistical shape analysis is the description of variability of a population of geometric objects. In this paper, we present work in progress towards mode...
152
click to vote
ASPDAC
2006
ACM
16 years 26 days ago
2006
ACM
— Due to its great flexibility, gridless routing is desirable for nanometer circuit designs that use variable wire widths and spacings. Nevertheless, it is much more difficult ...