42738 search results - page 160 / 8548 » Search Computing Systems |
COMPUTER
2007
15 years 3 months ago
2007
COMPUTER
2007
15 years 3 months ago
2007
123
click to vote
CADE
1998
Springer
15 years 7 months ago
1998
Springer
The CRIL multi-strategy platform for SAT includes a whole family of local search techniques and some of the best Davis and Putnam strategies for checking propositional satis abilit...
134
click to vote
CIVR
2007
Springer
15 years 9 months ago
2007
Springer
Content-based image retrieval with relevant feedback has been widely adopted as the query model of choice for improved effectiveness in image retrieval. The effectiveness of thi...
118
click to vote
GECCO
2006
Springer
15 years 6 months ago
2006
Springer
Heuristic Algorithms (HA) are very widely used to tackle practical problems in operations research. They are simple, easy to understand and inspire confidence. Many of these HAs a...