Sciweavers

940 search results - page 132 / 188
» Control Abstractions for Local Search
Sort
View
103
Voted
GECCO
2007
Springer
166views Optimization» more  GECCO 2007»
15 years 8 months ago
EcoPS: a particle swarm algorithm to model group-foraging
Recent work has introduced a simulation model of ecological processes in terms of a very simple Particle Swarm algorithm. This abstract model produced qualitatively realistic beha...
Cecilia Di Chio, Riccardo Poli, Paolo Di Chio
105
Voted
NOMS
2000
IEEE
141views Communications» more  NOMS 2000»
15 years 7 months ago
IconoNET: a tool for automated bandwidth allocation planning
Communication networks are expected to offer a wide range of services to an increasingly large number of users, with a diverse range of quality of service. This calls for efficien...
Christian Frei, Boi Faltings, George Melissargos, ...
118
Voted
TSP
2008
89views more  TSP 2008»
15 years 2 months ago
Coordinated Beamforming for the Multiuser MIMO Broadcast Channel With Limited Feedforward
Abstract-- Linear transmit beamforming and receive combining is a low complexity approach for communications in the multiuser multiple-input multiple-output (MIMO) channel. This pa...
Chan-Byoung Chae, David Mazzarese, Takao Inoue, Ro...
122
Voted
LPAR
2005
Springer
15 years 8 months ago
Towards Automated Proof Support for Probabilistic Distributed Systems
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
Annabelle McIver, Tjark Weber
MKM
2005
Springer
15 years 8 months ago
Impasse-Driven Reasoning in Proof Planning
Abstract. In a problem solving process, a step may not result in the expected progress or may not be applicable as expected. Hence, knowledge how to overcome and react to impasses ...
Andreas Meier, Erica Melis