2177 search results - page 183 / 436 » Relative Margin Machines |
180
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
We take a fresh look at the problem of how to check safety properties of finite state machines. We are particularly interested in checking safety properties with the help of a SAT-...
164
click to vote
ARC
2010
Springer
15 years 10 months ago
2010
Springer
High-Performance Reconfigurable Computers (HPRCs) are parallel machines consisting of FPGAs and microprocessors, with the FPGAs used as co-processors. The execution of parallel app...
166
click to vote
ADMA
2005
Springer
15 years 8 months ago
2005
Springer
We develop the notion of normalized information distance (NID) [7] into a kernel distance suitable for use with a Support Vector Machine classifier, and demonstrate its use for an...
169
click to vote
ICMLA
2008
15 years 8 months ago
2008
In this paper, we propose to use hypergraphs as the model for images and pose image segmentation as a machine learning problem in which some pixels (called seeds) are labeled as t...
200
click to vote
ICML
2010
IEEE
15 years 7 months ago
2010
IEEE
The goal of transfer learning is to improve the learning of a new target concept given knowledge of related source concept(s). We introduce the first boosting-based algorithms for...