1547 search results - page 270 / 310 » Solving Knapsack Problems in a Sticker Based Model |
151
Voted
RECOMB
2005
Springer
16 years 2 months ago
2005
Springer
Abstract. Protein fold recognition is an important step towards understanding protein three-dimensional structures and their functions. A conditional graphical model, i.e. segmenta...
134
Voted
SSIAI
2000
IEEE
15 years 7 months ago
2000
IEEE
In this paper we propose a new probabilistic relaxation framework to perform robust multiple motion estimation and segmentation from a sequence of images. Our approach uses displa...
130
Voted
ASMTA
2008
Springer
15 years 4 months ago
2008
Springer
The solution of continuous and discrete-time Markovian models is still challenging mainly when we model large complex systems, for example, to obtain performance indexes of paralle...
126
Voted
ICIP
2003
IEEE
16 years 4 months ago
2003
IEEE
The recent JVT video coding scheme (MPEG-4 AVC/H.264) is a promising technique due to its high coding efficiency. Hypothetical Reference Decoder (HRD) is a very important part in ...
133
Voted
CADE
2008
Springer
16 years 2 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...