1569 search results - page 18 / 314 » Automated Design Improvement by Example |
CADE
2004
Springer
14 years 1 months ago
2004
Springer
The dependency pair approach is one of the most powerful techniques for automated (innermost) termination proofs of term rewrite systems (TRSs). For any TRS, it generates inequalit...
FMCAD
2007
Springer
13 years 11 months ago
2007
Springer
In today's SoC design cycles, debugging is one of the most time consuming manual tasks. CAD solutions strive to reduce the inefficiency of debugging by identifying error sourc...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
This paper proposes a class of Hilbert transform pairs of orthonormal wavelet bases with improved analyticity. To improve the analyticity of complex wavelet, a different allpass ï...
TSP
2010
13 years 2 months ago
2010
We propose an adaptive technique to design the spectrum of an orthogonal frequency division multiplexing (OFDM) waveform to improve the radar's wideband ambiguity function (WA...
GECCO
2005
Springer
14 years 1 months ago
2005
Springer
This paper will propose a novel approach in combining Evolutionary Algorithms with symbolic techniques in order to improve the convergence of the algorithm in the presence of larg...