1755 search results - page 99 / 351 » An efficient simulation algorithm based on abstract interpre... |
146
click to vote
CP
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. In this paper we propose an optimal anytime version of constrained simulated annealing (CSA) for solving constrained nonlinear programming problems (NLPs). One of the goa...
119
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
DNA sequence comparison is a computationally intensive problem, known widely since the competition for human DNA decryption. Database search for DNA sequence comparison is of grea...
134
click to vote
AUSAI
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In this paper we propose a clustering algorithm called sCluster for analysis of gene expression data based on pattern-similarity. The algorithm captures the tight cluster...
105
click to vote
EPIA
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper presents the development of a bivalve farmer agent interacting with a realistic ecological simulation system. The purpose of the farmer agent is to determine t...
102
click to vote
FATES
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Railway control systems are timed and safety-critical. Testing these systems is a key issue. Prior to system testing, the software of a railway control system is tested s...