2177 search results - page 188 / 436 » Relative Margin Machines |
120
click to vote
FMCAD
2007
Springer
15 years 7 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
133
click to vote
AGI
2008
15 years 5 months ago
2008
Artificial Intelligence deals with the automated simulation of human intelligent behavior. Various aspects of human faculties are tackled using computational models. It is clear th...
139
Voted
ICML
2010
IEEE
15 years 4 months ago
2010
IEEE
We investigate the sparse eigenvalue problem which arises in various fields such as machine learning and statistics. Unlike standard approaches relying on approximation of the l0n...
150
click to vote
JCO
2007
15 years 3 months ago
2007
We study a variant of classical scheduling, which is called scheduling with “end of sequence” information. It is known in advance that the last job has the longest processing ...
128
click to vote
ML
2002
ACM
15 years 3 months ago
2002
ACM
Matching Pursuit algorithms learn a function that is a weighted sum of basis functions, by sequentially appending functions to an initially empty basis, to approximate a target fu...