1325 search results - page 6 / 265 » A Scaling Result for Explosive Processes |
WWW
2010
ACM
15 years 6 months ago
2010
ACM
It has been widely observed that search queries are composed in a very different style from that of the body or the title of a document. Many techniques explicitly accounting for...
96
Voted
DSD
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
96
Voted
SWARM
2010
SPRINGER
14 years 10 months ago
2010
SPRINGER
Abstract. Inspired by observing fireworks explosion, a novel swarm intelligence algorithm, called Fireworks Algorithm (FA), is proposed for global optimization of complex function...
100
Voted
APN
2008
Springer
15 years 1 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
101
click to vote
MIR
2004
ACM
15 years 5 months ago
2004
ACM
The rapid development of web image search engines has enabled users to search hundred million of images available on the Web. However, due to the unsatisfactory performance of cur...