6693 search results - page 57 / 1339 » Methods of Automatic Algorithm Generation |
120
Voted
MICCAI
2008
Springer
16 years 3 months ago
2008
Springer
Abstract. We present a new method for the simultaneous, nearly automatic segmentation of liver contours, vessels, and metastatic lesions from abdominal CTA scans. The method repeat...
140
click to vote
TCAD
2002
15 years 1 months ago
2002
The design of programmable logic architectures and supporting computer-aided design tools fundamentally requires both a good understanding of the combinatorial nature of netlist gr...
126
click to vote
EUROGP
2001
Springer
15 years 6 months ago
2001
Springer
An evolutionary algorithm is used to design a finite impulse response digital filter with reduced power consumption. The proposed design approach combines genetic optimization an...
126
click to vote
TC
2008
15 years 2 months ago
2008
Since redundant number systems allow for constant time addition, they are often at the heart of modular multipliers designed for public key cryptography (PKC) applications. Indeed,...
127
click to vote
ASE
2005
15 years 2 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...