1402 search results - page 168 / 281 » Sparse-Memory Graph Search |
106
Voted
ATVA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Bounded model checking (BMC) is a technique for overcoming the state explosion problem which has gained wide industrial acceptance. Bounded model checking is typically ap...
99
Voted
WABI
2007
Springer
15 years 8 months ago
2007
Springer
In comparing genomic maps, it is often difficult to distinguish mapping errors and incorrectly resolved paralogies from genuine rearrangements of the genomes. A solution to this ...
114
Voted
ICPADS
2005
IEEE
15 years 8 months ago
2005
IEEE
PageRank becomes the most well-known re-ranking technique of the search results. By its iterative computational nature, the computation takes much computing time and resource. Res...
111
Voted
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
We present discrete stochastic mathematical models for the growth curves of synchronous and asynchronous evolutionary algorithms with populations structured according to a random ...
83
Voted
WEBI
2005
Springer
15 years 8 months ago
2005
Springer
Cycle detection in graphs and digraphs has received wide attention and several algorithms are available for this purpose. While the web may be modeled as a digraph, such algorithm...