Sciweavers

3467 search results - page 92 / 694
» Function Optimization with Coevolutionary Algorithms
Sort
View
ASIAN
2006
Springer
118views Algorithms» more  ASIAN 2006»
15 years 5 months ago
An Approach to Formal Verification of Arithmetic Functions in Assembly
Abstract. It is customary to write performance-critical parts of arithmetic functions in assembly: this enables finely-tuned algorithms that use specialized processor instructions....
Reynald Affeldt, Nicolas Marti
CEC
2011
IEEE
14 years 1 months ago
Comparing alternative energy functions for the HP model of protein structure prediction
Abstract—Protein structure prediction is the problem of finding the functional conformation of a protein given only its amino uence. The HP lattice model is an abstract formulat...
Mario Garza-Fabre, Eduardo Rodriguez-Tello, Gregor...
ISMVL
2008
IEEE
160views Hardware» more  ISMVL 2008»
15 years 7 months ago
Exact Synthesis of Elementary Quantum Gate Circuits for Reversible Functions with Don't Cares
Compact realizations of reversible logic functions are of interest in the design of quantum computers. In this paper we present an exact synthesis algorithm, based on Boolean Sati...
Daniel Große, Robert Wille, Gerhard W. Dueck...
WCE
2007
15 years 2 months ago
Transformation Model Estimation for Point Matching Via Gaussian Processes
—One of main issues in point matching is the choice of the mapping function and the computation of its optimal hyperparameters. In this paper, we propose an attractive approach t...
Xin Yu, Jin-Wen Tian, Jian Liu
92
Voted
ICASSP
2011
IEEE
14 years 5 months ago
Fixed point iteration for max-min sir balancing with general interference functions
This paper studies the convergence of a fixed point iteration algorithm for the problem of max-min signal-to-interference ratio (SIR) balancing. Differently from the existing wor...
Nikola Vucic, Martin Schubert