3814 search results - page 388 / 763 » Extensible Information Brokers |
161
click to vote
ATAL
2005
Springer
16 years 13 days ago
2005
Springer
We present here Extended Markov Tracking (EMT), a computationally tractable method for the online estimation of Markovian system dynamics, along with experimental support for its ...
163
click to vote
CIE
2005
Springer
16 years 12 days ago
2005
Springer
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Potts and Edalat [1]. We choose the constructive type theory as our formal verification t...
174
click to vote
CIKM
2005
Springer
16 years 12 days ago
2005
Springer
We study suitable indexing techniques to support efficient exact match search in large biological sequence databases. We propose a suffix tree (ST) representation, called STA-DF, ...
203
click to vote
GECCO
2005
Springer
16 years 12 days ago
2005
Springer
In neuroevolution, a genetic algorithm is used to evolve a neural network to perform a particular task. The standard approach is to evolve a population over a number of generation...
165
click to vote
ISMIR
2005
Springer
16 years 11 days ago
2005
Springer
Audio-based music similarity measures can be applied to automatically generate playlists or recommendations. In this paper spectral similarity is combined with complementary infor...