1930 search results - page 256 / 386 » Learning to Solve QBF |
ICIP
2003
IEEE
14 years 10 months ago
2003
IEEE
We propose an information-theoretic method for multi-phase image segmentation, in an active contour-based framework. Our approach is based on nonparametric density estimates, and ...
ICPR
2004
IEEE
14 years 10 months ago
2004
IEEE
SVM based image retrieval suffers from the scarcity of labelled samples. In this paper, this problem is solved by incorporating prior knowledge into SVM. Firstly, some prior knowl...
ICPR
2000
IEEE
14 years 10 months ago
2000
IEEE
The results of recent studies on the possibility of spatial localization from panoramic images have shown good prospects for view-based methods. The major advantages of these meth...
WWW
2005
ACM
14 years 9 months ago
2005
ACM
Focused crawlers are considered as a promising way to tackle the scalability problem of topic-oriented or personalized search engines. To design a focused crawler, the choice of s...
CADE
2008
Springer
14 years 9 months ago
2008
Springer
This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on a large number of problems that use many axioms, l...