4814 search results - page 424 / 963 » Combining abstract interpreters |
175
click to vote
ICNC
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Four local search algorithms are investigated for the phylogenetic tree reconstruction problem under the Maximum Parsimony criterion. A new subtree swapping neighborhood ...
155
click to vote
ICNC
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. A novel text watermarking algorithm is presented. It combines natural language watermarking and Chinese syntax based on BP neural networks. Since the watermarking signals...
187
click to vote
ICNC
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. A mixture multiscale autoregressive moving average (ARMA) network is proposed for unsupervised segmentation of synthetic aperture radar (SAR) image. The network combines ...
152
Voted
INAP
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. This article merges two approaches: one dealing with persistence for logic programs, as provided by a relational database back-end and another which addresses the issues ...
162
click to vote
LPAR
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...