Sciweavers

58 search results - page 12 / 12
» Sparse Coding with Invariance Constraints
Sort
View
POPL
2010
ACM
14 years 2 months ago
From Program Verification to Program Synthesis
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Fost...
PAMI
2010
168views more  PAMI 2010»
13 years 3 months ago
Surface-from-Gradients without Discrete Integrability Enforcement: A Gaussian Kernel Approach
—Representative surface reconstruction algorithms taking a gradient field as input enforces the integrability constraint in a discrete manner. While enforcing integrability allo...
Heung-Sun Ng, Tai-Pang Wu, Chi-Keung Tang
CVPR
2011
IEEE
13 years 1 months ago
P2C2: Programmable Pixel Compressive Camera for High Speed Imaging.
We describe an imaging architecture for compressive video sensing termed programmable pixel compressive camera (P2C2). P2C2 allows us to capture fast phenomena at frame rates high...
Dikpal Reddy, Ashok Veeraraghavan