1661 search results - page 192 / 333 » Advanced carving techniques |
130
click to vote
ICCAD
2002
IEEE
16 years 3 months ago
2002
IEEE
Abstract—A robust, efficient, and accurate inductance extraction and simulation tool, INDUCTWISE, is developed and described in this paper. This work advances the state-of-the-ar...
139
click to vote
ICCAD
2002
IEEE
16 years 3 months ago
2002
IEEE
Within the verification community, there has been a recent increase in interest in Quantified Boolean Formula evaluation (QBF) as many interesting sequential circuit verification ...
181
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
Future progress in neuroscience hinges on reconstruction of neuronal circuits to the level of individual synapses. Because of the specifics of neuronal architecture, imaging must ...
164
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
Pictorial structure (PS) models are extensively used for part-based recognition of scenes, people, animals and multi-part objects. To achieve tractability, the structure and param...
157
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
We present a tool for helping XML schema designers to obtain a high quality level for their specifications. The tool allows one to analyze relations between classes of XML docume...