11588 search results - page 37 / 2318 » Will They Like This |
142
Voted
DAGM
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. In this paper, we present a novel method for reducing the computational complexity of a Support Vector Machine (SVM) classifier without significant loss of accuracy. We a...
DATE
2004
IEEE
2004
IEEE
Automatic Verification of Safety and Liveness for XScale-Like Processor Models Using WEB Refinements
15 years 4 months ago
We show how to automatically verify that complex XScale-like pipelined machine models satisfy the same safety and liveness properties as their corresponding instruction set archit...
53
Voted
CIE
2006
Springer
15 years 4 months ago
2006
Springer
116
Voted
DAGM
2006
Springer
15 years 4 months ago
2006
Springer
In this paper we extend anisotropic diffusion with a diffusion tensor to be applicable to data that is well modeled by linear models. We focus on its variational theory, and invest...
115
click to vote
EUC
2006
Springer
15 years 4 months ago
2006
Springer
In this paper, we propose a hierarchical architecture for grouping peers into clusters in a large-scale BitTorrent-like underlying overlay network in such a way that clusters are e...