5472 search results - page 787 / 1095 » Stochastic Mechanism Design |
152
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
Phase noise is a topic of theoretical and practical interest in electronic circuits, as well as in other fields such as optics. Although progress has been made in understanding th...
137
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
Dual-execution/checkpointing based transient error tolerance techniques have been widely used in the high-end mission critical systems. These techniques, however, are not very att...
201
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Modern high performance processors employ advanced techniques for thermal management, which rely on accurate readings of on-die thermal sensors. As the importance of thermal effec...
181
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...
157
click to vote
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
The approach proposed in this paper retrieves contours from transrectal ultrasound (TRUS) prostate images. The input images are sparsely annotated by radiologists for the purpose ...