Sciweavers

555 search results - page 54 / 111
» Sparse Topical Coding
Sort
View
ICIP
2008
IEEE
14 years 2 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...
ICA
2007
Springer
14 years 1 months ago
Hierarchical ALS Algorithms for Nonnegative Matrix and 3D Tensor Factorization
In the paper we present new Alternating Least Squares (ALS) algorithms for Nonnegative Matrix Factorization (NMF) and their extensions to 3D Nonnegative Tensor Factorization (NTF) ...
Andrzej Cichocki, Rafal Zdunek, Shun-ichi Amari
ICCV
2011
IEEE
12 years 7 months ago
Refractive Shape from Light Field Distortion
Acquiring transparent, refractive objects is challenging as these kinds of objects can only be observed by analyzing the distortion of reference background patterns. We present a ...
Gordon Wetzstein, David Roodnick, Wolfgang Heidric...
FPLE
1995
13 years 11 months ago
Compiler Construction Using Scheme
This paper describes a course in compiler design that focuses on the Scheme implementation of a Scheme compiler that generates native assembly code for a real architecture. The co...
Eric Hilsdale, J. Michael Ashley, R. Kent Dybvig, ...
CORR
2010
Springer
147views Education» more  CORR 2010»
13 years 7 months ago
Mechanized semantics
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
Xavier Leroy