8232 search results - page 1157 / 1647 » Dynamic Logic Programming |
156
click to vote
CSB
2004
IEEE
15 years 10 months ago
2004
IEEE
We describe a novel hardware architecture for genomic and proteomic sequence alignment which achieves a speed-up of two to three orders of magnitude over Smith-Waterman dynamic pr...
215
click to vote
GCB
2004
Springer
15 years 10 months ago
2004
Springer
: In biological sequence analysis, position specific scoring matrices (PSSMs) are widely used to represent sequence motifs. In this paper, we present a new nonheuristic algorithm, ...
228
click to vote
IFIP
2000
Springer
15 years 10 months ago
2000
Springer
The validation of functional and real-time requirements of control software for embedded systems is a difficult task. It usually needs the electronic control unit (ECU) and the co...
182
click to vote
SSPR
2000
Springer
15 years 10 months ago
2000
Springer
Our research focuses on Chinese online ink matching that tries to match handwritten annotations with handwritten queries without attempting to recognize them. Previously, we propos...
154
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— A design method is proposed for outputfeedback control of linear systems subject to state and control constraints, additive disturbances and measurement noise. First, n...