9176 search results - page 1674 / 1836 » algorithms 2010 |
183
click to vote
CEC
2010
IEEE
15 years 7 months ago
2010
IEEE
The optimization of spacecraft trajectories can be formulated as a global optimization task. The complexity of the problem depends greatly on the problem formulation, on the spacec...
191
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
179
click to vote
DAGM
2010
Springer
15 years 7 months ago
2010
Springer
Density modeling is notoriously difficult for high dimensional data. One approach to the problem is to search for a lower dimensional manifold which captures the main characteristi...
222
click to vote
ECCV
2010
Springer
15 years 7 months ago
2010
Springer
We present a fast, simple location recognition and image localization method that leverages feature correspondence and geometry estimated from large Internet photo collections. Suc...
182
click to vote
GECCO
2010
Springer
15 years 7 months ago
2010
Springer
Evolutionary algorithms (EAs) are increasingly being applied to solve real-parameter optimization problems due to their flexibility in handling complexities such as non-convexity,...