3690 search results - page 532 / 738 » Computation with classical sequents |
127
click to vote
ICIP
2008
IEEE
16 years 7 months ago
2008
IEEE
We present a novel codec of depth-image-based representations for free-viewpoint 3D-TV. The proposed codec relies on a shape-adaptive wavelet transform and an explicit representat...
162
click to vote
ICIP
2006
IEEE
16 years 7 months ago
2006
IEEE
Dimensionality reduction, spectral classification and segmentation are the three main problems in hyperspectral image analysis. In this paper we propose a Bayesian estimation appr...
139
click to vote
DAC
2005
ACM
16 years 6 months ago
2005
ACM
We present an efficient search strategy for satisfiability checking on circuits represented at the register-transfer-level (RTL). We use the RTL circuit structure by extending con...
175
click to vote
ICML
2009
IEEE
16 years 6 months ago
2009
IEEE
Many machine learning algorithms can be formulated as a generalized eigenvalue problem. One major limitation of such formulation is that the generalized eigenvalue problem is comp...
144
click to vote
ICML
2006
IEEE
16 years 6 months ago
2006
IEEE
Knowledge-based planning methods offer benefits over classical techniques, but they are time consuming and costly to construct. There has been research on learning plan knowledge ...