890 search results - page 54 / 178 » New Approaches to Compare Phylogenetic Search Heuristics |
119
click to vote
ICIP
2000
IEEE
15 years 6 months ago
2000
IEEE
The focus of this work is on using texture information for searching, browsing and retrieving images from a large database. In the wavelet approaches, texture is characterized by ...
141
click to vote
LPAR
2012
Springer
13 years 9 months ago
2012
Springer
E-matching is the most commonly used technique to handle quantifiers in SMT solvers. It works by identifying characteristic subexpressions of quantified formulae, named triggers,...
107
click to vote
GECCO
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents an ant-based approach for solving the Traveling Salesman Problem (TSP). Novel concepts of this algorithm that distinguish it from the other heuristics are the ...
122
click to vote
GLVLSI
2009
IEEE
15 years 8 months ago
2009
IEEE
The sequential depth determines the completeness of bounded model checking in design verification. Recently, a SATbased method is proposed to compute the sequential depth of a de...
109
click to vote
ISBI
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper, we introduce a new approach for content-based similarity search for brain images. Based on the keyblock representation, our framework employs the Principal Componen...