5075 search results - page 721 / 1015 » Convergence |
170
click to vote
FORMATS
2004
Springer
16 years 1 days ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...
164
click to vote
GECCO
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. In many real-world applications of evolutionary computation, it is essential to reduce the number of fitness evaluations. To this end, computationally efficient models c...
166
click to vote
GECCO
2004
Springer
16 years 1 days ago
2004
Springer
When applied to real-world problems, the powerful optimization tool of Evolutionary Algorithms frequently turns out to be too time-consuming due to elaborate fitness calculations t...
197
click to vote
HYBRID
2004
Springer
16 years 1 days ago
2004
Springer
We present a parameter inference algorithm for autonomous stochastic linear hybrid systems, which computes a maximum-likelihood model, given only a set of continuous output data of...
208
click to vote
IDEAL
2004
Springer
16 years 1 days ago
2004
Springer
Recommender systems are widely used to cope with the problem of information overload and, consequently, many recommendation methods have been developed. However, no one technique i...