3167 search results - page 465 / 634 » Blog search engines |
MSR
2005
ACM
14 years 1 months ago
2005
ACM
One of the most successful applications of static analysis based bug finding tools is to search the source code for violations of system-specific rules. These rules may describe h...
CAIP
2005
Springer
14 years 1 months ago
2005
Springer
This paper presents a technique for texture segmentation in images. Providing a small template of a texture of interest results in the image being segmented into regions with simil...
FSTTCS
2005
Springer
14 years 1 months ago
2005
Springer
We investigate the s-t-connectivity problem for directed planar graphs, which is hard for L and is contained in NL but is not known to be complete. We show that this problem is log...
GECCO
2005
Springer
14 years 1 months ago
2005
Springer
Deciding the appropriate population size and number of islands for distributed island-model genetic algorithms is often critical to the algorithm’s success. This paper outlines ...
GECCO
2005
Springer
14 years 1 months ago
2005
Springer
This research presents an analysis of the reported successes of the Cartesian Genetic Programming method on a simplified form of the Boolean parity problem. We show the method of...