596 search results - page 107 / 120 » Search Strategies for Hybrid Search Spaces |
CP
2003
Springer
14 years 26 days 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...
FPL
2003
Springer
14 years 26 days 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,...
SIGGRAPH
2010
ACM
14 years 4 days ago
2010
ACM
This paper introduces a data-driven process for designing and fabricating materials with desired deformation behavior. Our process starts with measuring deformation properties of ...
VLDB
1999
ACM
13 years 12 months ago
1999
ACM
XML is an emerging standard for data representation and exchange on the World-Wide Web. Due to the nature of information on the Web and the inherent flexibility of XML, we expect...
SI3D
1997
ACM
13 years 12 months ago
1997
ACM
The requirement to change scale frequently is common to many 2D and 3D applications. Users must “zoom in” to examine details and “zoom out” to appreciate the context. This...