9067 search results - page 364 / 1814 » Adaptive Model Checking |
178
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
In this paper we evaluate a method for generating synthetic speech at high speaking rates based on the interpolation of hidden semi-Markov models (HSMMs) trained on speech data re...
189
click to vote
IADIS
2003
15 years 8 months ago
2003
Conceptual Modelling approaches for the web need extensions to specify dynamic personalization properties in order to design more powerful web applications. Current approaches pro...
163
click to vote
CIDU
2010
15 years 4 months ago
2010
Mathematical models of physical phenomena are of critical importance in virtually all applications of science and technology. This paper addresses the problem of how to use data to...
134
click to vote
WORDS
2003
IEEE
16 years 12 hour ago
2003
IEEE
This paper presents a component model for building distributed applications with fault-tolerance requirements. The AFT-CCM model selects the configuration of replicated services d...
180
click to vote
SECON
2010
IEEE
15 years 4 months ago
2010
IEEE
Interference model is the basis of MAC protocol design in wireless networks, and it directly affects the efficiency and predictability of wireless messaging. To exploit the strengt...