9698 search results - page 188 / 1940 » models 2010 |
152
click to vote
EUROMED
2010
15 years 5 months ago
2010
Abstract. We explain our approach for verifying the accuracy of 3D CG manual modeling of the Citadel of Bam, which is an architectural heritage site destroyed by an earthquake in 2...
149
click to vote
ENTCS
2007
15 years 6 months ago
2007
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
140
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, an approach to facilitate the treatment with variabilities in system families is presented by explicitly modelling variants. The proposed method of managing variabi...
167
click to vote
TCC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We study the necessary and sufficient assumptions for universally composable (UC) computation, both in terms of setup and computational assumptions. We look at the common...
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...