12265 search results - page 200 / 2453 » Knuth-Morris-Pratt Algorithm: An Analysis |
152
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
This paper addresses the analysis of concurrent programs with shared memory. Such an analysis is undecidable in the presence of multiple procedures. One approach used in recent wor...
122
Voted
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
Forma analysis provides an approach to formally derive domain specific operators based on domain-independent operator templates by manipulating a set of equivalence relations (i....
138
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
This paper focuses on the computation time of evolutionary algorithms. First, some exact expressions of the mean first hitting times of general evolutionary algorithms in finite...
116
click to vote
BIOCOMP
2006
15 years 6 months ago
2006
In the past decades, many clustering algorithms have been proposed for the analysis of gene expression data, but little guidance is available to help choose among them. Given the ...
128
click to vote
IJCAI
2003
15 years 6 months ago
2003
Multi-level spatial aggregates are important for data mining in a variety of scientific and engineering applications, from analysis of weather data (aggregating temperature and p...