730 search results - page 17 / 146 » Harmony search for structural design |
MTV
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper we will present an optimized structural 01X-SAT-solver for bounded model checking of blackbox designs that exploits semantical knowledge regarding the node selection...
GECCO
2004
Springer
14 years 1 months ago
2004
Springer
In a series of papers [3-8], Daida et. al. highlighted the difficulties posed to Genetic Programming (GP) by the complexity of the structural search space, and attributed the probl...
COMSIS
2010
13 years 5 months ago
2010
Multi-Feature Index Tree (MFI-Tree), a new indexing structure, is proposed to index multiple high-dimensional features of video data for video retrieval through example. MFI-Tree e...
ICIP
2002
IEEE
14 years 9 months ago
2002
IEEE
Most image retrieval systems perform a linear search over the database to find the closest match to a query. However, databases usually exhibit a natural grouping structure into c...
WWW
2007
ACM
14 years 8 months ago
2007
ACM
This paper presents a structured P2P overlay SCAN that augments CAN overlay with long links based on Kleinberg's small-world model in a d-dimensional Cartesian space. The con...