470 search results - page 22 / 94 » Tabu Search for SAT |
129
Voted
EC
2008
15 years 22 days 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 ...
102
click to vote
INFORMS
2007
15 years 17 days 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...
102
click to vote
GLOBECOM
2010
IEEE
14 years 10 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...
101
click to vote
ICCV
1998
IEEE
16 years 2 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...
79
Voted
AE
2005
Springer
15 years 6 months ago
2005
Springer
