114 search results - page 15 / 23 » Verification by Simulation Comparison using Interface Synthe... |
ICMCS
2009
IEEE
13 years 5 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...
ICHIM
2001
13 years 9 months ago
2001
Within the field of cultural heritage restoration, experts are interested in the analysis of data describing the condition and history of ancient monuments. Data are usually distr...
DAC
2010
ACM
13 years 6 months ago
2010
ACM
As high-level models in C and SystemC are increasingly used for verification and even design (through high-level synthesis) of electronic systems, there is a growing need for com...
SIMULATION
2010
13 years 2 months ago
2010
We introduce and describe a novel network simulation tool called NeSSi (Network Security Simulator). NeSSi incorporates a variety of features relevant to network security distingu...
FCT
2003
Springer
14 years 1 months ago
2003
Springer
: In this paper a comparison is provided between the membrane computing systems and the graphical interfaces of operating systems. A membrane computing system is a computing model ...