8828 search results - page 1198 / 1766 » Formal methods in practice |
192
click to vote
EOR
2007
15 years 7 months ago
2007
act 11 We address the problem of designing a network built on several layers. This problem occurs in practical applications 12 but has not been studied extensively from the point o...
203
click to vote
KES
2006
Springer
15 years 7 months ago
2006
Springer
Forecasting exchange rates is an important financial problem that is receiving increasing attention especially because of its difficulty and practical applications. This paper prop...
201
click to vote
NCA
2008
IEEE
15 years 7 months ago
2008
IEEE
The conventional channel-optimized vector quantization (COVQ) is very powerful in the protection of vector quantization (VQ) data over noisy channels. However, it suffers from the ...
121
click to vote
ORI
2008
15 years 7 months ago
2008
One of the important sectors within gambling is that of gaming machines. This industry used to favour approaches based on long-run simulations or complete enumerations of all poss...
185
click to vote
PR
2008
15 years 7 months ago
2008
We describe Nonnegative Double Singular Value Decomposition (NNDSVD), a new method designed to enhance the initialization stage of nonnegative matrix factorization (NMF). NNDSVD c...