7228 search results - page 970 / 1446 » From Algorithmic to Subjective Randomness |
128
click to vote
DAC
2009
ACM
15 years 9 months ago
2009
ACM
We present a novel technique for Sequential Equivalence Checking (SEC) between non-cycle-accurate designs. The problem is routinely encountered in verifying the correctness of a s...
167
click to vote
DIM
2009
ACM
15 years 9 months ago
2009
ACM
For e-commerce companies providing online services, fraudulent access resulting from theft of identity credentials is a serious concern. Such online service providers deploy a var...
181
click to vote
MM
2009
ACM
15 years 9 months ago
2009
ACM
Television news has become the predominant way of understanding the world around us, but individual news broadcasters can frame or mislead an audience’s understanding of politic...
140
Voted
MOBICOM
2009
ACM
15 years 9 months ago
2009
ACM
We consider the problem of cross-band interference when devices from the same or different networks share radio spectrum. Cross-band interference occurs when unsynchronized trans...
162
click to vote
CIKM
2009
Springer
15 years 9 months ago
2009
Springer
Indoor spaces accommodate large populations of individuals. The continuous range monitoring of such objects can be used as a foundation for a wide variety of applications, e.g., s...