Sciweavers

580 search results - page 93 / 116
» An Efficient Implementation of an Active Set Method for SVMs
Sort
View
POPL
2010
ACM
14 years 5 months ago
Toward a Verified Relational Database Management System
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
Avraham Shinnar, Greg Morrisett, J. Gregory Malech...
CVPR
2007
IEEE
14 years 9 months ago
Shape from Shading Under Various Imaging Conditions
Most of the shape from shading (SFS) algorithms have been developed under the simplifying assumptions of a Lambertian surface, an orthographic projection, and a distant light sour...
Abdelrehim H. Ahmed, Aly A. Farag
ECCV
2008
Springer
14 years 9 months ago
Integration of Multiview Stereo and Silhouettes Via Convex Functionals on Convex Domains
We propose a convex framework for silhouette and stereo fusion in 3D reconstruction from multiple images. The key idea is to show that the reconstruction problem can be cast as one...
Kalin Kolev, Daniel Cremers
ICIP
2004
IEEE
14 years 9 months ago
Learning structured dictionaries for image representation
The dictionary approach to signal and image processing has been massively investigated in the last two decades, proving very attractive for a wide range of applications. The effec...
Gianluca Monaci, Pierre Vandergheynst
MICCAI
2008
Springer
14 years 8 months ago
Spherical Demons: Fast Surface Registration
Abstract. We present the fast Spherical Demons algorithm for registering two spherical images. By exploiting spherical vector spline interpolation theory, we show that a large clas...
B. T. Thomas Yeo, Mert R. Sabuncu, Tom Vercauter...