8824 search results - page 135 / 1765 » On the Complexity of Real Functions |
136
click to vote
GECCO
2009
Springer
15 years 9 months ago
2009
Springer
In this paper, we present a stigmergy-based algorithm for solving optimization problems with continuous variables, labeled Differential Ant-Stigmergy Algorithm (DASA). The perfor...
139
Voted
GECCO
2009
Springer
15 years 9 months ago
2009
Springer
In this paper, we present a stigmergy-based algorithm for solving optimization problems with continuous variables, labeled Differential Ant-Stigmergy Algorithm (DASA). The perfor...
156
click to vote
AISC
2008
Springer
15 years 6 months ago
2008
Springer
Many inequalities involving the functions ln, exp, sin, cos, etc., can be proved automatically by MetiTarski: a resolution theorem prover (Metis) modified to call a decision proced...
122
click to vote
NN
2008
Springer
15 years 4 months ago
2008
Springer
This paper presents two k-winners-take-all (k-WTA) networks with discontinuous activation functions. The k-WTA operation is first converted equivalently into linear and quadratic ...
121
click to vote
MR
2002
15 years 4 months ago
2002
This paper presents an approach to the analysis of transient thermal states in electronic circuits using an analytical solution of the heat equation. Fully three-dimensional analy...