1252 search results - page 161 / 251 » Minimizing Learned Clauses |
118
click to vote
ICML
2006
IEEE
16 years 6 months ago
2006
IEEE
An intuitive approach to utilizing unlabeled data in kernel-based classification algorithms is to simply treat unknown labels as additional optimization variables. For marginbased...
146
click to vote
ICML
2006
IEEE
16 years 6 months ago
2006
IEEE
In medical diagnosis, doctors often have to order sets of medical tests in sequence in order to make an accurate diagnosis of patient diseases. While doing so they have to make a ...
133
click to vote
ICML
2006
IEEE
16 years 6 months ago
2006
IEEE
We extend Support Vector Machines to input spaces that are sets by ensuring that the classifier is invariant to permutations of subelements within each input. Such permutations in...
125
click to vote
WWW
2008
ACM
16 years 6 months ago
2008
ACM
We consider the problem of segmenting a webpage into visually and semantically cohesive pieces. Our approach is based on formulating an appropriate optimization problem on weighte...
144
click to vote
CADE
2006
Springer
16 years 5 months ago
2006
Springer
Abstract. Verification by network invariants is a heuristic to solve uniform verification of parameterized systems. Given a system P, a network invariant for P is that abstracts th...