589 search results - page 84 / 118 » Local Search Algorithms for SAT: An Empirical Evaluation |
113
click to vote
SIGIR
2012
ACM
13 years 4 months ago
2012
ACM
We present a novel interpretation of Clarity [5], a widely used query performance predictor. While Clarity is commonly described as a measure of the “distance” between the lan...
121
click to vote
ARTCOM
2009
IEEE
15 years 8 months ago
2009
IEEE
—This paper presents a Novel Bidirectional motion estimation technique, which is based on the Particle swarm optimization algorithm. Particle swarm optimization (PSO) is a popula...
104
click to vote
AUTOMATICA
2005
15 years 1 months ago
2005
This paper examines the problem of estimating linear time-invariant state-space system models. In particular it addresses the parametrization and numerical robustness concerns tha...
112
click to vote
GECCO
2008
Springer
15 years 3 months ago
2008
Springer
We propose an algorithm for function approximation that evolves a set of hierarchical piece-wise linear regressors. The algorithm, named HIRE-Lin, follows the iterative rule learn...
157
click to vote
RECOMB
2004
Springer
16 years 2 months ago
2004
Springer
In situ staining of a target mRNA at several time points during the development of a D. melanogaster embryo gives one a detailed spatio-temporal view of the expression pattern of ...