1326 search results - page 206 / 266 » Approximate Tree Kernels |
139
click to vote
CAV
2012
Springer
13 years 5 months ago
2012
Springer
A SAT-based incremental, inductive algorithm for model checking CTL properties is proposed. As in classic CTL model checking, the parse graph of the property shapes the analysis. H...
145
click to vote
CVPR
2012
IEEE
13 years 5 months ago
2012
IEEE
Matching patches between two images, also known as computing nearest-neighbor fields, has been proven a useful technique in various computer vision/graphics algorithms. But this ...
153
click to vote
CVPR
2009
IEEE
16 years 10 months ago
2009
IEEE
Image blur and noise are difficult to avoid in many situations
and can often ruin a photograph. We present a novel
image deconvolution algorithm that deblurs and denoises
an ima...
139
click to vote
CVPR
2007
IEEE
16 years 5 months ago
2007
IEEE
Kernel machines have recently been considered as a promising solution for implicit surface modelling. A key challenge of machine learning solutions is how to fit implicit shape mo...
136
click to vote
ECCV
2008
Springer
16 years 5 months ago
2008
Springer
We present a new Gaussian Process inference algorithm, called Online Sparse Matrix Gaussian Processes (OSMGP), and demonstrate its merits with a few vision applications. The OSMGP ...