4816 search results - page 93 / 964 » Performance analysis of the AntNet algorithm |
126
Voted
BMCBI
2005
15 years 4 months ago
2005
Background: Different classes of haplotype block algorithms exist and the ideal dataset to assess their performance would be to comprehensively re-sequence a large genomic region ...
207
click to vote
CHARME
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
137
click to vote
JCDL
2003
ACM
15 years 10 months ago
2003
ACM
A musical piece typically has a repetitive structure. Analysis of this structure will be useful for music segmentation, indexing and thumbnailing. This paper presents an algorithm...
117
click to vote
WISA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The hash algorithm forms the basis of many popular cryptographic protocols and it is therefore important to find throughput optimal implementations. Though there have be...
187
click to vote
CCGRID
2007
IEEE
15 years 11 months ago
2007
IEEE
Experimental performance studies on computer systems, including Grids, require deep understandings on their workload characteristics. The need arises from two important and closel...