3190 search results - page 158 / 638 » cans 2011 |
198
click to vote
CORR
2011
Springer
15 years 15 days ago
2011
Springer
Scaling up the sparse matrix-vector multiplication kernel on modern Graphics Processing Units (GPU) has been at the heart of numerous studies in both academia and industry. In thi...
131
click to vote
CORR
2011
Springer
15 years 15 days ago
2011
Springer
Set intersection is a fundamental operation in information retrieval and database systems. This paper introduces linear space data structures to represent sets such that their int...
164
click to vote
CORR
2011
Springer
15 years 15 days ago
2011
Springer
Index tuning, i.e., selecting the indexes appropriate for a workload, is a crucial problem in database system tuning. In this paper, we solve index tuning for large problem instan...
149
click to vote
CORR
2011
Springer
15 years 15 days ago
2011
Springer
This paper investigates the time-bounded version of the reachability problem for hybrid automata. This problem asks whether a given hybrid automaton can reach a given target locat...
153
click to vote
CORR
2011
Springer
15 years 15 days ago
2011
Springer
We describe a new variational lower-bound on the minimum energy configuration of a planar binary Markov Random Field (MRF). Our method is based on adding auxiliary nodes to every...