2266 search results - page 417 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
99
Voted
ACL
2003
15 years 2 months ago
2003
In statistical machine translation, the generation of a translation hypothesis is computationally expensive. If arbitrary wordreorderings are permitted, the search problem is NP-h...
102
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
We study the convergence of Markov Decision Processes made of a large number of objects to optimization problems on ordinary differential equations (ODE). We show that the optimal...
130
click to vote
FGCS
2008
15 years 1 months ago
2008
Many scientific and engineering applications involve inverting large matrices or solving systems of linear algebraic equations. Solving these problems with proven algorithms for d...
112
Voted
CORR
2006
Springer
15 years 1 months ago
2006
Springer
On a multiantenna broadcast channel, simultaneous transmission to multiple users by joint beamforming and scheduling is capable of achieving high throughput, which grows double log...
IS
2008
15 years 1 months ago
2008
In recent years, while search engines have become more and more powerful, several specialized search engines have been developed for different domains (e.g. library services, serv...