3145 search results - page 425 / 629 » Algebraic Linear Orderings |
160
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
We consider support vector machines for binary classification. As opposed to most approaches we use the number of support vectors (the "L0 norm") as a regularizing term ...
189
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
275
click to vote
ASPLOS
2009
ACM
16 years 7 months ago
2009
ACM
In this paper we describe a GPU parallelization of the 3D finite difference computation using CUDA. Data access redundancy is used as the metric to determine the optimal implement...
132
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
A model for movement time for scrolling is developed and verified experimentally. It is hypothesized that the maximum scroll speed is a constant at which the target can be perceiv...
152
click to vote
ICIAP
2007
ACM
16 years 6 months ago
2007
ACM
We address the synchronization of a pair of video sequences captured from moving vehicles and the spatial registration of all the temporally corresponding frames. This is necessar...