Sciweavers

2152 search results - page 341 / 431
» On Automating the Calculus of Relations
Sort
View
DAC
2006
ACM
16 years 1 months ago
Efficient SAT-based Boolean matching for FPGA technology mapping
Most FPGA technology mapping approaches either target Lookup Tables (LUTs) or relatively simple Programmable Logic Blocks (PLBs). Considering networks of PLBs during technology map...
Sean Safarpour, Andreas G. Veneris, Gregg Baeckler...
61
Voted
DAC
2006
ACM
16 years 1 months ago
Optimal jumper insertion for antenna avoidance under ratio upper-bound
Antenna effect may damage gate oxides during plasma-based fabrication process. The antenna ratio of total exposed antenna area to total gate oxide area is directly related to the ...
Jia Wang, Hai Zhou
MICCAI
2006
Springer
16 years 1 months ago
Probabilistic Brain Atlas Encoding Using Bayesian Inference
This paper addresses the problem of creating probabilistic brain atlases from manually labeled training data. We propose a general mesh-based atlas representation, and compare diff...
Koen Van Leemput
102
Voted
MICCAI
2005
Springer
16 years 1 months ago
Segmentation and Size Measurement of Polyps in CT Colonography
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....
J. J. Dijkers, Cees van Wijk, Frans Vos, Jasper Fl...
107
Voted
MICCAI
2005
Springer
16 years 1 months ago
Automatic Detection and Segmentation of Robot-Assisted Surgical Motions
Robotic surgical systems such as Intuitive Surgical's da Vinci system provide a rich source of motion and video data from surgical procedures. In principle, this data can be u...
Henry C. Lin, Izhak Shafran, Todd E. Murphy, Allis...