2069 search results - page 50 / 414 » Synthesizing |
109
click to vote
CJ
2010
15 years 4 months ago
2010
rder logic (HOL) theorem prover. The high ability of abstraction in the HOL verification system allows its use for the verification task over the whole design path of the circuit, ...
124
click to vote
EC
2010
15 years 4 months ago
2010
Perhaps the biggest limitation of interactive EC is the fitness evaluation bottleneck, caused by slow user evaluation and leading to small populations and user fatigue. In this st...
136
click to vote
CSL
2007
Springer
15 years 4 months ago
2007
Springer
This experiment assessed the effect of variation in speech rate on comprehension and persuasiveness of a message presented in text-to-speech (TTS) synthesis to native and non-nat...
ECOI
2007
15 years 4 months ago
2007
