426 search results - page 44 / 86 » SAT-Based Techniques in System Synthesis |
SIPS
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper describes the sub-Nyquist rate digital-to-analog conversion technique for a direct waveform synthesis (DWS) transmitter. IEEE 802.22 TV band Cognitive Radio (CR) transm...
GECCO
2007
Springer
14 years 2 months ago
2007
Springer
This paper presents a novel approach to the problem of automatic music transcription using electronic synthesis with genetic algorithms. Although the problem is well known and diï...
FPL
2005
Springer
14 years 2 months ago
2005
Springer
This paper describes a method based on polynomial approximation for transferring ROM resources used in FPGA designs to multiplication and addition operations. The technique can be...
ASSETS
2009
ACM
13 years 6 months ago
2009
ACM
Speech synthesis options on assistive communication devices are very limited and do not reflect the user’s vocal quality or personality. Previous work suggests that speakers wit...
VR
2009
IEEE
14 years 3 months ago
2009
IEEE
Due to the intrinsic subtlety and dynamics of eye movements, automated generation of natural and engaging eye motion has been a challenging task for decades. In this paper we pres...