1997 search results - page 241 / 400 » On the convergence of Hill's method |
118
click to vote
CAV
2004
Springer
15 years 7 months ago
2004
Springer
Model checking of infinite state systems is undecidable, therefore, there are instances for which fixpoint computations used in infinite state model checkers do not converge. Gi...
135
click to vote
GECCO
2004
Springer
15 years 7 months ago
2004
Springer
We have developed a new tool for virtual database screening. This tool, referred to as the Generic Evolutionary Method for molecular DOCKing (GEMDOCK), combines an evolutionary app...
111
click to vote
IPSN
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we develop algorithms for distributed computation of a broad range of estimation and detection tasks over networks with arbitrary but fixed connectivity. The distri...
ISNN
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In this paper, some sufficient conditions are obtained to guarantee that discrete time cellular neural networks (DTCNNs) can have some stable memory patterns. These condi...
144
click to vote
ROBOCUP
2004
Springer
15 years 6 months ago
2004
Springer
The existing reinforcement learning approaches have been suffering from the policy alternation of others in multiagent dynamic environments such as RoboCup competitions since othe...