799 search results - page 32 / 160 » Refinement and Separation Contexts |
INTERSPEECH
2010
13 years 3 months ago
2010
To achieve natural high quality synthesised speech in HMMbased speech synthesis, the effective modelling of complex acoustic and linguistic contexts is critical. Traditional appro...
FASE
2004
Springer
14 years 2 months ago
2004
Springer
The topic of software architecture (SA) based testing has recently raised some interest. Recent work on the topic has used the SA as a reference model for code conformance testing,...
WSC
2008
13 years 11 months ago
2008
The re-use of a model by someone else than the original developer is still an open challenge. This paper presents composition structures and interface descriptions for discreteeve...
AAAI
1998
13 years 10 months ago
1998
Hierarchical task network and action-based planning approaches have traditionally been studied separately. In many domains, human expertise in the form of hierarchical reduction s...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
We are interested in verifying dynamic properties of finite state reactive systems under fairness assumptions by model checking. The systems we want to verify are specified throug...