392 search results - page 52 / 79 » Conversion by Evaluation |
SAT
2010
Springer
13 years 8 months ago
2010
Springer
Previous work has shown that circuit representations can be exploited in QBF solvers to obtain useful performance improvements. In this paper we examine some additional techniques ...
PIMRC
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract--Social networking on the Web has become an integral part of our lives. Merging of computing with physical things enabled the conversion of everyday objects into informati...
ICMCS
2009
IEEE
13 years 7 months ago
2009
IEEE
This paper highlights the iterative development of a dynamic web environment for exploring physics pedagogy: the Physics Teaching Web Advisory, Pathway. The formative evaluation o...
INTERSPEECH
2010
13 years 4 months ago
2010
We analyse the contribution of higher-level elements of the linguistic specification of a data-driven speech synthesiser to the naturalness of the synthetic speech which it genera...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
We address the problem of pronunciation variation in conversational speech with a context-dependent articulatory featurebased model. The model is an extension of previous work usi...