2069 search results - page 351 / 414 » Synthesizing |
122
click to vote
COGSR
2010
15 years 14 days ago
2010
In this paper, we describe a digital scenario where we simulated the emergence of self-organized symbol-based communication among artificial creatures inhabiting a virtual world of...
160
click to vote
COMMA
2010
15 years 14 days ago
2010
Evidence-based decision making is becoming increasingly important in many diverse domains, including healthcare, environmental management, and government. This has raised the need ...
206
click to vote
NFM
2011
15 years 13 days ago
2011
A main idea underlying bounded model checking is to limit the length of the potential counter-examples, and then prove properties for the bounded version of the problem. In softwar...
182
click to vote
TC
2011
15 years 13 days ago
2011
—Mounting concerns over variability, defects and noise motivate a new approach for digital circuitry: stochastic logic, that is to say, logic that operates on probabilistic signa...
174
click to vote
INTERSPEECH
2010
15 years 9 days ago
2010
Recently, an increasing attention has been paid to Mandarin word stress which is important for improving the naturalness of speech synthesis. Most of the research on Mandarin spee...