1984 search results - page 225 / 397 » Variable mesh optimization for continuous optimization probl... |
173
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
200
click to vote
CEC
2009
IEEE
15 years 11 months ago
2009
IEEE
—This paper applies the Differential Evolution (DE) algorithm to the task of automatic fuzzy clustering in a Multi-objective Optimization (MO) framework. It compares the performa...
138
click to vote
CDC
2008
IEEE
16 years 23 days ago
2008
IEEE
— Consider a coverage problem for a team of agents in the plane: target points appear sporadically over time in a bounded environment and must be visited by one of the agents. It...
174
click to vote
WICOMM
2010
15 years 4 months ago
2010
The rapid proliferation of wireless systems makes interference management more and more important. This paper presents a novel cognitive coexistence framework, which enables an in...
173
click to vote
EUROGP
2003
Springer
15 years 11 months ago
2003
Springer
Teleo-reactive programs and the triple tower architecture have been proposed as a framework for linking perception and action in agents. The triple tower architecture continually u...