7393 search results - page 972 / 1479 » Synthesis-for-testability using transformations |
145
click to vote
ICMCS
2009
IEEE
15 years 4 months ago
2009
IEEE
To improve the expressiveness of speech synthesis, the paper proposes a model to simulate the prosody features of exclamatory speech with modal tags. While compared with reading s...
147
click to vote
ICMLA
2009
15 years 4 months ago
2009
Abstract--Many studies have shown the limits of support/confidence framework used in Apriori-like algorithms to mine association rules. One solution to cope with this limitation is...
159
click to vote
IFIP
2009
Springer
15 years 4 months ago
2009
Springer
We present a platform that allows a protocol researcher to specify the sequence of games from an initial protocol to a protocol where the security property under consideration can ...
150
click to vote
ECEASST
2010
15 years 3 months ago
2010
In this talk we will present a new approach to deal with attributed graphs and attributed graph transformation. The approach is based on working with what we call symbolic graphs, ...
196
click to vote
IANDC
2010
15 years 3 months ago
2010
In a previous paper, we developed an algebraic theory of threads, interleaving of threads, and interaction between threads and services. In the current paper, we extend that theory...