7864 search results - page 1249 / 1573 » Clustering Genetic Algorithm |
173
click to vote
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
181
click to vote
ENC
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper, we consider parallel tasks scheduling problems for hierarchical decentralized systems that consist of homogeneous computational resources such as clusters, PCs and ...
159
Voted
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
Adaptive Random Testing subsumes a class of algorithms that detect the first failure with less test cases than Random Testing. The present paper shows that a "reference metho...
147
click to vote
NIPS
2008
15 years 6 months ago
2008
Compressive Sensing (CS) combines sampling and compression into a single subNyquist linear measurement process for sparse and compressible signals. In this paper, we extend the th...
146
click to vote
EMNLP
2006
15 years 6 months ago
2006
Named-entity recognition systems extract entities such as people, organizations, and locations from unstructured text. Rather than extract these mentions in isolation, this paper ...