4816 search results - page 168 / 964 » Performance analysis of the AntNet algorithm |
147
click to vote
APN
2004
Springer
15 years 11 months ago
2004
Springer
We consider the problem of model checking modular Petri nets for the linear time logic LTL-X. An algorithm is presented which can use the synchronisation graph from modular analysi...
144
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
Existing Full-wave Model Order Reduction (FMOR) approaches are based on Expanded Taylor Series Approximations (ETAS) of the oscillatory full-wave system matrix. The accuracy of su...
159
click to vote
ICASSP
2008
IEEE
16 years 22 days ago
2008
IEEE
The discrete cosine transform (DCT) is widely used in image/video coding standards. However, since most DCT coefficients will be quantized to zeros, a large number of redundant co...
214
click to vote
ICASSP
2008
IEEE
16 years 21 days ago
2008
IEEE
Phoneme segmentation is a fundamental problem in many speech recognition and synthesis studies. Unsupervised phoneme segmentation assumes no knowledge on linguistic contents and a...
165
click to vote
INFOSCALE
2006
ACM
16 years 7 days ago
2006
ACM
Huge amounts of data are available in large-scale networks of autonomous data sources dispersed over a wide area. Data mining is an essential technology for obtaining hidden and v...