589 search results - page 84 / 118 » Local Search Algorithms for SAT: An Empirical Evaluation |
SIGIR
2012
ACM
13 years 2 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...
102
click to vote
ARTCOM
2009
IEEE
15 years 6 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...
AUTOMATICA
2005
14 years 11 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...
GECCO
2008
Springer
15 years 26 days 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...
134
click to vote
RECOMB
2004
Springer
16 years 2 days 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 ...