13603 search results - page 272 / 2721 » On the Computational Complexity of Cut-Reduction |
161
click to vote
ACSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
modeling, such as using epidemic models, has been the general method of choice for understanding and analyzing the high-level effects of worms. However, high-fidelity models, such...
159
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents a new method for 3D cutting of geometrical space with application to airspace sectoring. This problem comes from the air traffic management but the proposed me...
198
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
A robust dynamic evolutionary algorithm (labeled RODEA), where both the robust calculation and mutation operator are based on an orthogonal design, is proposed in this paper. Prev...
213
click to vote
WSC
2008
15 years 9 months ago
2008
This investigation develops an innovative algorithm for multiple autonomous unmanned aerial vehicle (UAV) mission routing. The concept of a UAV Swarm Routing Problem (SRP) as a ne...
145
click to vote
COLING
2008
15 years 8 months ago
2008
The effectiveness of parsers based on manually created resources, namely a grammar and a lexicon, rely mostly on the quality of these resources. Thus, increasing the parser covera...