Sciweavers

2457 search results - page 282 / 492
» Local Search with Bootstrapping
Sort
View
GECCO
2004
Springer
15 years 10 months ago
Upper Bounds on the Time and Space Complexity of Optimizing Additively Separable Functions
Abstract. We present upper bounds on the time and space complexity of finding the global optimum of additively separable functions, a class of functions that has been studied exten...
Matthew J. Streeter
ICCS
2004
Springer
15 years 10 months ago
Improvements in FSM Evolutions from Partial Input/Output Sequences
This work focuses on the synthesis of finite-state machines (FSMs) by observing its input/output behaviors. Evolutionary approaches that have been proposed to solve this problem do...
Sérgio G. Araújo, Antônio C. M...
SAT
2004
Springer
111views Hardware» more  SAT 2004»
15 years 10 months ago
A Note on Satisfying Truth-Value Assignments of Boolean Formulas
Abstract. In this paper we define a class of truth-value assignments, called bounded assignments, using a certain substitutional property. We show that every satisfiable Boolean ...
Zbigniew Stachniak
149
Voted
EH
2003
IEEE
127views Hardware» more  EH 2003»
15 years 9 months ago
Comparing Different Serial and Parallel Heuristics to Design Combinational Logic Circuits
In this paper, we perform a comparative study of different heuristics used to design combinational logic circuits. The use of local search hybridized with a genetic algorithm and ...
Carlos A. Coello Coello, Enrique Alba, Gabriel Luq...
ICRA
2003
IEEE
106views Robotics» more  ICRA 2003»
15 years 9 months ago
Motion planning for a three-limbed climbing robot in vertical natural terrain
This paper presents a general framework for planning the quasi-static motion of a three-limbed climbing robot in vertical natural terrain. The problem is to generate a sequence of...
Timothy Bretl, Stephen M. Rock, Jean-Claude Latomb...