470 search results - page 22 / 94 » Tabu Search for SAT |
EC
2008
13 years 7 months ago
2008
The development of successful metaheuristic algorithms such as local search for a difficult problems such as satisfiability testing (SAT) is a challenging task. We investigate an ...
INFORMS
2007
13 years 7 months ago
2007
— We describe the development and testing of a metaheuristic procedure, based on the scatter search methodology, for the problem of approximating the efficient frontier of nonlin...
GLOBECOM
2010
IEEE
13 years 5 months ago
2010
IEEE
In this paper, we are concerned with low-complexity detection in large multiple-input multiple-output (MIMO) systems with tens of transmit/receive antennas. Our new contributions i...
ICCV
1998
IEEE
14 years 9 months ago
1998
IEEE
We propose a new approach to recover epipolar geometry from a pair of uncalibrated images. By minimizing a proposed cost function, our approach matches the detected feature points...
AE
2005
Springer
14 years 1 months ago
2005
Springer
