2137 search results - page 307 / 428 » Experiments in Predicting Biodegradability |
134
Voted
DAC
2000
ACM
16 years 3 months ago
2000
ACM
We describe METRICS, a system to recover design productivity via new infrastructure for design process optimization. METRICS seeks to treat system design and implementation as a s...
136
Voted
DAC
2004
ACM
16 years 3 months ago
2004
ACM
A five-fold increase in leakage current is predicted with each technology generation. While Dynamic Voltage Scaling (DVS) is known to reduce dynamic power consumption, it also cau...
128
click to vote
DAC
2004
ACM
16 years 3 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...
120
Voted
MICCAI
2005
Springer
16 years 3 months ago
2005
Springer
Models that predict the soft tissue deformation caused by needle insertion could improve the accuracy of procedures such as brachytherapy and needle biopsy. Prior work on needle in...
108
Voted
MICCAI
2005
Springer
16 years 3 months ago
2005
Springer
Noninvasive temperature measurement is feasible with MRI to monitor changes in thermal therapy. Phase shift based MR thermometry gives an estimate of the relative temperature varia...