5138 search results - page 892 / 1028 » Randomized Algorithms for 3-SAT |
119
click to vote
SSDBM
2003
IEEE
15 years 8 months ago
2003
IEEE
MoBIoS is a specialized database management system whose storage manager is based on metric-space indexing, and whose query language entails biological data types. When relational...
106
click to vote
MM
2003
ACM
15 years 8 months ago
2003
ACM
Video Paper is a prototype system for multimedia browsing, analysis, and replay. Key frames extracted from a video recording are printed on paper together with bar codes that allo...
121
click to vote
CP
2003
Springer
15 years 8 months ago
2003
Springer
This work introduces a combinatorial optimization problem called Mars Express Memory Dumping Problem (Mex-Mdp), which arises in the European Space Agency program Mars Express. It c...
139
click to vote
FPL
2003
Springer
15 years 8 months ago
2003
Springer
Local search methods such as WSAT have proven to be successful for solving SAT problems. In this paper, we propose two host-FPGA (Field Programmable Gate Array) co-implementations,...
113
click to vote
GECCO
2003
Springer
15 years 8 months ago
2003
Springer
Many evolutionary computation search spaces require fitness assessment through the sampling of and generalization over a large set of possible cases as input. Such spaces seem par...