5314 search results - page 163 / 1063 » Hybrid Dynamic Programming |
139
click to vote
CAV
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
120
click to vote
ISMB
1996
15 years 3 months ago
1996
For transmembrane proteins experimental determina-tion of three-dimensional structure is problematic. However, membrane proteins have important impact for molecular biology in gen...
100
click to vote
CONCURRENCY
2004
15 years 2 months ago
2004
The heterogeneous and dynamic nature of Grid environments place new demands on models and paradigms for parallel programming. In this work we discuss how ALua, a programming syste...
141
click to vote
ICIP
2008
IEEE
16 years 4 months ago
2008
IEEE
The extraction of contours using deformable models, such as snakes, is a problem of great interest in computer vision, particular in areas of medical imaging and tracking. Snakes ...
ICIP
2004
IEEE
16 years 4 months ago
2004
IEEE