5030 search results - page 933 / 1006 » cases 2007 |
108
click to vote
VLSID
2007
IEEE
16 years 1 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. Traditionally, the different components (or validation collaterals) used i...
119
Voted
RECOMB
2007
Springer
16 years 1 months ago
2007
Springer
High-resolution array comparative genomic hybridization (aCGH) provides exon-level mapping of DNA aberrations in cells or tissues. Such aberrations are central to carcinogenesis an...
91
Voted
STOC
2007
ACM
16 years 1 months ago
2007
ACM
We demonstrate an average-case problem that is as hard as finding (n)-approximate shortest vectors in certain n-dimensional lattices in the worst case, where (n) = O( log n). The...
110
click to vote
STOC
2007
ACM
16 years 1 months ago
2007
ACM
In an online linear optimization problem, on each period t, an online algorithm chooses st S from a fixed (possibly infinite) set S of feasible decisions. Nature (who may be adve...
108
Voted
STOC
2007
ACM
16 years 1 months ago
2007
ACM
In 1998, Impagliazzo and Wigderson [IW98] proved a hardness vs. randomness tradeoff for BPP in the uniform setting, which was subsequently extended to give optimal tradeoffs for t...