2588 search results - page 301 / 518 » Applications of Kolmogorov complexity to computable model th... |
158
click to vote
GECCO
2005
Springer
16 years 4 days ago
2005
Springer
A quality-time analysis of multi-objective evolutionary algorithms (MOEAs) based on schema theorem and building blocks hypothesis is developed. A bicriteria OneMax problem, a hypo...
201
click to vote
PASTE
2005
ACM
16 years 6 days ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
188
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
Access to realistic, complex graph datasets is critical to research on social networking systems and applications. Simulations on graph data provide critical evaluation of new sys...
180
click to vote
ICDCS
2007
IEEE
16 years 29 days ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
201
click to vote
MOBICOM
2004
ACM
16 years 2 days ago
2004
ACM
A newly deployed multi-hop radio network is unstructured and lacks a reliable and efficient communication scheme. In this paper, we take a step towards analyzing the problems exis...