1722 search results - page 88 / 345 » Generating Tests from Counterexamples |
ICMCS
2007
IEEE
15 years 9 months ago
2007
IEEE
We propose a method for synthesizing a “speaker mixture voice” that has both of two speakers’ individualities. We define the “speaker mixture voice” as such that 50 per...
138
click to vote
ACL
2006
15 years 4 months ago
2006
Spoken language generation for dialogue systems requires a dictionary of mappings between semantic representations of concepts the system wants to express and realizations of thos...
114
click to vote
ISI
2010
Springer
15 years 1 months ago
2010
Springer
—Fear of crime is a central topic in the field of victimization. In particular, criminologists are interested in the environmental structures and cues that generate fear. Resear...
139
click to vote
ICCAD
2003
IEEE
15 years 8 months ago
2003
IEEE
Domino circuits have been used in most modern high-performance microprocessor designs because of their high speed, low transistor-count and hazard-free operation. However, with te...
121
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...