6650 search results - page 171 / 1330 » models 2009 |
190
click to vote
WIAMIS
2009
IEEE
16 years 1 months ago
2009
IEEE
In this work, we propose a design for a user attention model featuring three core components. Our system components can work in real-time, offering indications of user attention f...
168
click to vote
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
We propose how to present and compute a counterexample in probabilistic LTL model checking for discrete-time Markov chains. In qualitative probabilistic model checking, we present ...
175
click to vote
CEC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This work presents a methodology for the application of a parallel genetic algorithm (PGA) to the problem of protein folding prediction, using the 3DHP-Side Chain model. This m...
172
click to vote
WEBI
2009
Springer
16 years 1 months ago
2009
Springer
Due to the increasing demands for network security, distributed intrusion detection has become a hot research topic in computer science. However, the design and maintenance of the...
188
click to vote
ISVC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this work, synthesis of facial animation is done by modelling the mapping between facial motion and speech using the shared Gaussian process latent variable model. Bot...