7522 search results - page 1213 / 1505 » Spacing memetic algorithms |
130
click to vote
DAC
2005
ACM
16 years 4 months ago
2005
ACM
SAT (Boolean satisfiability) has become the primary Boolean reasoning engine for many EDA applications, so the efficiency of SAT solving is of great practical importance. Recently...
106
click to vote
DAC
2005
ACM
16 years 4 months ago
2005
ACM
Trajectory methods sample the state trajectory of a circuit as it simulates in the time domain, and build macromodels by reducing and interpolating among the linearizations create...
108
Voted
DAC
2006
ACM
16 years 4 months ago
2006
ACM
DNA self-assembly is an emerging technology with potential as a future replacement of conventional lithographic fabrication. A key challenge is the specification of appropriate DN...
115
click to vote
MICCAI
2006
Springer
16 years 4 months ago
2006
Springer
Abstract. Freehand 3D ultrasound systems acquire sets of B-Mode ultrasound images tagged with position information obtained by a tracking device. For both further processing and cl...
130
click to vote
MICCAI
2005
Springer
16 years 4 months ago
2005
Springer
Abstract. In this paper we present a novel method for building a 4D statistical atlas describing the cardiac anatomy and how the cardiac anatomy changes during the cardiac cycle. T...