Sciweavers

430 search results - page 29 / 86
» Simulation optimization using tabu search
Sort
View
158
Voted
FOCS
1999
IEEE
15 years 8 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
156
Voted
IROS
2007
IEEE
162views Robotics» more  IROS 2007»
15 years 10 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...
128
Voted
GECCO
2004
Springer
127views Optimization» more  GECCO 2004»
15 years 9 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
119
Voted
GECCO
2010
Springer
214views Optimization» more  GECCO 2010»
15 years 7 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 10 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