2996 search results - page 332 / 600 » Numberings and Randomness |
149
click to vote
CP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In this paper we consider the problem of computing the density of states of a Boolean formula in CNF, a generalization of both MAX-SAT and model counting. Given a Boolean...
194
click to vote
IJISEC
2010
15 years 5 months ago
2010
Physical Unclonable Functions (PUFs) are physical objects that are unique, practically unclonable and that behave like a random function when subjected to a challenge. Their use h...
169
click to vote
ACL
2010
15 years 4 months ago
2010
Automatic opinion recognition involves a number of related tasks, such as identifying the boundaries of opinion expression, determining their polarity, and determining their inten...
169
click to vote
ASPDAC
2010
ACM
15 years 4 months ago
2010
ACM
Level-sensitive transparent latches are widely used in high-performance sequential circuit designs. Under process variations, the timing of a transparently latched circuit will ada...
181
click to vote
BMVC
2010
15 years 4 months ago
2010
Local coordinate coding has recently been introduced to learning visual feature dictionary and achieved top level performance for object recognition. However, the computational co...