77016 search results - page 695 / 15404 » Modelling |
192
click to vote
ICANN
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. The paper presents a new version of a GMDH type algorithm able to perform an automatic model structure synthesis, robust model parameter estimation and model validation i...
208
click to vote
ICN
2005
Springer
16 years 28 days ago
2005
Springer
Proposed by Maurer the bounded storage model has received much academic attention in the recent years. Perhaps the main reason for this attention is that the model facilitates a un...
201
click to vote
ISMIR
2005
Springer
16 years 28 days ago
2005
Springer
Chord progressions are the building blocks from which tonal music is constructed. Inferring chord progressions is thus an essential step towards modeling long term dependencies in...
162
click to vote
ROBOCUP
2005
Springer
16 years 27 days ago
2005
Springer
We present a parametric walk model for a four-legged robot. The walk model is improved using a genetic algorithm, but unlike previous approaches, the fitness is determined in a ru...
179
click to vote
SPIN
2005
Springer
16 years 27 days ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...