12943 search results - page 1934 / 2589 » Predicting When Not to Predict |
228
click to vote
DAC
2004
ACM
16 years 8 months ago
2004
ACM
Bounded Model Checking (BMC) relies on solving a sequence of highly correlated Boolean satisfiability (SAT) problems, each of which corresponds to the existence of counter-example...
146
Voted
DAC
2005
ACM
16 years 8 months ago
2005
ACM
We present a new methodology which takes into consideration the effect of Within-Die (WID) process variations on a low-voltage parallel system. We show that in the presence of pro...
188
click to vote
DAC
2006
ACM
16 years 8 months ago
2006
ACM
Chips manufactured in 90 nm technology have shown large parametric variations, and a worsening trend is predicted. These parametric variations make circuit optimization difficult ...
189
click to vote
MICCAI
2003
Springer
16 years 8 months ago
2003
Springer
A robust and automatic system has been developed to detect the visual axis and extract important feature landmarks from slit-lamp photographs, and objectively grade the severity of...
191
click to vote
MICCAI
2005
Springer
16 years 8 months ago
2005
Springer
Abstract. Cornea surgeons have observed that changes in cornea curvature can follow cataract surgery and cause astigmatism. The placement of surgical incisions has been shown to in...