5138 search results - page 697 / 1028 » Randomized Algorithms for 3-SAT |
139
click to vote
ISICA
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. MOEA/D is a novel and successful Multi-Objective Evolutionary Algorithms(MOEA) which utilizes the idea of problem decomposition to tackle the complexity from multiple obj...
184
click to vote
ISSAC
2007
Springer
16 years 24 days ago
2007
Springer
We describe some major recent progress in exact and symbolic linear algebra. These advances concern the improvement of complexity estimates for fundamental problems such as linear...
167
click to vote
SARA
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. In constraint satisfaction, local search is an incomplete method for finding a solution to a problem. Solving a general constraint satisfaction problem (CSP) is known to...
160
click to vote
SAT
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We consider the problem of computing tractable approximations to CNF formulas, extending the approach of Selman and Kautz to compute the Horn-LUB to involve renaming of v...
193
click to vote
3DPVT
2006
IEEE
16 years 22 days ago
2006
IEEE
We present an algorithm for generating panoramic images of complex scenes from a multi-sensor camera. We further present a programmable graphics hardware implementation to process...