190 search results - page 10 / 38 » Improving the Held and Karp Approach with Constraint Program... |
BMCBI
2005
13 years 7 months ago
2005
Background: Profile hidden Markov model (HMM) techniques are among the most powerful methods for protein homology detection. Yet, the critical features for successful modelling ar...
ICASSP
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper, we develop an improved approach to the worstcase robust adaptive beamforming for general-rank signal models by means of taking into account the positive semi-defin...
SCAM
2008
IEEE
14 years 1 months ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
In this paper, we develop a new approach to the robust beamforming for general-rank signal models. Our method is based on the worst-case performance optimization using a semi-de n...
RISE
2004
Springer
14 years 28 days ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...