8978 search results - page 1573 / 1796 » Parallel Genetic Algorithms |
143
click to vote
CONCUR
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we study model checking of timed automata (TAs), and more precisely we aim at finding efficient model checking for subclasses of TAs. For this, we consider model ch...
145
click to vote
GCC
2004
Springer
15 years 11 months ago
2004
Springer
Medical image reconstruction remains a topic of interest to medical researchers. Although the algorithms have become more mature, one particular challenge has persisted over the de...
142
Voted
ISMIR
2004
Springer
15 years 11 months ago
2004
Springer
The realisation and evaluation of a musical key extraction algorithm that works directly on raw audio data is presented. Its implementation is based on models of human auditory pe...
170
Voted
ISPA
2004
Springer
15 years 11 months ago
2004
Springer
The demand of information services is popular in recent years. However, the requested of correct answer in a mobile environment needs to have more attentions. This is due to the sc...
129
Voted
IWCIA
2004
Springer
15 years 11 months ago
2004
Springer
Regions in an image graph can be described by their spanning tree. A graph pyramid is a stack of image graphs at different granularities. Integral features capture important prope...