Sciweavers

940 search results - page 42 / 188
» Control Abstractions for Local Search
Sort
View
SAT
2007
Springer
96views Hardware» more  SAT 2007»
15 years 8 months ago
From Idempotent Generalized Boolean Assignments to Multi-bit Search
Abstract. This paper shows that idempotents in finite rings of integers can act as Generalized Boolean Assignments (GBA’s) by providing a completeness theorem. We introduce the ...
Marijn Heule, Hans van Maaren
117
Voted
WEA
2004
Springer
129views Algorithms» more  WEA 2004»
15 years 8 months ago
Experimental Comparison of Greedy Randomized Adaptive Search Procedures for the Maximum Diversity Problem
Abstract. The maximum diversity problem (MDP) consists of identifying optimally diverse subsets of elements from some larger collection. The selection of elements is based on the d...
Geiza C. Silva, Luiz Satoru Ochi, Simone L. Martin...
136
Voted
PPSN
2010
Springer
15 years 1 months ago
Variable Neighborhood Search and Ant Colony Optimization for the Rooted Delay-Constrained Minimum Spanning Tree Problem
Abstract. The rooted delay-constrained minimum spanning tree problem is an NP-hard combinatorial optimization problem arising for example in the design of centralized broadcasting ...
Mario Ruthmair, Günther R. Raidl
146
Voted
FSR
2003
Springer
251views Robotics» more  FSR 2003»
15 years 7 months ago
Distributed Search and Rescue with Robot and Sensor Teams
We develop a network of distributed mobile sensor systems as a solution to the emergency response problem. The mobile sensors are inside a building and they form a connected ad-ho...
George Kantor, Sanjiv Singh, Ronald A. Peterson, D...
101
Voted
ENGL
2007
177views more  ENGL 2007»
15 years 2 months ago
Design of a Genetic-Algorithm-Based Steam Temperature Controller in Thermal Power Plants
Abstract—This paper presents a systematic approach for the design of temperature controller using genetic algorithms (GAs) for thermal power plant subsystems and investigates the...
Ali Reza Mehrabian, Morteza Mohammad-Zaheri