77016 search results - page 69 / 15404 » Modeling |
ICASSP
2010
IEEE
15 years 2 days ago
2010
IEEE
Although research has previously been done on multilingual speech recognition, it has been found to be very difficult to improve over separately trained systems. The usual approa...
ENTCS
2007
14 years 12 months ago
2007
Several model-checker based methods to automated test-case generation have been proposed recently. The performance and applicability largely depends on the complexity of the model...
117
click to vote
INFORMATICALT
2007
14 years 11 months ago
2007
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...
ICMI
2010
Springer
14 years 9 months ago
2010
Springer
We present a novel approach to speech-driven facial animation using a non-parametric switching state space model based on Gaussian processes. The model is an extension of the shar...
DAGSTUHL
2006
15 years 1 months ago
2006
Programming technologies have improved continuously during the last decades, but from an Information Systems perspective, some well-known problems associated to the design and impl...