Sciweavers

7280 search results - page 117 / 1456
» Optimization Techniques
Sort
View
CEC
2009
IEEE
15 years 11 months ago
An adaptive learning particle swarm optimizer for function optimization
— Traditional particle swarm optimization (PSO) suffers from the premature convergence problem, which usually results in PSO being trapped in local optima. This paper presents an...
Changhe Li, Shengxiang Yang
134
Voted
GECCO
2004
Springer
106views Optimization» more  GECCO 2004»
15 years 10 months ago
The Kalman Swarm: A New Approach to Particle Motion in Swarm Optimization
Abstract. Particle Swarm Optimization is gaining momentum as a simple and effective optimization technique. We present a new approach to PSO that significantly reduces the number...
Christopher K. Monson, Kevin D. Seppi
POPL
2010
ACM
16 years 2 months ago
Generating Compiler Optimizations from Proofs
We present an automated technique for generating compiler optimizations from examples of concrete programs before and after improvements have been made to them. The key technical ...
Ross Tate, Michael Stepp, Sorin Lerner
156
Voted
JSAC
2006
131views more  JSAC 2006»
15 years 5 months ago
On Dynamic Optimization of Packet Matching in High-Speed Firewalls
Abstract--Packet matching plays a critical role in the performance of many network devices and a tremendous amount of research has already been invested to come up with better opti...
Hazem Hamed, Adel El-Atawy, Ehab Al-Shaer
SAT
2005
Springer
142views Hardware» more  SAT 2005»
15 years 10 months ago
Optimizations for Compiling Declarative Models into Boolean Formulas
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...
Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, L...