3342 search results - page 554 / 669 » Automating Abstract Interpretation |
DAC
2005
ACM
14 years 11 months ago
2005
ACM
Abstract-- Network processors (NPs) have emerged as successful platforms to providing both high performance and flexibility in building powerful routers. Typical NPs incorporate mu...
DAC
2005
ACM
14 years 11 months ago
2005
ACM
Physical phenomena such as temperature have an increasingly important role in performance and reliability of modern process technologies. This trend will only strengthen with futu...
MICCAI
2005
Springer
14 years 11 months ago
2005
Springer
Abstract. Virtual colonoscopy is a relatively new method for the detection of colonic polyps. Their size, which is measured from reformatted CT images, mainly determines diagnosis....
MICCAI
2005
Springer
14 years 11 months ago
2005
Springer
Abstract. Curves are often used as anatomical features to match surfaces that represent biological objects, such as the human brain. Automated and semi-automated methods for extrac...
MICCAI
2005
Springer
14 years 11 months ago
2005
Springer
Abstract. This paper presents a robust and fully automated registration algorithm for registration of images of Quadrature Tomographic Microscopy (QTM), which is an optical interfe...