438 search results - page 83 / 88 » The Size of a Revised Knowledge Base |
114
click to vote
CP
2010
Springer
14 years 10 months ago
2010
Springer
We present a new complete multi-valued SAT solver, based on current state-of-the-art SAT technology. It features watched literal propagation and conflict driven clause learning. W...
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Tensor based dimensionality reduction has recently been extensively studied for computer vision applications. To our knowledge, however, there exist no rigorous error analysis on ...
MICCAI
2006
Springer
16 years 20 days ago
2006
Springer
Abstract. The quantitative assessment of neck lymph nodes in the context of malign tumors requires an ecient segmentation technique for lymph nodes in tomographic 3D datasets. We p...
WWW
2005
ACM
16 years 12 days ago
2005
ACM
We consider the problem of efficiently sampling Web search engine query results. In turn, using a small random sample instead of the full set of results leads to efficient approxi...
126
Voted
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
In this paper, we propose a new method to construct an edge-preserving filter which has very similar response to the bilateral filter. The bilateral filter is a normalized convolu...