18716 search results - page 107 / 3744 » Automatic |
118
click to vote
DAC
2005
ACM
16 years 5 months ago
2005
ACM
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...
105
click to vote
MICCAI
2007
Springer
16 years 5 months ago
2007
Springer
DBS for Parkinson's disease involves an extensive planning to find a suitable electrode implantation path to the selected target. We have investigated the feasibility of impro...
141
click to vote
ISBI
2002
IEEE
16 years 4 months ago
2002
IEEE
This paper presents a statistical shape model for automatic skull stripping of MR brain images. A surface model of the brain boundary is hierarchically represented by a set of ove...
123
Voted
WWW
2004
ACM
16 years 4 months ago
2004
ACM
This paper provides an overview of a technique for extracting information from the Web search interfaces of e-commerce search engines that is useful for supporting automatic searc...
130
click to vote
VLSID
2002
IEEE
16 years 4 months ago
2002
IEEE
We present a methodology and algorithms for automatic refinement from a given design specification to an architecture model based on decisions in architecture exploration. An arch...