Sciweavers

1585 search results - page 37 / 317
» A framework for computer-aided validation
Sort
View
DAC
2004
ACM
15 years 5 months ago
Correct-by-construction layout-centric retargeting of large analog designs
Aggressive design cycles in the semiconductor industry demand a design-reuse principle for analog circuits. The strong impact of layout intricacies on analog circuit performance n...
Sambuddha Bhattacharya, Nuttorn Jangkrajarng, Roy ...
IMR
2003
Springer
15 years 5 months ago
Meshing Complexity of Single Part CAD Models
This paper proposes a method for predicting the complexity of meshing Computer Aided Design (CAD) geometries with unstructured, hexahedral, finite elements. Meshing complexity ref...
David R. White, Sunil Saigal, Steven J. Owen
ICAT
2007
IEEE
15 years 3 months ago
Direct-Projected AR Based Interactive User Interface for Medical Surgery
In the field of computer aided surgery, augmented reality (AR) technology has been successfully used for enhancing accuracy of surgery and making surgeons convenient by visually a...
Byung-Kuk Seo, Moon-Hyun Lee, Hanhoon Park, Jong-I...
CVPR
2011
IEEE
14 years 3 months ago
Effective 3D Object Detection and Regression Using Probabilistic Segmentation Features in CT Images
3D object detection and importance regression/ranking are at the core for semantically interpreting 3D medical images of computer aided diagnosis (CAD). In this paper, we propose ...
Le Lu, Jinbo Bi, Matthias Wolf, Marcos Salganicoff
SMA
2003
ACM
120views Solid Modeling» more  SMA 2003»
15 years 5 months ago
Three-dimensional halfspace constructive solid geometry tree construction from implicit boundary representations
This paper presents a new method to compute constructive solid geometry (CSG) tree representations of an object whose faces consist of planar and non-planar surfaces. The algorith...
Suzanne F. Buchele, Richard H. Crawford