Sciweavers

430 search results - page 29 / 86
» Simulation optimization using tabu search
Sort
View
FOCS
1999
IEEE
15 years 4 months ago
A Study of Proof Search Algorithms for Resolution and Polynomial Calculus
This paper is concerned with the complexity of proofs and of searching for proofs in two propositional proof systems: Resolution and Polynomial Calculus (PC). For the former syste...
Maria Luisa Bonet, Nicola Galesi
IROS
2007
IEEE
162views Robotics» more  IROS 2007»
15 years 6 months ago
Online object search with a humanoid robot
— This paper presents an object active visual search behavior in a 3D environment performed by a HRP-2 humanoid robot. The search is formalized as an optimization problem in whic...
François Saïdi, Olivier Stasse, Kazuhi...
GECCO
2004
Springer
127views Optimization» more  GECCO 2004»
15 years 5 months ago
Automatic Synthesis of an 802.11a Wireless LAN Antenna Using Genetic Programming A Real World Application
This paper describes the application of genetic programming to synthesize a small form factor, 2 dimensional wire antenna for a 5.2 GHz 802.11a wireless LAN application. Utilizing ...
Rian Sanderson
GECCO
2010
Springer
214views Optimization» more  GECCO 2010»
15 years 3 months ago
Mixed-integer evolution strategy using multiobjective selection applied to warehouse design optimization
This paper reports about the application of a new variant of multiobjective Mixed-Integer Evolution Strategy to a warehouse design optimization problem. The algorithm is able to d...
Edgar Reehuis, Thomas Bäck
GECCO
2007
Springer
209views Optimization» more  GECCO 2007»
15 years 6 months ago
Kernel based automatic clustering using modified particle swarm optimization algorithm
This paper introduces a method for clustering complex and linearly non-separable datasets, without any prior knowledge of the number of naturally occurring clusters. The proposed ...
Ajith Abraham, Swagatam Das, Amit Konar