6897 search results - page 1153 / 1380 » Parallelization of Modular Algorithms |
136
Voted
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...
138
Voted
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...
138
click to vote
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...
164
click to vote
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...
120
click to vote
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...