3146 search results - page 230 / 630 » Efficient Consequence Finding |
159
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
While the majority of competitive image segmentation methods are based on energy minimization, only few allow to efficiently determine globally optimal solutions. A graphtheoretic...
151
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
We generalize our results of [8, 9] and propose a new framework of multitree dictionaries which include many previously proposed dictionaries as well as many new, very large, tree...
125
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
In this paper, we propose a new method to speed up SVM decision based on the idea of mirror points. Decisions based on multiple simple classifiers, which are formed as a result of...
106
click to vote
ICML
2008
IEEE
16 years 7 months ago
2008
IEEE
In one-class classification we seek a rule to find a coherent subset of instances similar to a few positive examples in a large pool of instances. The problem can be formulated an...
172
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
We present a proof procedure that is complete for first-order logic, but which can also be used when searching for finite models. The procedure uses a normal form which is based on...