Sciweavers

11214 search results - page 2050 / 2243
» Just-in-time data structures
Sort
View
ICASSP
2010
IEEE
14 years 12 months ago
Temporal motion smoothness measurement for reduced-reference video quality assessment
Reduced-reference (RR) video quality measures aim to predict the perceptual quality of distorted video signals using only partial information about the reference video. Existing R...
Kai Zeng, Zhou Wang
CVPR
2008
IEEE
14 years 12 months ago
Hallucinating 3D facial shapes
This paper focuses on hallucinating a facial shape from a low-resolution 3D facial shape. Firstly, we give a constrained conformal embedding of 3D shape in R2 , which establishes ...
Gang Pan, Song Han, Zhaohui Wu
ACTA
2010
191views more  ACTA 2010»
14 years 12 months ago
Automata-based verification of programs with tree updates
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...
Peter Habermehl, Radu Iosif, Tomás Vojnar
ACTA
2008
136views more  ACTA 2008»
14 years 12 months ago
Two-dimensional packing with conflicts
We study the two-dimensional version of the bin packing problem with conflicts. We are given a set of (two-dimensional) squares V = {1, 2, . . . , n} with sides s1, s2 . . . , sn ...
Leah Epstein, Asaf Levin, Rob van Stee
ADCM
2008
136views more  ADCM 2008»
14 years 12 months ago
Learning and approximation by Gaussians on Riemannian manifolds
Learning function relations or understanding structures of data lying in manifolds embedded in huge dimensional Euclidean spaces is an important topic in learning theory. In this ...
Gui-Bo Ye, Ding-Xuan Zhou
« Prev « First page 2050 / 2243 Last » Next »