9698 search results - page 209 / 1940 » models 2010 |
162
click to vote
ENTCS
2007
15 years 6 months ago
2007
We present a syntactic scheme for translating future-time LTL bounded model checking problems into propositional satisfiability problems. The scheme is similar in principle to th...
159
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
This paper presents a study on the use of deep syntactical features to improve prosody modeling 1 . A French linguistic processing chain based on linguistic preprocessing, morphos...
188
click to vote
ENTCS
2006
15 years 6 months ago
2006
We demonstrate a novel simulation technique for analysing large stochastic process algebra models, applying this to a secure electronic voting system example. By approximating the...
175
click to vote
ICWSM
2010
15 years 8 months ago
2010
As microblogging grows in popularity, services like Twitter are coming to support information gathering needs above and beyond their traditional roles as social networks. But most...
185
click to vote
TASLP
2010
15 years 1 months ago
2010
Minimum phone error (MPE) acoustic parameter estimation involves calculation of edit distances (errors) between correct and incorrect hypotheses. In the context of large vocabulary...