2905 search results - page 292 / 581 » Formal Memetic Algorithms |
FSTTCS
2006
Springer
15 years 2 months ago
2006
Springer
Abstract Decision procedures underlie many program analysis problems. Traditional program analysis algorithms attempt to prove some property about a single, statically-defined prog...
115
click to vote
ICTAI
1997
IEEE
15 years 2 months ago
1997
IEEE
This paper tackles the problem of analyzing the correctness and performance of a computer network protocol. Given the complexity of the problem, no currently used technique is abl...
85
Voted
CIKM
2008
Springer
15 years 1 months ago
2008
Springer
Finding latent patterns in high dimensional data is an important research problem with numerous applications. The most well known approaches for high dimensional data analysis are...
93
Voted
IJCAI
2007
15 years 17 days ago
2007
Evaluation measures play an important role in machine learning because they are used not only to compare different learning algorithms, but also often as goals to optimize in cons...
AAAI
2006
15 years 16 days ago
2006
Composing existing Web services to deliver new functionality is a difficult problem as it involves resolving semantic, syntactic and structural differences among the interfaces of...