Sciweavers

5138 search results - page 892 / 1028
» Randomized Algorithms for 3-SAT
Sort
View
SSDBM
2003
IEEE
123views Database» more  SSDBM 2003»
15 years 8 months ago
MoBIoS: A Metric-Space DBMS to Support Biological Discovery
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...
Daniel P. Miranker, Weijia Xu, Rui Mao
MM
2003
ACM
94views Multimedia» more  MM 2003»
15 years 8 months ago
The video paper multimedia playback system
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...
Jamey Graham, Berna Erol, Jonathan J. Hull, Dar-Sh...
CP
2003
Springer
15 years 8 months ago
Generating High Quality Schedules for a Spacecraft Memory Downlink Problem
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...
Angelo Oddi, Nicola Policella, Amedeo Cesta, Gabri...
FPL
2003
Springer
119views Hardware» more  FPL 2003»
15 years 8 months ago
Hardware Implementations of Real-Time Reconfigurable WSAT Variants
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,...
Roland H. C. Yap, Stella Z. Q. Wang, Martin Henz
GECCO
2003
Springer
15 years 8 months ago
Methods for Evolving Robust Programs
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...
Liviu Panait, Sean Luke