9842 search results - page 1824 / 1969 » Compositional timing analysis |
DAC
2005
ACM
14 years 11 months ago
2005
ACM
The challenge of verifying a modern microprocessor design is an overwhelming one: Increasingly complex micro-architectures combined with heavy time-to-market pressure have forced ...
MICCAI
2006
Springer
14 years 11 months ago
2006
Springer
Abstract. The quantitative assessment of neck lymph nodes in the context of malign tumors requires an ecient segmentation technique for lymph nodes in tomographic 3D datasets. We p...
MICCAI
2005
Springer
14 years 11 months ago
2005
Springer
Functional Magnetic Resonance Imaging(fMRI) has enabled scientists to look into the active human brain, leading to a flood of new data, thus encouraging the development of new data...
IPMI
2005
Springer
14 years 11 months ago
2005
Springer
Obesity has risen to epidemic levels in the United States and around the world. Global indices of obesity such as the body mass index (BMI) have been known to be inaccurate predict...
ICML
1999
IEEE
14 years 11 months ago
1999
IEEE
Many interesting problems, such as power grids, network switches, and tra c ow, that are candidates for solving with reinforcement learningRL, alsohave properties that make distri...