Sciweavers

910 search results - page 59 / 182
» Fractal-Based Techniques for a Generalized Image Coding Meth...
Sort
View
147
Voted
CVPR
2010
IEEE
15 years 11 months ago
Combining Discriminative and Generative Methods for 3D Deformable Surface and Articulated Pose Reconstruction
Historically non-rigid shape recovery and articulated pose estimation have evolved as separate fields. Recent methods for non-rigid shape recovery have focused on improving the a...
Mathieu Salzmann, Raquel Urtasun
ICIP
2008
IEEE
15 years 9 months ago
Atomic decomposition dedicated to AVC and spatial SVC prediction
In this work, we propose the use of sparse signal representation techniques to solve the problem of closed-loop spatial image prediction. The reconstruction of signal in the block...
Aurelie Martin, Jean-Jacques Fuchs, Christine Guil...
BIRTHDAY
2006
Springer
15 years 7 months ago
Verification by Parallelization of Parametric Code
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
Tobias Gedell, Reiner Hähnle
165
Voted
TIP
2011
123views more  TIP 2011»
14 years 10 months ago
Spatial Sparsity-Induced Prediction (SIP) for Images and Video: A Simple Way to Reject Structured Interference
We propose a prediction technique that is geared toward forming successful estimates of a signal based on a correlated anchor signal that is contaminated with complex interference...
Gang Hua, Onur G. Guleryuz
ISSRE
2005
IEEE
15 years 9 months ago
A Novel Method for Early Software Quality Prediction Based on Support Vector Machine
The software development process imposes major impacts on the quality of software at every development stage; therefore, a common goal of each software development phase concerns ...
Fei Xing, Ping Guo, Michael R. Lyu