4816 search results - page 228 / 964 » Performance analysis of the AntNet algorithm |
165
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
189
click to vote
WCET
2010
15 years 4 months ago
2010
To take full advantage of the increasingly used shared-memory multicore architectures, software algorithms will need to be parallelized over multiple threads. This means that thre...
190
Voted
CIKM
2010
Springer
15 years 3 months ago
2010
Springer
Query reformulation modifies the original query with the aim of better matching the vocabulary of the relevant documents, and consequently improving ranking effectiveness. Previou...
182
click to vote
EXPERT
2010
15 years 3 months ago
2010
Human behavior recognition is one of the most important and challenging objectives performed by intelligent vision systems. Several issues must be faced in this domain ranging fro...
186
click to vote
DAC
2011
ACM
14 years 6 months ago
2011
ACM
Stochastic device noise has become a significant challenge for high-precision analog/RF circuits, and it is particularly difficult to correctly include both white noise and flic...