9425 search results - page 429 / 1885 » Some Notes on Models and Modelling |
120
click to vote
EJWCN
2010
14 years 12 months ago
2010
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...
168
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
Gaussian mixture models (GMMs) are commonly used to model the spectral distribution of speech signals for text-independent speaker verification. Mean vectors of the GMM, used in c...
226
click to vote
ICCV
2011
IEEE
14 years 5 months ago
2011
IEEE
We propose a novel way to induce a random field from an energy function on discrete labels. It amounts to locally injecting noise to the energy potentials, followed by finding t...
167
Voted
DSN
2011
IEEE
14 years 4 months ago
2011
IEEE
—Virtualization offers the potential for cost-effective service provisioning. For service providers who make significant investments in new virtualized data centers in support of...
161
click to vote
ACL
2012
13 years 7 months ago
2012
In this work we present two extensions to the well-known dynamic programming beam search in phrase-based statistical machine translation (SMT), aiming at increased efficiency of ...