5525 search results - page 685 / 1105 » Verification of Model Transformations |
202
click to vote
MP
2002
15 years 6 months ago
2002
The bounded multiple-class binary knapsack problem is a variant of the knapsack problem where the items are partitioned into classes and the item weights in each class are a multip...
171
click to vote
CVPR
1997
IEEE
16 years 9 months ago
1997
IEEE
We present a new method for synthesizing novel views of a 3D scene from few model images in full correspondence. The core of this work is the derivation of a tensorial operator th...
165
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
Abstract. This paper presents a new algorithm for non-rigid registration between two doubly-connected regions. Our algorithm is based on harmonic analysis and the theory of optimal...
166
click to vote
AUSAI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper derives two new information theoretic linear regression criteria based on the minimum message length principle. Both criteria are invariant to full rank affine...
182
click to vote
RTSS
2003
IEEE
16 years 7 days ago
2003
IEEE
In this paper we present an approach for QoS management that can be applied to a general class of real-time distributed computation systems. In the proposed approach a switching h...